Requirements specification and modeling through SysML

Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics

Volumn , Issue , 2007, Pages 1735-1740

  Dos Santos Soares, Michel ^a   Vrancken, Jos ^a  

^a DELFT UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

GRAPHIC METHODS; NATURAL LANGUAGE PROCESSING SYSTEMS; REAL TIME SYSTEMS; REQUIREMENTS ENGINEERING;

REAL TIME DISTRIBUTED SYSTEMS; REQUIREMENTS REPRESENTATION; SYSTEM REQUIREMENTS;

SPECIFICATIONS;

EID: 40949101747     PISSN: 1062922X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSMC.2007.4413936     Document Type: Conference Paper

References (15)

1. Aurum, A. Wohlin, C., 2005. Engineering and Managing Software Requirements, Springer.
2. Sommerville, 2004. Software Engineering. Addison-Wesley, UK.
3. Mitch et al. 2004. Mitch, L., Franch, M., Novi Imverardi, P. Market Research for requirements analysis using linguistic tools. Requirements Engineering Journal, Volume 9, Number 2, May, 2004.
4. ISO 2002. Z formal specification notation - Syntax, type system and semantics. ISO/IEC 13568:2002.
5. Traoré et al., 2003. Traoré, I,. Aredo, D.B., Ye, H. An integrated framework for formal development of open distributed systems. Proceedings of the 2003 ACM Symposium on Applied computing, 2003.
6. Allenby and Kelly, 2001. Allenby, K., Kelly, T. Deriving safety requirements using scenarios Proceedings of the Fifth IEEE International Symposium on Requirements Engineering, page(s): 228-235, 2001.
7. SysML, 2006. OMG SysML Specification v. 1.0. Retrieved from http://www.sysml.org.
8. UML, 2004. UML Superstructure Specification, v2.0. Retrieved from http://www.uml.org.
9. Chaos report, 2000. Standish group CHAOS report. http://www. standishgroup.com.
10. O. Gotel and A. Finkelstein, 1994. An Analysis of the Requirements Traceability Problem, Proceedings of the First International Conference on Requirements Engineering, pp. 94-101, 1994.
11. Sahraoui, A.E.K., 2005. Requirements Traceability Issues: Generic Model, Methodology and Formal Basis. Information Technology and Decision Making. Volume 4, Num. 1, March 2005.
12. Ramesh and Jarke, 2001. Toward Reference Models for Requirements Traceability IEEE Transactions on Software Engineering, Vol. 27, No. 1, January 2001, pages 58-93.
13. Robinson et al., 2003. Requirements Interaction Management. Robinson, W.N., Pawlowski, S.D., Volkov, V. ACM Computing Surveys (CSUR) archive Volume 35, Issue2 (June 2003), Pages: 132-190.
14. Balmelli, 2006. Balmelli, L. An Overview of the Systems Modeling Language for Products and Systems Development. IBM Technical Report 2006 TR-20060603. Accepted to appear in Journal of Object Technology (JOT) at www.jot.fm.
15. Kruse et al., 2006. Kruse, O.C., Vrancken, J.L.M., Soares, M.S. Architecture for Distributed Traffic Control. ITS World Congress. London. 2006.