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 : |
| LEADER | 02845cam a2200397 4500 | ||
|---|---|---|---|
| 001 | PPN16945911X | ||
| 003 | http://www.sudoc.fr/16945911X | ||
| 005 | 20211117055300.0 | ||
| 010 | |a 978-2-7462-3810-7 |b rel. |d 120 EUR | ||
| 073 | 0 | |a 9782746238107 | |
| 100 | |a 20130524h20132013k y0frey0103 ba | ||
| 101 | 0 | |a fre | |
| 102 | |a FR | ||
| 105 | |a a a 001yy | ||
| 106 | |a r | ||
| 200 | 1 | |a Mise en oeuvre de la méthode B |b Texte imprimé |f sous la direction de Jean-Louis Boulanger | |
| 210 | |a Paris |c Hermès science |c Lavoisier |d DL 2013, cop. 2013 | ||
| 215 | |a 1 vol. (420 p.) |c fig. |d 24 cm | ||
| 225 | 0 | |a Recherche, technologie, applications |i Informatique et systèmes d'information | |
| 320 | |a Références bibliogr.en fin de chapitres. Index. Glossaire | ||
| 359 | 2 | |b Chapitre 1. Présentation de la méthode B / Jean-Louis BOULANGER |b Chapitre 2. L Atelier B / Thierry LECOMTE |b Chapitre 3. Outils B / Jean-Louis BOULANGER |b Chapitre 4. La méthode B à Siemens / Daniel DOLLE |b Chapitre 5. Applications industrielles de la modélisation avec la méthode B / Thierry LECOMTE |b Chapitre 6. Vérification formelle de données pour les systèmes paramétrables / Mathieu CLABAUT |b Chapitre 7. BCARe : contrôle automatique des règles ajoutées à Siemens SAS IC MOL / Karim BERKANI, Mélanie JACQUEL, Eric LE LAY |b Chapitre 8. B-RAIL : d UML à B pour la modélisation d un passage à niveau / Jean-Louis BOULANGER |b Chapitre 9. Event B / Dominique MERY, Neeraj Kumar SINGH |b Chapitre 10. B étendu aux flottants : est-ce suffisant pour prouver un logiciel avionique ? / Jean-Louis DUFOUR |b Chapitre 11. Usage pragmatique du B : la puissance du formel sans ses lourdeurs / Christophe METAYER, François BUSTANY et Mathieu CLABAUT |b Chapitre 12. BRILLANT/BCaml : une plateforme d outils libres pour la méthode B / Samuel COLIN, Dorian PETIT |b 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 | |
| 410 | | | |0 151135894 |t Informatique et systèmes d'information. Recherche, technologie, applications |x 2111-0360 | |
| 606 | |3 PPN035004355 |a B (méthode formelle) |2 rameau | ||
| 606 | |3 PPN050702858 |a Méthodes formelles (informatique) |3 PPN027793168 |x Applications industrielles |2 rameau | ||
| 606 | |3 PPN027673529 |a Génie logiciel |2 rameau | ||
| 676 | |a 005.131 |v 22 |z fre | ||
| 686 | |a 004 |2 Cadre de classement de la Bibliographie nationale française | ||
| 702 | 1 | |3 PPN114998973 |a Boulanger |b Jean-Louis |f 1966-.... |4 651 | |
| 801 | 3 | |a FR |b Electre |c 20130411 |g AFNOR | |
| 801 | 3 | |a FR |b Abes |c 20131007 |g AFNOR | |
| 930 | |5 441092104:483548936 |b 441092104 |a 681.324 B-BOU |j u | ||
| 930 | |5 441092306:487012925 |b 441092306 |a 681.3 B02 MIS |j u | ||
| 930 | |5 441092105:48884777X |b 441092105 |j u | ||
| 979 | |a ECN | ||
| 979 | |a SCI | ||
| 998 | |a 653103 | ||