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