Formal Extension to Object Oriented Analysis Using Z

摘要

This report describes extending an informal object oriented analysis model withformal 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).