Title :
IEE Colloquium on `Requirements Capture and Specification for Critical Systems´ (Digest No.138)
Abstract :
The following topics were dealt with: method engineering for systems analysis; prototyping core functionality using JSD; SSADM for requirements specification; requirements analysis; Analyst Assist project; specifying and proving safety properties in systems development; and the use of formal methods in systems analysis
Keywords :
formal logic; formal specification; safety; software engineering; systems analysis; Analyst Assist project; JSD; SSADM; core functionality; formal methods; method engineering; prototyping; requirements analysis; requirements specification; safety properties; systems analysis; systems development;
Conference_Titel :
Requirements Capture and Specification for Critical Systems, IEE Colloquium on
Conference_Location :
London
