Towards Integrated Model-Driven Verification and Empirical Validation of Reusable Software Frameworks for Automotive Systems.
Venkita SubramonianChristopher D. GillPublished in: ASWSD (2006)
Keyphrases
- model driven
- empirical validation
- model driven development
- software components
- data driven
- safety critical
- computer systems
- platform independent
- software development
- formal methods
- metamodel
- development environments
- embedded systems
- empirically validated
- software reuse
- commercial software
- business applications
- software design
- databases
- software systems
- distributed systems
- data model
- expert systems