Requirements validation of a voice communication system used in air traffic control. An industrial application of light-weight formal methods

Proceedings of the IEEE International Conference on Requirements Engineering

Volumn , Issue , 2000, Pages 190-

  Horl, Johann ^a   Aichernig, Bernhard K ^a  

^a GRAZ UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

AIR TRAFFIC CONTROL; COMPUTER HARDWARE DESCRIPTION LANGUAGES; DATA STRUCTURES; EXPERT SYSTEMS; FORMAL LOGIC; LOGIC PROGRAMMING; OBJECT ORIENTED PROGRAMMING; REQUIREMENTS ENGINEERING;

LIGHTWEIGHT FORMAL METHODS; SOFTWARE PACKAGE VDM;

SOFTWARE ENGINEERING;

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

References (2)