A UML-based approach for problem frame oriented software development

Information and Software Technology

Volumn 47, Issue 14, 2005, Pages 929-954

  Choppy, Christine ^a   Reggio, Gianna ^b  

^a Laboratoire d'Informatique de Paris Nord Villetaneuse   (France)

^b UNIVERSITY OF GENOA   (Italy)

Author keywords

'Rich' workpieces frame; Design specification; Problem frames; Requirement specification; UML based development method

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; PROBLEM SOLVING;

'RICH' WORKPIECE FRAMES; PROBLEM FRAMES; REQUIREMENT IDENTIFICATION; UML BASED DEVELOPMENT SYSTEM;

SOFTWARE ENGINEERING;

EID: 28044452896     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.infsof.2005.08.006     Document Type: Article

References (32)

1. C. Alexander, S. Ishikawa, M. Silverstein, M. Jacobson, I. Fiksdahl-King, and S. Angel A Pattern Language 1977 Oxford University Press Oxford
2. E. Astesiano, M. Cerioli, and G. Reggio Plugging data constructs into paradigm-specific languages: towards an application to UML (Invited Lecture) T. Rus Proc. AMAST 2000 Number 1816 in Lecture Notes in Computer Science 2000 Springer Berlin 273 292
3. E. Astesiano, E. Astesiano, and G. Reggio Towards a well-founded UML-based development method A. Cerone P. Lindsay Proc. of SEFM '03 2003 IEEE Computer Society Los Alamitos, CA 102 117
4. E. Astesiano, E. Astesiano, and G. Reggio Tight structuring for precise UML-based requirement specifications M. Wirsing A. Knapp S. Balsamo Radical Innovations of Software and Systems Engineering in the Future, Proc. 9th Monterey Software Engineering Workshop, Venice, Italy, Sep. 2002 Number 2941 in Lecture Notes in Computer Science 2002 Springer Berlin
5. L. Bass, P. Clements, and R. Kazman Software Architecture in Practice 1998 Addison-Wesley
6. M. Bidoit and P.D. Mosses, CASL User Manual, number 2900 in Lecture Notes in Computer Science (IFIP Series). Springer, Berlin, 2004. With chapters by T. Mossakowski, D. Sannella, and A. Tarlecki.
7. D. Bjorner, S. Kousoube, R. Noussi, and G. Satchok Michael Jackson's problem frames: towards methodological principles of selecting and applying formal software development techniques and tools M. Hinchey L. ShaoYing Proc. Intl. Conf. on Formal Engineering Methods, Hiroshima, Japan, 12-14 Nov. 1997 1997 IEEE Press 263 270
8. S.J. Bleistein, K. Cox, and J. Verner Problem frames approach for e-Business systems K. Cox J. Hall L. Rapanotti Proc. 1st International Workshop on Advances and Applications of Problem Frames (IWAAPF) 2004 IEEE Press
9. B. Boehm, B. Boehm, and R. Turner Balancing Agility and Discipline: A Guide for the Perplexed 2003 Addison-Wesley
10. J. Bradfield, J.K. Filipe, and P. Stevens Enriching OCL using observational Mu-Calculus R.-D. Kutsche H. Weber Proc. FASE 2002 Number 2306 in Lecture Notes in Computer Science 2002 Springer Berlin 203 217
11. C. Choppy, C. Choppy, and M. Heisel Use of patterns in formal development: systematic transition from problems to architectural designs M. Wirsing R. Hennicker D. Pattinson Recent Trends in Algebraic Development Techniques, 16th WADT, Selected Papers Number 2755 in Lecture Notes in Computer Science 2002 Springer Berlin 205 220
12. C. Choppy, C. Choppy, and M. Heisel Une approche à base de "patrons" pour la spécification et le développement de systèmes d'information AFADL 2004, Approches Formelles dans l'Assistance au Développement de Logiciels 2004
13. C. Choppy, C. Choppy, and G. Reggio Using CASL to specify the requirements and the design: a problem specific approach D. Bert C. Choppy Recent Trends in Algebraic Development Techniques, Selected Papers of the 14th International Workshop WADT'99 Number 1827 in Lecture Notes in Computer Science 2000 Springer Berlin 106 125 A complete version is available at ftp://ftp.disi.unige.it/person/ReggioG/ChoppyReggio99a.p
14. C. Choppy, C. Choppy, and G. Reggio A UML-Based method for the commanded behaviour frame K. Cox J. Hall L. Rapanotti Proc. of the 1st International Workshop on Advances and Applications of Problem Frames (IWAAPF 2004) 2004 IEEE Press 27 34
15. C. Choppy, C. Choppy, and G. Reggio Using UML for problem frame oriented software development W. Dosch N. Debnath Proc of the ISCA 13th Int. Conf. on Intelligent and Adaptative Systems and Software Engineering (IASSE-2004) The International Society for Computers and Their Applications (ISCA) 2004 239 244
16. E. Gamma, R. Helm, R. Johnson, and J. Vlissides Design Patterns-Elements of Reusable Object-Oriented Software 1995 Addison-Wesley Reading, MA
17. H. Gomaa Designing Concurrent, Distributed and Real-Time Applications with UML 2000 Addison-Wesley Reading, MA
18. J.G. Hall, M. Jackson, R.C. Laney, B. Nuseibeh, and L. Rapanotti Relating software requirements and architectures using problem frames Proceedings of IEEE International Requirements Engineering Conference (RE′02) 2002 Essen Germany 9 13
19. M. Jackson, and M. Jackson Principles of Program Design 1975 Academic Press London
20. M. Jackson, and M. Jackson System Development 1986 Prentice-Hall
21. M. Jackson, and M. Jackson Software Requirements & Specifications: a Lexicon of Practice, Principles and Prejudices 1995 Addison-Wesley Reading, MA
22. M. Jackson, and M. Jackson Problem Frames: Analyzing and Structuring Software Development Problems 2001 Addison-Wesley Reading, MA
23. L. Lavazza, L. Lavazza, and V.D. Bianco A UML-Based approach for representing problem frames K. Cox J. Hall L. Rapanotti Proc. 1st International Workshop on Advances and Applications of Problem Frames (IWAAPF) 2004 IEEE Press New York
24. Z. Li, J.G. Hall, and L. Rapanotti Reasoning about decomposing and recomposing Problem Frames developments: a case study Proc. 1st International Workshop on Advances and Applications of Problem Frames (IWAAPF) 2004 IEEE Press New York
25. M. Nelson, T. Nelson, P. Alencar, and D. Cowan Exploring problem-frame concerns using formal analysis K. Cox J. Hall L. Rapanotti Proc. 1st International Workshop on Advances and Applications of Problem Frames (IWAAPF) 2004 IEEE Press New York
26. OMG, UML Specification 1.3, 2000, Available at http://www.omg.org/docs/ formal/00-03-01.pdf.
27. Rational, Rational Unified Process© for System Engineering SE 1.0, Technical Report Tp 165, 8/01, 2001.
28. G. Reggio, E. Astesiano, C. Choppy, CASL-LTL: A CASL Extension for Dynamic Reactive Systems Version 1.0- Summary. Technical Report DISI-TR-03-36, DISI - Università di Genova, Italy, 2003, Available at ftp://ftp.disi.unige.it/person/ReggioG/ReggioEtAll03b.ps.
29. M. Shaw, M. Shaw, and D. Garlan Software Architecture. Perspectives on an Emerging Discipline 1996 Prentice-Hall
30. A. van Lamsweerde, and A. van Lamsweerde Goal-Oriented requirements engineering: a roundtrip from research to practice Proceedings of RE'904, 12th IEEE Joint International Requirements Engineering Conference, Kyoto, Sept. 2004, 4-8 2004 (Invited Keynote Paper)
31. J. Warmer, J. Warmer, and A. Kleppe The Object Constraint Language: Precise Modeling with UML 1999 Addison-Wesley Reading, MA
32. P. Ziemann, P. Ziemann, and M. Gogolla OCL extended with temporal logic M. Broy A.V. Zamulin Proc. PSI 2003 Number 2890 in Lecture Notes in Computer Science 2003 Springer Verlag Berlin 351 357