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: | Anding, Anak Nyuak |
---|---|
Format: | Thesis |
Language: | English |
Published: |
2010
|
Subjects: | |
Online Access: | http://ir.unimas.my/id/eprint/12075/3/Anding%20Anak%20Nyuak%20ft.pdf |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Novel broadband erbium-doped fiber amplifiers for VDM transmission systems /
by: Mohd Adzir Mahdi
Published: (2001) -
A document-based software traceability to support change impact analysis of object-oriented software
by: Ibrahim, Suhaimi
Published: (2006) -
Proton Exchange Membrane Fuel Cell Model Validation Using Equivalent Electrical Circuit
by: Abdul Mubin, Ayu Nurfatika
Published: (2018) -
Using range images for object-oriented CAD model reconstruction /
by: Bok, Shung Hwee
Published: (1990) -
An object-oriented entity relationship data model /
by: Teo, Pit Koon
Published: (1993)