Model-driven Validation of Parallel Programs based on Event Traces.
Peter DauphinM. KienowAndreas QuickPublished in: Programming Environments for Parallel Computing (1992)
Keyphrases
- model driven
- data driven
- service oriented
- metamodel
- model driven development
- data integration
- high level programming language
- platform independent
- parallel processing
- event detection
- service oriented architecture
- development environments
- model driven engineering
- sorting algorithms
- news articles
- parallel implementation
- development process
- life cycle
- test cases
- database systems
- information systems
- database