Software development has now become a critical process that handles a plethora of sensitive and mission critical information that involves lives, money and time. As such, designing such a critical piece of software has become even more critical and requires a solid logical or mathematical
analysis behind it to ensure the reliability of the software. Modelling is one of the preferred methods for software designers to express their design, especially through easy to use modeling languages such as UML (Unified Modelling Language). However the lack of formal analysis capabilities
in UML makes it necessary for a redundant formal model to be created as well, in order to analyze the design. Model interoperability as referred to in this paper promotes the use of UML, to be paired seamlessly with a formal model that is capable in performing formal mathematical analysis
on the software design.
No Reference information available - sign in for access.
No Citation information available - sign in for access.
No Supplementary Data.
No Article Media
Model Driven Development;
Document Type: Research Article
IBM Centre of Excellence, Universiti Malaysia Pahang, 26300 Kuantan, Pahang, Malaysia
Faculty of Computer Systems and Software Engineering, Universiti Malaysia Pahang, 26300 Kuantan, Pahang, Malaysia
Publication date: November 1, 2017
More about this publication?
ADVANCED SCIENCE LETTERS is an international peer-reviewed journal with a very wide-ranging coverage, consolidates research activities in all areas of (1) Physical Sciences, (2) Biological Sciences, (3) Mathematical Sciences, (4) Engineering, (5) Computer and Information Sciences, and (6) Geosciences to publish original short communications, full research papers and timely brief (mini) reviews with authors photo and biography encompassing the basic and applied research and current developments in educational aspects of these scientific areas.
- Editorial Board
- Information for Authors
- Subscribe to this Title
- Ingenta Connect is not responsible for the content or availability of external websites