A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
This paper introduces the model-based software development lifecycle model SMA -the Smyle Modeling Approach -which is centered around Smyle. Smyle is 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. Within SMA, the learning approach is complemented by so-called scenario patterns where the engineer can specify clearly B. Bollig, J.-P. Katoen, C.doi:10.1007/978-3-642-22386-0_8 fatcat:njvnqyplvvaunj6gwsp27qylnu