Interdisciplinary requirements analysis using the model-based RM tool AUTORAID

2006 International Automotive Requirements Engineering Workshop, AuRE'06

Volumn , Issue , 2006, Pages

  Geisberger, Eva ^a   Grünbauer, Johannes ^a   Schätz, Bernhard ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMMUNICATION SYSTEMS; EMBEDDED SYSTEMS; SYSTEMS ANALYSIS;

DESCRIPTIVE SPECIFICATION; FUNCTIONAL SYSTEMS; INTERDISCIPLINARY REQUIREMENTS ANALYSIS; REQUIREMENTS MANAGEMENT;

AUTOMOTIVE ENGINEERING;

EID: 34547308121     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/AURE.2006.2     Document Type: Conference Paper

References (10)

1. AUTOFOCUS Homepage, Documentation, Screenshots, Tutorials, and Downloads. http://autofocus.in.tum.de.
2. AUTORAID Homepage, Documentation, Screenshots, and Downloads. http://wwwbroy.in.tum.de/~autoraid/.
3. P. Braun, H. Lötzbeyer, B. Schätz, and O. Slotosch. Consistent Integration of Formal Methods. In Proc. 6th Intl. Conf on Tools for the Analysis of Correct Systems (TACAS), LNCS 2280, 2000.
4. C. Denger and B. Paech. An Integrated Quality Assurance Approach for Use Case Based Requirements. In B. Rumpe and W. Hesse, editors, Proceedings zur Tagung Modellierung 2004, pages 307-308, Marburg, Germany, March, 24-26 2004.
5. ITU. ITU-TS Recommendation Z. 120: Message Sequence Chat (MSC). ITU-TS, Geneva 1996.
6. G. Kontonya and I. Sommerville. Requirements Engineering: Processes and Techniques. Wiley & Sons, 1998.
7. G. Kotonya and I. Sommerville. Requirements Engineering with Viewpoints. Technical report, Lancester University, 1995.
8. L. Leite and P. Freeman. Requirements Validation Through Viewpoint Resolution. IEEE Transaction on Software Engineering, 1991.
9. J. Phillips and O. Slotosch. The Quest for Correct Systems: Model Checking of Diagrams and Datatypes. In Asia Pacific Software Engineering Conference, 1999.
10. A. van Lamsweerde. Goal-Oriented Requirements Engineering: A Guided Tour. In Proceedings of the 5th IEEE International Symposium on Requirements Engineering, pages 249-263, Toronto, August 2001.