Académique Documents
Professionnel Documents
Culture Documents
données
Elaboré par Mme Elkamel Hager
Jamoussi.hager@gmail.com
Traitement à réaliser
H. Jamoussi Elkamel , FSM 19
ASD1 – 2020 – S1
Exemple d’énoncer d’un problème
Enoncé informel
On souhaite calculer et afficher, à partir d’un prix
hors taxe saisi, le montant TVA ainsi que le prix
TTC
Le prix TTC dépend de :
• Du prix HT
• Du taux de TVA de 20,6
Données en entrée
H. Jamoussi Elkamel , FSM 20
ASD1 – 2020 – S1
Exemple d’énoncer d’un problème
Enoncé informel
On souhaite calculer et afficher , à partir d’un prix
hors taxe saisi, le montant TVA ainsi que le prix
TTC
Le prix TTC dépend de :
• Du prix HT
• Du taux de TVA de 20,6
Données en sortie
H. Jamoussi Elkamel , FSM 21
ASD1 – 2020 – S1
Spécification d’un problème
• Spécifier un problème de calcul consiste à :
Définir son entrée avec les préconditions :
les noms et le type de données des objets en entrée et les
préconditions que l’on exige d’eux.
Définir sa sortie avec les postconditions:
les noms et le type de données des objets en sortie et les
postconditions résumant le résultat auquel on doit
aboutir.
Et la relation entre la sortie et les entrées.
• La spécification d’un problème doit être
générique 22
ASD1 – 2020 – S1 H. Jamoussi Elkamel , FSM
Spécification d’un problème
Enoncé informel
On souhaite calculer et afficher , à partir d’un prix hors taxe saisi, la
valeur de TVA ainsi que le prix TTC. Le montant TTC dépend de :
• Du prix HT et • Du taux de TVA de 20,6
Enoncé formel = spécification
Problème calculTVA
Entrée : PrixHT un réel et TVA une constante = 20,6
précondition: (PrixHT > 0)
Sortie : le réel MontantTVA= PrixHT * TVA/100
et le réel PrixTTC = PrixHC + MontantTVA
postcondition (MontantTVA > 0) et (PrixTTC >0)
• La sortie est exprimée en fonction des entrées
H. Jamoussi Elkamel , FSM 23
ASD1 – 2020 – S1
Spécification d’un problème
Exemples de Spécification d’un problème :
Enoncé informel
calculer la puissance d’un réel x par un entier.
Enoncé formel = spécification
Problème Puissance
Entrée : un réel x et un entier n
précondition: (x ≠ 0)
Sortie : le réel xn
• La sortie est exprimée en fonction des entrées
H. Jamoussi Elkamel , FSM 24
ASD1 – 2020 – S1
Spécification d’un problème
Exemples de Spécification d’un problème :
Enoncé informel
Décomposer un entier en facteurs premiers
Enoncé formel
Problème FacteurPremier
Entrée : un entier n
précondition: (n > 1)
Sortie : un facteur propre premier de n.
• Méthode 1 : xn = x .x.x…….x
n fois
• Méthode 2 :
Si n=0 xn = 1
Sinon xn = x . x(n-1)