%0 Conference Proceedings
%T SMA—The Smyle Modeling Approach
%+ Laboratoire Spécification et Vérification [Cachan] (LSV)
%+ Institute for Industrial Management [RWTH Aachen University] (FIR e.V. an der RWTH Aachen)
%+ Technische Universität Munchen - Technical University Munich - Université Technique de Munich (TUM)
%A Bollig, Benedikt
%A Katoen, Joost-Pieter
%A Kern, Carsten
%A Leucker, Martin
%Z Part 4: Modeling
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 3rd Central and East European Conference on Software Engineering Techniques (CEESET)
%C Brno, Czech Republic
%Y Zbigniew Huzar
%Y Radek Koci
%Y Bertrand Meyer
%Y Bartosz Walter
%Y Jaroslav Zendulka
%I Springer
%3 Software Engineering Techniques
%V LNCS-4980
%P 103-117
%8 2008-10-13
%D 2008
%R 10.1007/978-3-642-22386-0_8
%K  Requirements elicitation
%K design model
%K learning
%K software engineering lifecycle
%K Message Sequence Charts
%K UML
%Z Computer Science [cs]Conference papers
%X 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.
%G English
%Z TC 2
%2 https://inria.hal.science/hal-01572543/document
%2 https://inria.hal.science/hal-01572543/file/978-3-642-22386-0_8_Chapter.pdf
%L hal-01572543
%U https://inria.hal.science/hal-01572543
%~ CNRS
%~ ENS-CACHAN
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC2
%~ IFIP-CEESET
%~ IFIP-LNCS-4980
%~ LSV-AUTO
%~ FARMAN
%~ ENS-PARIS-SACLAY