Accession Number : ADA290911
Title : A Formal Extension to Object Oriented Analysis Using Z.
Descriptive Note : Technical rept.,
Corporate Author : AIR FORCE INST OF TECH WRIGHT-PATTERSON AFB OH SCHOOL OF ENGINEERING
Personal Author(s) : Hartrum, Thomas C. ; Bailor, Paul
PDF Url : ADA290911
Report Date : 07 OCT 1994
Pagination or Media Count : 93
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)
Descriptors : *SOFTWARE ENGINEERING, *COMPUTER PROGRAMMING, MATHEMATICAL MODELS, COMPUTERIZED SIMULATION, DATA MANAGEMENT, SPECIFICATIONS, PROGRAMMING LANGUAGES, SUBROUTINES, DYNAMIC PROGRAMMING.
Subject Categories : Computer Programming and Software
Distribution Statement : APPROVED FOR PUBLIC RELEASE