Experiences in applying formal methods to the analysis of software and system requirements

Workshop on Industrial-Strength Formal Specification Techniques

Volumn , Issue , 1995, Pages 30-43

  Hamilton, David ^a   Covington, Rick ^a   Kelly, John ^a  

^a Loral SIS ^*  (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE SELECTION AND EVALUATION; COST EFFECTIVENESS; DATA ACQUISITION; ERRORS; OPTIMIZATION; SOFTWARE ENGINEERING; SYSTEMS ANALYSIS; USER INTERFACES;

FORMAL METHODS; SOFTWARE AND SYSTEM REQUIREMENTS;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

EID: 0029229176     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (9)