Towards the formalisation of object-oriented methodologies

Authors:
Ayodele A. Adesina-Ojo;John A. van der Poll;Lucas M. Venter
Affiliations:
University of South Africa, Pretoria, South Africa;University of South Africa, Pretoria, South Africa;North-West University, Potchefstroom, South Africa
Venue:
Proceedings of the South African Institute of Computer Scientists and Information Technologists Conference on Knowledge, Innovation and Leadership in a Diverse, Multidisciplinary Environment
Year:
2011

Citing 9
Cited 0

Object Oriented Systems Development

Object Oriented Systems Development
Formal Object-Oriented Development

Formal Object-Oriented Development
Formal Methods Fact File: VDM and Z

Formal Methods Fact File: VDM and Z
A Formal Mapping between UML Models and Object-Z Specifications

ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Combining semi-formal and formal notations in software specification: an approach to modelling time-constrained systems

Combining semi-formal and formal notations in software specification: an approach to modelling time-constrained systems
Formal methods for smart cards: an experience report

Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
Unified Modeling Language User Guide, The (2nd Edition) (Addison-Wesley Object Technology Series)

Unified Modeling Language User Guide, The (2nd Edition) (Addison-Wesley Object Technology Series)
UML-B: Formal modeling and design aided by UML

ACM Transactions on Software Engineering and Methodology (TOSEM)
Formalizing the UML class diagram using object-Z

UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard

Quantified Score

Hi-index	0.00

Visualization

Abstract

Formal methods have been shown to be beneficial in increasing the quality of and confidence in software systems. The adoption of formal methods in industry has however been limited where the use of informal and semi-formal notations is favoured. To bridge the gap between the ease-of-use of semi-formal notations and correctness of formal methods, a number of approaches to the formalisation of semi-formal notations have been proposed. Two of these approaches are discussed in this paper on the strength of a case study. It is shown that each approach offers results that differ in terms of levels of abstraction, requisite knowledge of the formal target specification language and potential for automation.