Application des techniques formelles au logiciel
Description
Les méthodes dans le cycle de vie. Pourquoi des méthodes formelles ? Elé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.
Détails
Auteur: Observatoire français des techniques avancées, Groupe Méthodes formelles en logiciel
Editeur: OFTA
Collection: Arago
Format: Grand Format
Presentation: Relié
Date de parution: 05 Novembre 1999
Nombre de pages: 284
Prix publique: 93,31 €
Information complémentaires
Classification: Techniques et Sciences appliquées
Code Classification: 3069
EAN-13: 9782906028067
Où trouver ce livre:
(Liste non exhaustives de librairies ayant ce livre en stock. Vous êtes un professionel du livre et souhaitez figurer sur cette carte ? Contactez nous ! )
Vous pouvez également vous raprochez d'une librairie proche de chez vous:
Dans la même catégorie
Du même éditeur
![Informatique Diffuse - [Rapport De Synthèse De Travaux], [Rapport De Synthèse De Travaux]](https://metasbooks.fr/api/images/da940a08c3935bd95638ef7df71a4b13-9782906028173.jpg)
