Model-based development relies on the use of explicit models to describe the development process including its activities and products. Among other things, the explicit existence of process and product models allows the definition and use of complex development steps that are correct by design (refactorings), for generating proof obligations after a given transformation (run a certain automatically generated test suite), for requirements tracing, and for documenting the process. Our understanding of model-based development in the context of embedded systems is exposed. We discuss domain-specific modeling languages, and argue for machine support in model-based development.     «

Model-based development relies on the use of explicit models to describe the development process including its activities and products. Among other things, the explicit existence of process and product models allows the definition and use of complex development steps that are correct by design (refactorings), for generating proof obligations after a given transformation (run a certain automatically generated test suite), for requirements tracing, and for documenting the process. Our understandin...     »