Extending the Useful Application Domain for Formal Methods
No Thumbnail Available
Links to Files
Permanent Link
Collections
Author/Creator
Author/Creator ORCID
Date
1991
Type of Work
Department
Program
Citation of Original Publication
Paul A. Swatman, Danielle Fowler, and C. Y. Michael Gan. 1991. Extending the Useful Application Domain for Formal Methods. In Proceedings of the Z User Workshop, J. E. Nicholls (Ed.). Springer-Verlag, London, UK, UK, 125-144.
Rights
Subjects
Abstract
Research into the industrial application of formal methods has concentrated almost exclusively on the specification of software systems in high-risk or safety critical applications Thus, attention has been directed to technical problems with technical systems. In this paper we justify and report early results from a research project which aims to evaluate the implications of using the formal specification language Object-Z as an analytic tool in an Information Systems environment.