A Formal Extension to Object Oriented Analysis Using Z.
Thomas C. Hartrum, Paul D. Bailor · 1994
Abstract : This report describes extending an informal object oriented analysis model with formal constructs. In particular, the object modeling technique (OMT) of Rumbaugh et. al. is integrated with the formal specification language Z. The result is a software analysis process that is easy to understand and apply, while resulting in a formal specification. (AN)