Fowler, DanielleSwatman, Paul AnthonyWafula, Evelyn2017-06-132017-06-131995Fowler, D.C., Swatman, P.A., & Wafula, E. (1995). Formal Methods in the IS Domain: Introducing a Notation for Presenting Object-Z Specifications.http://hdl.handle.net/11603/4047The 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.29 pagesen-USFormal Methods in the IS Domain: Introducing a Notation for Presenting Object-Z SpecificationsText