SMA—The Smyle Modeling Approach

Abstract : This paper introduces the model-based software development methodology SMA—the Smyle Modeling Approach—which is centered around Smyle, a dedicated learning procedure to support engineers to interactively obtain design models from requirements, characterized as either being desired (positive) or unwanted (negative) system behavior. The learning approach is complemented by scenario patterns where the engineer can specify clearly desired or unwanted behavior. This way, user interaction is reduced to the interesting scenarios limiting the design effort considerably. In SMA, the learning phase is complemented by an effective analysis phase that allows for detecting design flaws at an early design stage. This paper describes the approach and reports on first practical experiences.
Type de document :
Communication dans un congrès
Zbigniew Huzar; Radek Koci; Bertrand Meyer; Bartosz Walter; Jaroslav Zendulka. 3rd Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2008, Brno, Czech Republic. Springer, Lecture Notes in Computer Science, LNCS-4980, pp.103-117, 2011, Software Engineering Techniques. 〈10.1007/978-3-642-22386-0_8〉
Liste complète des métadonnées

Littérature citée [29 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01572543
Contributeur : Hal Ifip <>
Soumis le : lundi 7 août 2017 - 16:51:18
Dernière modification le : jeudi 11 janvier 2018 - 06:20:14

Fichier

978-3-642-22386-0_8_Chapter.pd...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker. SMA—The Smyle Modeling Approach. Zbigniew Huzar; Radek Koci; Bertrand Meyer; Bartosz Walter; Jaroslav Zendulka. 3rd Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2008, Brno, Czech Republic. Springer, Lecture Notes in Computer Science, LNCS-4980, pp.103-117, 2011, Software Engineering Techniques. 〈10.1007/978-3-642-22386-0_8〉. 〈hal-01572543〉

Partager

Métriques

Consultations de la notice

73

Téléchargements de fichiers

5