Proving the shalls: Requirements, proofs, and model-based development

Proceedings of the IEEE International Conference on Requirements Engineering

Volumn , Issue , 2006, Pages 261-

  Miller, Steven P ^a,b  

^a ROCKWELL COLLINS   (United States)

^b Advanced Technology Center of Rockwell Collins

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SIMULATION; FORMAL LANGUAGES; MODEL CHECKING; NATURAL LANGUAGE PROCESSING SYSTEMS;

INFORMAL REQUIREMENTS; MODEL-BASED DEVELOPMENT; REQUIREMENTS ELICITATION; VERIFICATION TOOLS;

REQUIREMENTS ENGINEERING;

EID: 41149173347     PISSN: 1090705X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RE.2006.49     Document Type: Conference Paper

References (0)