Accession Number:

ADA171671

Title:

Formal Techniques for Specification and Validation of Tactical Systems.

Descriptive Note:

Final technical rept.

Corporate Author:

MASSACHUSETTS COMPUTER ASSOCIATES INC WAKEFIELD

Personal Author(s):

Report Date:

1986-06-02

Pagination or Media Count:

221.0

Abstract:

Contents Object-Oriented Subsystem Specification An Experiment with an Approach to Formal Specifications Papers on Z, Programming Research Group, Oxford University.

Descriptors:

• *DISTRIBUTED DATA PROCESSING
• DATA MANAGEMENT
• PROGRAMMING LANGUAGES
• TACTICAL DATA SYSTEMS

Subject Categories:

• Computer Programming and Software
• Computer Systems

Distribution Statement:

APPROVED FOR PUBLIC RELEASE