Lightweight Formal Methods for Scenario-based Software Engineering

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

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 originaleAnglais
titreScenarios: Models, Transformations and Tools
rédacteurs en chefStefan Leue, Tarja Johanna
EditeurSpringer
Pages174-192
Nombre de pages19
Volume3466
Etat de la publicationPublié - 2005

Empreinte digitale Examiner les sujets de recherche de « Lightweight Formal Methods for Scenario-based Software Engineering ». Ensemble, ils forment une empreinte digitale unique.

Contient cette citation