27 citations
4 papers · 1 filter
Model Evolution and Management
Tihamer Levendovszky, Bernhard Rumpe, Bernhard Schätz +1
As complex software and systems development projects need models as an important planning, structuring and development technique, models now face issues resolved for software earli…
Towards a Framework for Behavioral Specifications of OSGi Components
Jan Olaf Blech
We present work on behavioral specifications of OSGi components. Our behavioral specifications are based on finite automata like formalisms. Behavioral specifications can be used t…
Verified System Development with the AutoFocus Tool Chain
Maria Spichkova, Florian Hölzl, David Trachtenherz
This work presents a model-based development methodology for verified software systems as well as a tool support for it: an applied AutoFocus tool chain and its basic principles em…
Reusing Test-Cases on Different Levels of Abstraction in a Model Based Development Tool
Jan Olaf Blech, Dongyue Mou, Daniel Ratiu
Seamless model based development aims to use models during all phases of the development process of a system. During the development process in a component-based approach, componen…