Comparing Formal Specifications with Diagrammatic Notations : A Case-Study Approach

JOHN ANDREW, VAN DER POLL and KOBAMELO, MOREMEDI (2014) Comparing Formal Specifications with Diagrammatic Notations : A Case-Study Approach. In: International Conference on Advances in Bio-Informatics, Bio-Technology and Environmental Engineering - ABBE 2014, 01 - 02 June,2014, Westminster, London, UK.

20140708_054759.pdf - Published Version

Download (1MB) | Preview
Official URL:


Formal specification techniques, e.g. Z have been applied in a variety of application areas to provide for clear and unambiguous specifications. Diagrams on the other hand have also been used in various areas and in software engineering they could be used to add a visual component to software specifications. It is plausible that diagrams may also be used to reason in a semi-formal way about the properties of a specification. In this paper we employ a case study approach to determine the extent to which diagrammatic notations can successfully be used to specify system properties. Comparisons on the merits of a diagrammatic notation are presented towards the end of the paper.

Item Type: Conference or Workshop Item (Paper)
Uncontrolled Keywords: case study, diagrammatic notation, formal specification, Spider diagrams, Venn diagrams, Z
Depositing User: Mr. John Steve
Date Deposited: 15 May 2019 12:36
Last Modified: 15 May 2019 12:36

Actions (login required)

View Item View Item