Model-Based Development of Embedded Systems


Model-based development relies on the use of explicit models to describe development activities and products. Explicit process and product models allow the definition and use of complex development steps that are correct by design, the generation of proof obligations for a given transformation, requirements tracing, and documentation of the process. We… (More)
DOI: 10.1007/3-540-46105-1_34


2 Figures and Tables


Citations per Year

147 Citations

Semantic Scholar estimates that this publication has 147 citations based on the available data.

See our FAQ for additional information.

Slides referencing similar topics