Formal Methods in the IS Domain: Introducing a Notation for Presenting Object-Z Specifications
Loading...
Permanent Link
Collections
Author/Creator
Author/Creator ORCID
Date
1995
Type of Work
Department
Program
Citation of Original Publication
Fowler, D.C., Swatman, P.A., & Wafula, E. (1995). Formal Methods in the IS Domain: Introducing a Notation for Presenting Object-Z Specifications.
Rights
Subjects
Abstract
The evaluation of an information systems development method [Swatman & Swatman, 1992] synthesised from research into: the object oriented approach mathematically formal specification languages socio-organisational contextual analysis.