Verification of Model Transformations
Model based software development projects are typically built over tool-chains that tie modeling, verification and code generation together. Models must usually be transformed to the appropriate notation at each step. These transformations are often automated, and their correctness is crucial to the...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | en |
| Published: |
VANDERBILT
2008
|
| Subjects: | |
| Online Access: | http://etd.library.vanderbilt.edu/available/etd-05132008-093424/ |