Extending the Useful Application Domain for Formal Methods

dc.contributor.author	Swatman, Paul Anthony
dc.contributor.author	Fowler, Danielle
dc.contributor.author	Gan, C.Y. Michael
dc.date.accessioned	2017-06-13T17:56:09Z
dc.date.available	2017-06-13T17:56:09Z
dc.date.issued	1991
dc.description.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.	en_US
dc.format.extent	20 pages	en_US
dc.genre	journal articles	en_US
dc.identifier	doi:10.13016/M25K2T
dc.identifier.citation	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.	en_US
dc.identifier.isbn	3-540-19780-X
dc.identifier.uri	10.1007/978-1-4471-3203-5_6
dc.identifier.uri	http://hdl.handle.net/11603/4046
dc.language.iso	en_US	en_US
dc.publisher	Springer-Verlag	en_US
dc.relation.isAvailableAt	University of Baltimore
dc.title	Extending the Useful Application Domain for Formal Methods	en_US
dc.type	Text	en_US

Files

Now showing 1 - 1 of 1