About this document
Model-Based Design for Software Integrity by Krishna Kumar is a document available to read on EtoBox.
The document discusses model-based design for high integrity software development. It presents an agenda covering development and verification of models and code. Key topics include: tracing models to requirements; conforming models to standards; verifying models against requirements through testing and formal methods; generating production code from models; tracing and linking code to models; conforming and verifying code against standards through static analysis and testing; and reusing test cases and per
- Author
- Krishna Kumar
- Language
- EN