Model-Based Development of Embedded Systems

Abstract

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

Topics

2 Figures and Tables

Statistics

01020'03'05'07'09'11'13'15'17
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