Judith Thyssen

Learn More
A core problem in formal methods is the transition from informal requirements to formal specifications. Especially when specifying the behavior of reactive systems, many formalisms require the user to either understand a complex mathematical theory and notation or to derive details not given in the requirements, such as the state space of the problem. For(More)
Model-based development aims at reducing the complexity of software development by the pervasive use of adequate models throughout the whole development process starting from early phases up to implementation. In this paper we present a conceptual framework to holistically classify developed models along different levels of abstraction. We do this by(More)
Model-based development (MBD) is adopted in practice in different degrees. Aprerequisite for building anew generation of tools for model-based development of embedded systems is to gain an overviewovertheir current use and the needs of the industry.I nt his paper,w ep resent the results of an empirical study—that we conducted in the context of the SPES2020(More)
About the Document Model-based development aims at reducing the complexity of software development by the pervasive use of adequate models throughout the whole development process starting from early phases up to implementation. Models are used by different stakeholders (from system integrators to suppliers) as the single development artifact. They describe(More)
  • H C Manfred Broy, Alarico Campetelli María, Victoria Cengarle, Irina Gaponova, Alexander Harhurin, Daniel Ratiu +1 other
  • 2010
About the Document Model-based development assumes the pervasive use of models along all software development phases. Models are usually built using modelling tools. Behind each tool there is a modelling language that comprises one or more specification techniques. A specification technique represents the essential ideas (archetypal view) behind a modelling(More)
Model-based development aims at reducing thecomplexity of software development by the pervasive use of adequate models throughout the whole development process starting from early phases up to implementation. In this paper we present a conceptual framework to holistically classify developed models along different levels of abstraction. We do this by(More)
  • 1