Les méthodes dans le cycle de vie. Pourquoi des méthodes formelles ? Éléments de classification des méthodes formelles. Les expériences industrielles. Application de la méthode B dans l'industrie ferroviaire. Spécifications formelles à Aerospatiale. SAO+/Lustre : utilisation d'une technique formelle en environnement ferroviaire non critique. LDS appliqué à la modélisation et à la validation des processus communicants. Plan de défense - Formalisation du cahier des charges du point central à l'aide de spécifications algébriques. Techniques formelles pour le développement d'une passerelle de sécurité au niveau ITSEC-E41. Vérification formelle de protocoles de commerce électronique : une expérience. Utilisation et développement des méthodes formelles à l'étranger. Les expériences et recherches prometteuses. Évaluation des méthodes formelles chez Dassault aviation. Application des méthodes formelles au développement des logiciels automobiles embarqués. Utilisation d'un environnement de logique temporelle pour la validation et le test d'un système de commandes électriques d'avion. Approche pour la validation et la vérification formelles de systèmes d'interaction homme-machine. Méthodes formelles pour la vérification de logiciels critiques. Descartes et l'enjeu de la programmation automatique. L'architecture informatique du lanceur Ariane 5.
Il n'y a pas encore de discussion sur ce livre
Soyez le premier à en lancer une !
Les meilleurs albums, romans, documentaires, BD à offrir aux petits et aux plus grands
Il n'est pas trop tard pour les découvrir... ou les offrir !
Inspirée d’une histoire vraie, cette BD apporte des conseils et des solutions pour sortir de l'isolement
L’écrivain franco-vénézuélien Miguel Bonnefoy poursuit l’exploration fantasmagorique de sa mémoire familiale...
