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...
Saved in:
| Main Author: | |
|---|---|
| Format: | Thesis |
| Language: | English |
| Published: |
Universiti Malaysia Sarawak, (UNIMAS)
2010
|
| Subjects: | |
| Online Access: | http://ir.unimas.my/id/eprint/12075/3/Anding%20Anak%20Nyuak%20ft.pdf http://ir.unimas.my/id/eprint/12075/ |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|