Keywords
model
model-driven development
embedded systems
Standards groups
What Enables Model-Driven Development?
Standardized Methodologies
− Collections of Methods and
Processes
− Objective Metrics
Standardized Syntax, Notations, Symbols
Standardized Semantics
―Models of Computation‖
Multiform Time
Formal Methods
Interfaces, Design by Contract Variation and Sensitivity Analysis Tradeoffs Analysis
Provers and Solvers
Collaboration
Isolated Modeling
Change Management
Workflow Integration
Design for Test
Defines standard
Replaced/Superseded by document(s)
Cancelled by
Amended by
| File | MIME type | Size (KB) | Language | Download | |
|---|---|---|---|---|---|
| 00-T5_VanZandt-Mraidha_Part1.pdf | application/pdf | 1009.77 KB | English | DOWNLOAD! |