Molecular defense mechanisms of Barretts metaplasia estimated by an integrative genomics;Modellbasierte Anforderungsanalyse mit AutoRAID

Informatik - Forschung und Entwicklung

Volumn 21, Issue 3-4, 2007, Pages 231-242

  Geisberger, Eva ^a   Schätz, Bernhard ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

Integrated requirments Analysis and system design; Model based development; Requirements engineering; Tool support; Views

Indexed keywords

EID: 34547437816     PISSN: 01783564     EISSN: None     Source Type: Journal    
DOI: 10.1007/s00450-007-0021-5     Document Type: Article

References (18)

1. AutoRAID Webseite: http://wwwbroy.in.tum.de/~autoraid/
2. AutoFocus: AutoFocus - A CASE tool for Requirements, Design. Code Generation and Simulation. http://www4../~af2 (2006)
3. Braun P, Lötzbeyer H. Schätz B, Slotoseh O, Consistent Integration of Formal Methods. In: Proc. &th Int. Conf. On Tools fort he Analysis of Correct Systems (TACAS). LNCS 2280. 2006
4. Denger C, Paech B, An Integrated Quality Assurance Approach for Use Case Based Requirements. In: Rumpe B, Hesse W (eds) Modellierung 2004, Springer. LNI. 2004
5. DOORS: Requirements Management Werkzeug DOORS von Telelogic. Homepage: http://www.telelogic.de/products/doors/index.cfm
6. Friske M, Pirk H, Werkzeuggestützte interactive Formalisierung textueller Anwendungsfallbeschreibungen für den Systemtest. In: Informatik 2005. Springer, LNI 68, 2005
7. Geisberger E, Requirements Engineering Eingebetteter Systeme - ein interdisziplinärer Modellierungsansatz. Dissertation, Technische Universität München, 2005. Shaker Verlag. ISBN: 3-8322-4619-3, www.shaker-online.com/
8. IEEE Software Engineering Committee of the Computer Society. IEEE Guide for Software Requirements Specifications (ANSI). IEEE Comp Soc (1998) IEEE Standard 830 1998
9. Haumer P. Jarke M. Pohl K, Weidenhaupt K. Scenarios in System Development: Current Practice. IEEE Softw 15:34-45 (1998)
10. Kotonya G, Sommervillle 1. Requirements Engineering With Viewpoints. Technical Report, Lancester Univ., 1995
11. Kotonya G. Sommerville I, Requirements Engineering: Processes and Techniques. Wiley & Sons. 1998
12. Kruchten P. The 4+1 View Model of Architecture. IEEE Comp Soc Press, 1995
13. Van Lamsweerde A, Goal-Oriented Requirements Engineering: A Guided Tour. RE'01 - 5th IEEE Int. Symposium on Requirements Engineering, Toronto 2001. pp. 249-263
14. Leite L, Freeman P, Requirements Validation Through Viewpoint Resolution. IEEE Trans Softw Eng. 1991
15. OSRMT: Open Source Requirements Management Tool (2006) http://osrmt.com/
16. RequisitePro: Requirements Management Werkzeug RequistePro. IBM Rational. Homepage: http://www.ibm.com/software/awdtools/reqpro/
17. Sommerville I, Sawyer P, Viewpoints for Requirements Elicitation: A Practical Approach. IEEE Int. Conf. on Requirements Engineering. IEEE Press, 1998
18. Wild D, AutoFocus 2 - Das Bilderbuch. Technische Universität München, Technical Report: TUM-10610, May 2006