Modeling functional requirements to support traceability analysis

IEEE International Symposium on Industrial Electronics

Volumn 4, Issue , 2006, Pages 3305-3310

  Kececi, Nihal ^a   Garbajosa, Juan ^a   Bourque, Pierre ^b  

^a UNIVERSIDAD POLITÉCNICA DE MADRID   (Spain)

^b ÉCOLE DE TECHNOLOGIE SUPÉRIEURE   (Canada)

Author keywords

Functional traceability; Requirements verification; Traceability analysis

Indexed keywords

CONTROL SYSTEMS; CONTROL THEORY; GRAPHIC METHODS; INDUSTRIAL ELECTRONICS; LARGE SCALE SYSTEMS; LIFE CYCLE; REQUIREMENTS ENGINEERING;

CASE STUDIES; COMMON UNDERSTANDING; FUNCTIONAL REQUIREMENTS; FUNCTIONAL TRACEABILITY; GRAPHICAL MODELLING; INTERNATIONAL SYMPOSIUM; NATURAL LANGUAGES; PROCESS CONTROL SYSTEMS; REQUIREMENTS VERIFICATION; SOFTWARE LIFE CYCLES; SOFTWARE REQUIREMENTS; TRACEABILITY ANALYSIS;

VERIFICATION;

EID: 53949099177     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISIE.2006.295995     Document Type: Conference Paper

References (12)

1. Abran A. and Moore J. W. (Exec. Eds), Bourque P. and Dupuis R. (Eds) "Guide to the Software Engineering Body of Knowledge,", 2004 Version, IEEE Computer Society Press and also published as ISO Technical Report 19759, 2004.
2. Groundwater E.H., Miller L.A., Mirsky S.M. Guidelines for the Verification and Validation of Expert System Software and Conventional Software. Survey and Document of Expert System Verification and Validation Methodologies NUREG/CR-6316, SAIC-95/1028. Vol. 1-7. 1995
3. Orlena C.Z., Anthony C.W., Finkelstein. "An Analysis of the Requirements Traceability Problem, http://www.cs.ucl.ac.uk/staff/A. Finkelstein/papers/rtprob.pdf
4. Jackson, J., "A Key-Phrase-Based Traceability Scheme, Tools and Techniques for Maintaining Traceability during Design," IEEE Colloquium, Computing and Control Division, Digest No: 1991/180
5. IEEE, Std. 610.12: Standard Glossary of Software Engineering Terminology. 1990.
6. ISO/IEC, ISO/IEC 19761: Software Engineering - COSMIC-FFP - A Functional Size Measurement Method, International Organization for Standardization, Geneva, Switzerland. 2003.
7. IEEE, Std. 830: Guide to Software Requirements Specification, " 1998.
8. DoD, Std-2167A: U.S. Department of Defense Military Standard: Defense System Software Development, Washington, D.C. 1988.
9. Modarres M.. Functional Modeling of Complex Systems Using a GTSTMLD Framework. Proceeding of the 1st International Workshop of Functional Modelling of Complex Technical Systems, Ispra, Italy. 1993.
10. Hu Y-S, Modarres M., Applying Fuzzy-Logic-Based Hierarchy for Modelling Behaviours of Complex Dynamic System. System and Software Computing in Nuclear Engineering, Da Ruan ed., Springer-Verlage. 1999.
11. Kececi, N., M. Modarres, and C. Smidts. "System Software Interface for Safety-Related Digital I&C Systems", European Safety and Reliability - ESREL '99 Conference. TUM Munich-Garching, September 13-17, 1999
12. Sendall, S.; Kozaczynski, W. Model transformation: the heart and soul of model-driven software development. IEEE Software, Vol. 20, No 5, p. 42-45 2003.