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 |
| Published: |
Universiti Malaysia Sarawak, (UNIMAS)
2010
|
| Subjects: | |
| Online Access: | http://ir.unimas.my/id/eprint/12075/ http://ir.unimas.my/id/eprint/12075/4/Anding%20ft.pdf |