Développement logiciel orienté paradigme de conception : la programmation dirigée par la spécification

Nombre d'applications ont pour comportement principal l'attente d'un événement venant d'un environnement extérieur, la préparation d'un résultat et l'exécution d'actions sur cet environnement. Les interfaces graphiques et les systèmes avioniques en sont des exemple...

Full description

Bibliographic Details
Main Author: Cassou, Damien
Other Authors: Bordeaux 1
Language:fr
Published: 2011
Subjects:
Online Access:http://www.theses.fr/2011BOR14233/document