Formal Specification of Software

reportActive / Technical Report | Accession Number: ADA236362 | Open PDF

Abstract:

This module introduces methods for the formal specification of programs and large software systems, and reviews the domains of application of these methods. Its emphasis is on the functional properties of software. It does not deal with the specification of programming languages, the specification of user computer interfaces, or the verification of programs. Neither does it attempt to cover the specification of distributed systems. In our usage specification denotes 1 the process of producing various characterizations of software, and 2 the product of a specific stage of the process, namely a formal statement of what a software system is to do, where the other products of the specification process are an informal requirements statement and a design. To avoid unnecessary repetition this document uses the term specification to refer to the stage of the specification process that produces specifications.

Author(s):
Berztiss, Alfs
Author Organization(s):
CARNEGIE-MELLON UNIV PITTSBURGH PA SOFTWARE ENGINEERING INST
Descriptive Note:
Final rept.,
Supplementary Note:
DOI: 10.21236/ADA236362
Pagination:
0031

Security Markings

DOCUMENT & CONTEXTUAL SUMMARY

Distribution:
Approved For Public Release
Distribution Statement:
Approved For Public Release; Distribution Is Unlimited.

RECORD

Collection: TR
Identifying Numbers
Report Number(s):
CMU/SEI-CM-8-1-0
Contract/Grant Number(s):
F19628-90-C-0003
Monitor Series:
ESD
 Subject Terms
Joint Capability Areas:
JCA_5_Command and Control; JCA_5.2_Understand; JCA_5.2.3_Share Knowledge and Situational Awareness; JCA_1_Force Support; JCA_1.2_Force Preparation; JCA_2_Battlespace Awareness; JCA_2.1_Planning and Direction; JCA_2.1.1_Define and Prioritize Requirements; JCA_5.3_Planning; JCA_1.2.3_Educating; JCA_1.2.6_Concepts; JCA_4.6_Engineering; JCA_6_Net Centric; JCA_5.2.2_Develop Knowledge and Situational Awareness; JCA_4.2_Supply; JCA_5.5.2_Task; JCA_5.5_Direct; JCA_1.2.2_Exercising; JCA_4.2.2_Inventory Management; JCA_6.3.3_Spectrum Management; JCA_6.2.1_Information Sharing
Communities of Interest:
Human Systems
Descriptor(s):
*COMPUTER PROGRAMS, VERIFICATION, DISTRIBUTION, FUNCTIONAL ANALYSIS, COMPUTERS, INTERFACES, PROGRAMMING LANGUAGES, USER NEEDS, REQUIREMENTS, SPECIFICATIONS
Field(s)/Group(s):
Computer Programming and Software
Keyword(s):
*SOFTWARE ENGINEERING, *SPECIFICATIONS, PE63752F
Report Date:
1987 Oct 01