Please enable JavaScript.
Coggle requires JavaScript to display documents.
Model based s/w development (Languages (Procedural, Object Oriented,…
Model based s/w
development
Methodologies
Test Driven Development
Formal Verification
Model Analyzers
ALLOY
Model
Checkers
SMV
SPIN
Theorem Provers
COQ
PVS
Languages
Procedural
Object Oriented
Logic
Functional
Requirements
Architecture
Design
Code
(Implementation)
Testing
Documentation
Quality Process
Reliability
Traceability
Repeatability