Swatman, Paul AnthonyFowler, DanielleGan, C.Y. Michael2017-06-132017-06-131991Paul 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.3-540-19780-X10.1007/978-1-4471-3203-5_6http://hdl.handle.net/11603/4046Research 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.20 pagesen-USText