Combining problem frames and UML in the description of software requirements

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3922 LNCS, Issue , 2006, Pages 199-213

  Lavazza, Luigi ^a,b   Del Bianco, Vieri ^b  

^a UNIVERSITY OF INSUBRIA   (Italy)

^b Cefriel Research Center   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; LINGUISTICS; PROBLEM SOLVING; REQUIREMENTS ENGINEERING; SOFTWARE ENGINEERING;

LINGUISTIC SUPPORT; REQUIREMENTS MODELING; UML LANGUAGE;

COMPUTER PROGRAMMING LANGUAGES;

EID: 33745774310     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11693017_16     Document Type: Conference Paper

References (19)

1. Jackson, M., Problem Frames - analysing and structuring software development problems, Addison-Wesley ACM Press, 2001.
2. Hall, J.G., M. Jackson, R.C. Laney, B. Nuseibeh, and L. Rapanotti, "Relating Software Requirements and Architectures using Problem Frames", Proc. of RE02, Essen, September 2002.
3. Lavazza, L., S. Morasca, and A. Morzenti, "A Dual Language Approach to the Development of Time-Critical Systems with UML" Proc. of TACoS (Int. Workshop on Test and Analysis of Component Based Systems), Barcelona, March 27-28, 2004.
4. OMG, Unified Modeling Language: Superstructure v. 2.0, formal/05-07-04, August 2005.
5. Lavazza, L. "Rigorous Description of Software Requirements with UML", 15th Int. Conf. on Software Engineering and Knowledge Engineering (SEKE2003), San Francisco, July 2003.
6. Heaven, W., and A. Finkelstein. "A UML Profile to Support Requirements Engineering with KAOS". IEE Proceedings - Software, vol 151, no 1, February 2004.
7. Kovitz B., Practical Software Requirements, Manning Publications, 1999.
8. Choppy, C. and Reggio, G., "A UML-Based Method for the Commanded Behavior Frame", 1 st International Workshop on Advances and Applications of Problem Frames, co-located with 26th ICSE, Edinburgh, May 2004.
9. Lavazza, L. and Del Bianco, V., "A UML-based Approach for Representing Problem Frames", 1st International Workshop on Advances and Applications of Problem Frame, co-located with 26th ICSE, Edinburgh, May 2004.
10. Selic, B., Gullekson, G., Ward, P. T.: Real-Time Object-Oriented Modeling. Wiley (1994).
11. Konrad, S., Cheng, B., Requirements Patterns for Embebed Systems. IEEE Joint International Conference on Requirements Engineering, Essen, Germany, 2002.
12. Bjørner, D., Koussoube, S., Noussi, R., and Satchok, G. "Michael Jackson's Problem Frames: Towards Methodological Principles of Selecting and Applying Formal Software Development Techniques and Tools". 1st IEEE International Conference on Formal Engineering Methods, Hiroshima, 1997.
13. Choppy, C. and Reggio, G., "Using CASL to Specify the Requirements and the Design: A Problem Specific Approach." In D. Bert and C. Choppy (eds.) Recent Trends in Algebraic Development Techniques, Selected Papers of WADT'99, LNCS 1827, Springer Verlag, 2000.
14. Hall, J., Rapanotti, L., and Jackson, M. "Problem frame semantics for software development". Software and Systems Modeling, vol. 4, n. 2, Springer-Verlag, July 2005.
15. Gunter C.A., Gunter E.L., Jackson M., and Zave P., "A Reference Model for Requirements and Specifications", IEEE Software, vol. 17, n. 3, May-June 2000.
16. Jacobson, I., "Object-Oriented Development In an Industrial Environment", Proc. of OOPSLA '87.
17. th IWSPD, San Diego, November 2000.
18. Hurlbut, R.R., "A Survey of Approaches For Describing and Formalizing Use Cases", http://www.iit.edu/~rhurlbut/xpt-tr-97-03.html.
19. OMG, "OCL 2.0 Specification V. 2.0", ptc/2005-06-06, June 2005.