Extending the Useful Application Domain for Formal Methods
MetadataShow full item record
Type of Work20 pages
Citation of Original PublicationPaul 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.
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.