Analysing i* system models for dependability properties: The uberlingen accident

REFSQ 2006 - Proceedings of the 12th International Working Conference on Requirements Engineering: Foundation for Software Quality, In Conjunction with CAiSE 2006

Volumn , Issue , 2006, Pages 63-69

  Maiden, Neil ^a   Kamdar, Namit ^a   Bush, David ^b  

^a CITY UNIVERSITY   (United Kingdom)

^b Ascolto Ltd   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE SELECTION AND EVALUATION; REQUIREMENTS ENGINEERING;

AIR ACCIDENTS; DOMAIN EXPERTS; NORMAL OPERATIONS; POSITION PAPERS; REQUIREMENTS PROCESS; SYSTEM MODELS; SYSTEM PROPERTY;

ACCIDENTS;

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

References (4)

1. BFU 2004, 'Investigation Report AX001-1-2/02', German Federal Bureau of Aircraft Accidents Investigation', May 2004.
2. Maiden N.A.M., Jones S.V., Manning S., Greenwood J. & Renou L., 2004, 'Model-Driven Requirements Engineering: Synchronising Models in an Air Traffic Management Case Study', Proceedings CaiSE'2004, Springer-Verlag LNCS 3084, 368-383.
3. Darimont R. & van Lamsweerde A., 1996, 'Formal Refinement Patterns for Goal-Driven Requirements Elaboration', Proceedings FSE-4-4th ACM Symposium on the Foundations of Software Engineering, San Francisco, 179-190.
4. Yu E. & Mylopoulos J.M., 1994, 'Understanding "Why" in Software Process Modelling, Analysis and Design', Proceedings, 16th International Conference on Software Engineering, IEEE Computer Society Press, 159-168.