27 citations
5 papers
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…
La machine α: modèle générique pour les algorithmes naturels
Marc Bui, Michel Lamure, Ivan Lavallee
So far, following the works of A.M. Turing, the algorithms were considered as the mathematical abstraction from which we could write programs for computers whose principle was base…
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…