Validate object-oriented models using VDM++
The goal of this thesis is to generate Formal Method (FM) specifications using the Unified Modeling Language (UML), class diagram models. In this context, we use the Vienna Development Method for modeling object-oriented models (VDM++) as a formal specification language. We studied the syntax and se...
| Main Author: | |
|---|---|
| Format: | Thesis |
| Language: | English English |
| Published: |
Universiti Malaysia Sarawak, (UNIMAS)
2010
|
| Subjects: | |
| Online Access: | http://ir.unimas.my/id/eprint/12075/ |
| Abstract | Abstract here |