Domain-Specific Models, Model Analysis, Model Transformations
This dissertation proposes a novel approach, applicable in the design-time analysis and verification of computer-based systems. The proposed approach, platform modeling, constructs analysis models capturing the system's behavior on a particular implementation platform. The approach is discussed...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | en |
| Published: |
VANDERBILT
2006
|
| Subjects: | |
| Online Access: | http://etd.library.vanderbilt.edu/available/etd-06052006-110407/ |