|
|
|
|
| LEADER |
02247nam a22002537a 4500 |
| 001 |
437684 |
| 008 |
130524t20132013xxe ||| |||| 00| 0 fre d |
| 009 |
PPN16945911X |
| 020 |
|
|
|a 9782746238107 (rel.) :
|c 120 EUR
|
| 024 |
|
|
|a 9782746238107
|
| 041 |
0 |
|
|a fre
|
| 082 |
|
|
|a 005.131
|z fre
|
| 084 |
|
|
|a 004
|
| 100 |
1 |
|
|a Boulanger, Jean-Louis,
|d 1966-
|
| 245 |
1 |
0 |
|a Mise en oeuvre de la méthode B
|c sous la direction de Jean-Louis Boulanger.
|
| 260 |
|
|
|a Paris :
|b Hermès science :
|b Lavoisier,
|c DL 2013.
|
| 300 |
|
|
|a 1 vol. (420 p.) :
|b ill. ;
|c 24 cm.
|
| 490 |
0 |
|
|a Informatique et systèmes d'information. Recherche, technologie, applications
|
| 504 |
|
|
|a Références bibliogr.en fin de chapitres. Index. Glossaire
|
| 505 |
0 |
|
|a 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
|
| 650 |
|
|
|a B (méthode formelle)
|
| 650 |
|
|
|a Méthodes formelles (informatique)
|x Applications industrielles
|
| 650 |
|
|
|a Génie logiciel
|
| 997 |
|
|
|0 437684
|1 Livre papier
|a Ressource papier
|b INSA
|c 0/Bourges/
|c 1/Bourges/INSA CVL/
|z Bourges, INSA CVL, 005.131 BOU
|
