Model-based development is the central engineering paradigm allowing to tackle the increasing complexity of today's software systems. Its core principles are adequate models focusing on domain-specific core concepts and providing a concise interpretation, supported by mechanisms to improve the quality of the developed product as well as the efficiency of the development process. To establish a general framework for model-based approaches, concept models - providing the concepts for the syntactic description of a system - and content models - providing the contents for the semantic interpretation - are introduced, elaborating their characteristics and benefits in general, and illustrating their instantiation for the domain of reactive systems. For both classes of models, their application in a tool-based development process is demonstrated by providing operationsalizations for the construction of concept models as well as for the analysis and synthesis for both classes of models. The potential of models for a development process is demonstrated by illustrating their implementation through model-based techniques for the analysis - via structured requirements elaboration and modular function composition - and design - via constraint-conformant construction and architectural refactoring - as well as test - via integrated test-case generation - of reactive systems.     «

Model-based development is the central engineering paradigm allowing to tackle the increasing complexity of today's software systems. Its core principles are adequate models focusing on domain-specific core concepts and providing a concise interpretation, supported by mechanisms to improve the quality of the developed product as well as the efficiency of the development process. To establish a general framework for model-based approaches, concept models - providing the concepts for the syntactic...     »