Mise en oeuvre de la méthode B
Kaydedildi:
| Yazar: | |
|---|---|
| Materyal Türü: | Livre papier |
| Dil: | Français |
| Baskı/Yayın Bilgisi: |
Paris :
Hermès science : Lavoisier
DL 2013.
|
| Seri Bilgileri: | Informatique et systèmes d'information. Recherche, technologie, applications
|
| Konular: | |
| Autres localisations: | Voir dans le Sudoc |
İçindekiler:
- 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