Validate object-oriented models using VDM++

QR Code

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...

Full description

Bibliographic Details
Main Author:	Anding, Anak Nyuak
Format:	Thesis
Language:	English
Published:	Universiti Malaysia Sarawak, (UNIMAS) 2010
Subjects:	T Technology (General)
Online Access:	http://ir.unimas.my/id/eprint/12075/ http://ir.unimas.my/id/eprint/12075/4/Anding%20ft.pdf

Similar Items

Self-consistent positive streamer-leader propagation model based on Finite Element Method (FEM) and Voltage Distortion Method (VDM)
by: Ma, Ziwei, et al.
Published: (2023)

Development of river data model using object orientation concept
by: Hashim, Mohamad Ghazali, et al.
Published: (2003)

Validation of object-oriented software GA metric selection model using domain experts
by: Diwani, Abubakar, et al.
Published: (2018)

The analysis of object-oriented metrics in C++ programs
by: Awang Abu Bakar, Normi Sham
Published: (2014)

Object-oriented design process model
by: Din, Jamilah, et al.
Published: (2009)

Design of object-oriented debugger model by using unified modeling language.
by: Mohd Sani, Nor Fazlida, et al.
Published: (2013)

Object oriented programming
by: Shah, Asadullah, et al.
Published: (2011)

A static object-oriented debugging model using Unified Modeling Language
by: Mohd Sani, Nor Fazlida, et al.

The unified modeling language model of an object oriented debugger system.
by: Mohd Ariffin, Noor Afiza, et al.
Published: (2013)

Examining technology orientation constructs: A validation study
by: Ajibike, W. A., et al.
Published: (2020)

Analyze semantic of object-oriented model using RiTa.WordNet
by: Ali, Noraida, et al.
Published: (2011)

Object oriented modeling: Retrospective systems information model for constructability assessment
by: Love, Peter, et al.
Published: (2016)

Development of an assertion model of integrity constraints in object-oriented databases
by: Zaqaibeh, Belal Mohammad
Published: (2006)

A Design and Implementation of Version Model in Object-Oriented Databases
by: Yazid, Zulkifli
Published: (1997)

Concepts for slicing object-oriented programs
by: Yahaya, Nor Adnan, et al.
Published: (2001)

db4DNASeq: An Object-oriented DNA Database Model associated with Sequence Search Method
by: Ng, Keng Hoong, et al.
Published: (2008)

Modelling A Knowledge Base Using Object-Oriented Approach For Virtual Learning Environment
by: Mohd Yusof, Mohd Fairuz
Published: (2004)

Modelling a Knowledge Base Using Object-Oriented Approach for Virtual Learning Environment
by: Mohd Fairuz Mohd Yusof,
Published: (2004)

Atomic Use Case: A Concept for Precise Modelling of Object-Oriented Information Systems
by: Nguyen, K., et al.
Published: (2003)

Student modeling for learning of object-oriented programming in e-learning environment
by: Abdullah Mohd Zin,, et al.
Published: (2006)

Characterisation and Object-Oriented Finite Element Modelling of Polypropylene/Organoclay Nanocomposites
by: Dong, Yu, et al.
Published: (2007)

Characterisation and Object-Oriented Finite Element Modelling of Polypropylene/Organoclay Nanocomposites
by: Dong, Yu, et al.
Published: (2007)

A document-based software traceability to support change impact analysis of object-oriented software
by: Ibrahim, Suhaimi
Published: (2006)

The effects of object-oriented coupling and cohesion measures on the quality of open source systems
by: Awang Abu Bakar, Normi Sham
Published: (2012)

Predicting maintainability of object-oriented software using metric threshold
by: Bakar, Abubakar Diwani, et al.
Published: (2014)

Cost-based scheduling method using object-oriented approach
by: Fan, S., et al.
Published: (2016)

Object's shadow removal with removal validation
by: Syed Abu Bakar, Syed Abdul Rahman, et al.
Published: (2007)

Software metrics selection model for predicting maintainability of object-oriented software using genetic algorithms
by: Bakar, Abubakar Diwani
Published: (2016)

Framework For Merging Object-Oriented Formal Specifications
by: Taibi , Fathi
Published: (2010)

Slicing Object Oriented Programs for Maintenance Purposes
by: Al-Fawareh, Hamed Jasem Khaled
Published: (2001)

Attribute reductions in object-oriented concept lattices
by: Ma, J., et al.
Published: (2013)

Online learning and fusion of orientation appearance models for robust rigid object tracking
by: Marras, Ioannis, et al.
Published: (2014)

Online learning and fusion of orientation appearance models for robust rigid object tracking
by: Marras, Ioannis, et al.
Published: (2013)

Application of the fact-based approach to domain modeling of object-oriented information systems
by: Nguyen, K., et al.
Published: (2009)

Experimental Characterisation and Object-Oriented Finite Element Modelling of Polypropylene/Organoclay Nanocomposites
by: Dong, Yu, et al.
Published: (2008)

Object-oriented model for life cycle management of electrical instrumentation control projects
by: Zhou, J., et al.
Published: (2015)

AN EMPIRICAL INVESTIGATION OF METHODS, FOR TEACHING DESIGN PATTERNS WITHIN, OBJECT-ORIENTED FRAMEWORKS
by: HO, SIN BAN, et al.
Published: (2007)

Velocity analysis on moving objects detection using multi-scale histogram of oriented gradient
by: Yee, Lai Kok, et al.
Published: (2023)

Object oriented system for dynamic domain change in structural size optimization
by: Harahap, I.S.H., et al.
Published: (2007)

The Usage of Object Oriented Approach in Software Development Companies
by: Vikneswary, Anne
Published: (2003)