]
]
]
]
Publication
Lightweight Formal Methods for Scenario-Based Software Engineering
| Auteur(s) | Yves BONTEMPS, Patrick HEYMANS, Pierre-Yves SCHOBBENS |
| Unité(s) de recherche(s) |
PReCISE Research Center
Requirements engineering and business/IT alignment |
| Année | 2005 |
| Type | Articles de périodique |
| Langue | Anglais |
| Editeur | Springer |
| Lieu d'édition | Berlin / Heidelberg |
| Mots clés | |
| Résumé | |
| ISBN | 978-3-54026-189-6 |
| Versions électroniques |
http://www.springerlink.com/content/590prkwj6196nmjj/fulltext.pdf |
Article de périodique
| Titre du périodique | Lecture Notes in Computer Science |
| Sous-titre du périodique | Proc. of Dagstuhl Seminar on Scenarios and State Machines: Models, Transformations and Tools |
| Editeur scientifique | Stefan Leue and Tarja Systa |
| Volume | 3466 |
| Fascicule | |
| Pages | 174 - 192 |
| Date de parution | 2005 |
| Facteur d'impact | |
| Nombre de citations |
