A Formal Extension to Object Oriented Analysis Using Z.

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)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 07, 1994
Accession Number
ADA290911

Entities

People

  • Paul Bailor
  • Thomas C. Hartrum

Organizations

  • Air Force Institute of Technology

Tags

Communities of Interest

  • C4I
  • Materials and Manufacturing Processes
  • Weapons Technologies

DTIC Thesaurus Topics

  • Abstracts
  • Air Force
  • Airframes
  • Computer Programming
  • Computers
  • Dictionaries
  • Employment
  • Engineering
  • Flow Rate
  • Formal Languages
  • Fuel Tanks
  • Jet Engines
  • Software Design
  • Software Development
  • Software Development Tools
  • Students
  • Three Dimensional

Fields of Study

  • Computer science

Readers

  • Database Systems and Applications
  • Software Engineering.