Projets par an
Résumé
Two fundamental problems related to Scenario-based Software Engineering (SBSE) are presented: model checking and synthesis. The former is to verify that a design model is consistent with a scenario-basedspecification. The latter is to build a design model implementing correctly a specification. Model checking is computationally expensive and synthesis of distributed system is undecidable. Two lightweight techniques are thus presented that alleviate this intractability. These approaches sacrifice completeness for efficiency, but keep soundness.
langue originale | Anglais |
---|---|
titre | Scenarios: Models, Transformations and Tools |
rédacteurs en chef | Stefan Leue, Tarja Johanna |
Editeur | Springer |
Pages | 174-192 |
Nombre de pages | 19 |
Volume | 3466 |
Etat de la publication | Publié - 2005 |
Empreinte digitale
Examiner les sujets de recherche de « Lightweight Formal Methods for Scenario-based Software Engineering ». Ensemble, ils forment une empreinte digitale unique.Projets
- 3 Terminé