Nantilus
Mise en oeuvre de la méthode B
Enregistré dans:
| Autres auteurs : | |
|---|---|
| Format : | Livre |
| Langue : | français |
| Titre complet : | Mise en oeuvre de la méthode B / sous la direction de Jean-Louis Boulanger |
| Publié : |
Paris :
Hermès science
, DL 2013, cop. 2013 Lavoisier |
| Description matérielle : | 1 vol. (420 p.) |
| Collection : | Informatique et systèmes d'information. Recherche, technologie, applications |
| Sujets : |
- Chapitre 1. Présentation de la méthode B / Jean-Louis BOULANGER
- Chapitre 2. L Atelier B / Thierry LECOMTE
- Chapitre 3. Outils B / Jean-Louis BOULANGER
- Chapitre 4. La méthode B à Siemens / Daniel DOLLE
- Chapitre 5. Applications industrielles de la modélisation avec la méthode B / Thierry LECOMTE
- Chapitre 6. Vérification formelle de données pour les systèmes paramétrables / Mathieu CLABAUT
- Chapitre 7. BCARe : contrôle automatique des règles ajoutées à Siemens SAS IC MOL / Karim BERKANI, Mélanie JACQUEL, Eric LE LAY
- Chapitre 8. B-RAIL : d UML à B pour la modélisation d un passage à niveau / Jean-Louis BOULANGER
- Chapitre 9. Event B / Dominique MERY, Neeraj Kumar SINGH
- Chapitre 10. B étendu aux flottants : est-ce suffisant pour prouver un logiciel avionique ? / Jean-Louis DUFOUR
- Chapitre 11. Usage pragmatique du B : la puissance du formel sans ses lourdeurs / Christophe METAYER, François BUSTANY et Mathieu CLABAUT
- Chapitre 12. BRILLANT/BCaml : une plateforme d outils libres pour la méthode B / Samuel COLIN, Dorian PETIT
- Chapitre 13. Faisabilité de l utilisation des méthodes formelles pour les systèmes manufacturiers / Pascal LAMY, Philippe CHARPENTIER, Jean-François PETIN, Dominique EVROT