IB1-4_02-10

Quelques éléments d ’algorithmique
et de spécification
Leur traduction en Java et Jml

IB1 2007-2008 Structures
algorithmiques, Traduction Java et Jml 2
Démarche pour la construction de
logiciels
Cahier des charges
Spécifications formelles
Algorithmes (vérifications)
Implantation (codage)

IB1 2007-2008 Structures
algorithmiques, Traduction Java et Jml 3
Spécifications
Langage de spécification : logique des
prédicats du premier ordre
Détermination des données et des résultats
Précondition: conditions vérifiées par les
données
Postcondition: conditions établissant une
relation entre données et résultats.

IB1 2007-2008 Structures
algorithmiques, Traduction Java et Jml 4
Algorithme (définition générale)
Description de la résolution d’un problème
sous forme d ’une suite finie d’opérations
élémentaires.

IB1 2007-2008 Structures
algorithmiques, Traduction Java et Jml 5
Programme
Réalisation d’un algorithme dans un langage
qu’un ordinateur est capable d’exécuter.