Benutzer: Gast  Login
Dokumenttyp:
Technical Report
Autor(en):
Benedikt Bollig; Joost-Pieter Katoen; Carsten Kern; Martin Leucker
Titel:
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. 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 socalled scenario patterns where the engineer can specify clearly desired or unwanted behavior. This way,...     »
Jahr:
2008
Jahr / Monat:
2008-06-01 00:00:00
Seiten/Umfang:
26
 BibTeX