A roadmap of problem frames research

Information and Software Technology

Volumn 47, Issue 14, 2005, Pages 891-902

  Cox, Karl ^a   Hall, Jon G ^b   Rapanotti, Lucia ^b  

^a CSIRO   (Australia)

^b OPEN UNIVERSITY   (United Kingdom)

Author keywords

Domain modelling; Literature review; Problem frames; Requirements engineering

Indexed keywords

PROFESSIONAL ASPECTS; REQUIREMENTS ENGINEERING; TECHNICAL PRESENTATIONS;

DOMAIN MODELING; LITERATURE REVIEW; PROBLEM FRAMES;

SOFTWARE ENGINEERING;

EID: 28044440540     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.infsof.2005.08.003     Document Type: Editorial

References (89)

1. Agility (2004). Agile alliance. http://www.agilealliance.org/home. Last accessed November 2004.
2. R. Allen, and D. Garlan A formal basis for architectural connectors ACM Transactions On Software Engineering and Methodology 6 3 1997 213 249
3. L. Barroca, J. Fiadeiro, M.A. Jackson, R. Laney, B. Nuseibeh, Problem frames: A case for coordination, in:. (Eds.), Proceedings of the 6th International Conference on Coordination Models and Languages, Lecture Notes in Computer Science, vol. 2949, 2004,. pp. 5-19
4. L. Bass, P. Clements, and R. Kazman Software Architecture in Practice 1999 Addison Wesley Longman, Inc.
5. K. Beck Extreme Programming Explained: Embrace Change 1999 Addison-Wesley
6. D. Bjørner, S. Koussobe, R. Noussi, and G. Satchok Michael Jackson's Problem Frames: Towards methodological principles of selecting and applying formal software development techniques and tools L. ShaoQi M. Hinchley Proceedings of the International Conference on Formal Engineering Methods ICFEM '97 1997 IEEE Computer Society Press
7. S. Bleistein, K. Cox, and J. Verner Modeling Business Strategy in e-Business Systems Requirements Engineering. Proceedings of the 5th International Workshop on Conceptual Modeling Approaches for e-Business, Lecture Notes in Computer Science, Shanghai, China. 9th November 2004, pp. 617-628
8. S. Bleistein, K. Cox, J. Verner, Problem frames approach for e-business systems, in: K. Cox, J.G. Hall, L. Rapanotti,. (Eds.), Proceedings of the 1st International Workshop on Applications and Advances of Problem Frames, vol. 24, Edinburgh, IEE, 2004, pp. 7-15
9. S. Bleistein K. Cox J. Verner (2005). Validating Strategic Alignment of Organisational IT Requirements using Goal Modeling and Problem Diagrams, Journal of Systems and Software (in press).
10. S. Bleistein, K. Cox, J. Verner, Requirements Engineering for e-Business Systems: Intergrating Jackson Context Diagrams with Goal Modelling and BPM, in:. (Eds.), Proceedings of the 11th International Asia-Pacific Software Engineering Conference (APSEC 2004), 2004, pp. 410-417
11. Bleistein, S., Cox, K., and Verner, J. Strategic alignment in requirements analysis for organizational IT: an integrated approach. In Proceedings of the 20th ACM Symposium on Applied Computing, Santa Fe, USA. 13-17 March 2005, pp. 1300-1307.
12. I. Bray An Introduction to Requirements Engineering first ed. 2002 Pearson Addison Wesley
13. Bray, I. (2004). Experiences of teaching Problem Frame based requirements engineering to undergraduates. In K. Cox, J.G. Hall, and L. Rapanotti, editors, Proceedings of the 1st International Workshop on Applications and Advances of Problem Frames, pages 17-20, Edinburgh. IEE. 24 May 2004.
14. Bray, I. and Cox, K. (2003). The Simulator: Another elementary problem frame? In B. Regnell and E. Kamsties, editors, Proceedings of the 9th International Workshop on Requirements Engineering: Foundation for Software Quality (REFSQ'03), pages 121-4, Velden, Austria. Essener Informatik Beitrage.
15. Brier, J., Rapanotti, L., and Hall, J.G. (2004). Problem Frames for socio-technical systems: predictability and change. In K. Cox, J.G. Hall, and L. Rapanotti, editors, Proceedings of the 1st International Workshop on Applications and Advances of Problem Frames, pages 21-25, Edinburgh. IEE. 24 May 2004.
16. C. Choppy, and G. Reggio Using CASL to specify the requirements: a problem specific approach Proceedings of the 14th International Workshop on Algebraic Development Techniques WADT'99, Bonas, France. 15-18 September 1999 1999
17. Choppy, C. and Reggio, G. (2004). A UML-Based method for the Commanded Behaviour frame. In K. Cox, J.G. Hall, and L. Rapanotti, editors, Proceedings of the 1st International Workshop on Applications and Advances of Problem Frames, pages 27-34, Edinburgh. IEE. 24 May 2004.
18. A. Cockburn Writing Effective Use Cases 2001 Addison-Wesley
19. CoFI (1999). CASL the common algebraic specification language summary, version 1. Technical report, The Common Framework Initiative for Algebraic Specification and Development. http://www.brics.dk/Projects/CoFI/.
20. S. Cook, and J. Daniels Designing Object Systems: Object-Oriented Modeling with Syntropy 1994 Prentice-Hall
21. Cox, K. and Phalp, K. (2003). From process model to problem frame - a position paper. In B. Regnell and E. Kamsties, editors, Proceedings of the 9th International Workshop on Requirements Engineering: Foundation for Software Quality (REFSQ'03), pages 113-6, Velden, Austria. Essener Informatik Beitrage.
22. K. Cox, K. Phalp, A. Aurum, S. Bleistein, and J. Verner Connecting Role Activity Diagrams to the Problem Frames approach Proceedings of the 9th Australian Workshop on Requirements Engineering AWRE'04, Adelaide. 6-7 December 2004
23. Cox, K., Phalp, K., Bleistein, S., and Verner, J. (2005). Deriving requirements from process models via the Problem Frames approach. Information and Software Technology 47(5), pp. 319-337.
24. Delannay, G. (2002). A meta-model of Jackson's Problem Frames. Technical report, University of Namur.
25. M. Fowler Analysis Patterns: Reusable Object Models Object Technology Series 1997 Addison-Wesley
26. E. Gamma, R. Johnson, J. Vlissides, and R. Helm DesignPatterns: Elements of Reusable Object-Oriented Software 1995 Addison-Wesley
27. GRL (2004). Goal-oriented requirements language. http://www.cs.toronto. edu/km/grl/. Last accessed November, 2004.
28. C.A. Gunter, E.L. Gunter, M. Jackson, and P. Zave A reference model for requirements and specifications IEEE Software 17 3 2000 37 43
29. C. Haley Using problem frames with distributed architectures: A case for cardinality on interfaces Proceedings of the 2nd International Workshop from Software Requirements to Architectures STRAW'03, Portland, Oregon. 9 May 2003
30. Haley, C., Jackson, M.A., Laney, R., and Nuseibeh, B. (2003). An example using problem frames: Analysis of a lighting control system. Technical Report 2003/18, Department of Computing, The Open University.
31. C. Haley, R. Laney, and B. Nuseibeh Using problem frames and projections to analyze requirements for distributed systems B. Regnell E. Kamsties V. Gervasi Proceedings of the 10th International Workshop on Requirements 2004
32. Hall, J.G. and Rapanotti, L. (2003). A reference model for requirements Engineering. In Proceedings of the 11th IEEE International Conference on Requirements Engineering (RE'03), pages 181-187, Monteray, California. IEEE.
33. J.G. Hall, and L. Rapanotti Problem Frames for Socio-Technical Systems J. Mate A. Silva Requirements Engineering for Socio-Technical Systems 2004 Idea Group, Inc.
34. J.G. Hall, M.A. Jackson, R. Laney, B. Nuseibeh, and L. Rapanotti Relating software requirements and architectures using problem frames Proceedings of the 10th IEEE Joint International Conference of Requirements Engineering RE'02 2002 IEEE Computer Society Press Essen, Germany pp. 137-144
35. Hall, J.G., Rapanotti, L., and Jackson, M.A. (2005). Problem frame semantics for software development. Journal of Software and Systems Modelling. 4(2), pp. 189-198.
36. Jackson, D. (2001). Micromodels of software: Lightweight modelling and analysis with alloy. Software Design Group MIT Lab for Computer Science. http://alloy.mit.edu/reference-manual.pdf.
37. D. Jackson, and M.A. Jackson Problem decomposition for reuse Software Engineering Journal 11 1 1996 19 30
38. M.A. Jackson Principles of Program Design 1975 Academic Press
39. M.A. Jackson System Development 1983 Prentice-Hall
40. M.A. Jackson Description is our business Proceedings of the VDM Conference, Nordwijkerhout. 21-25 October 1991
41. M.A. Jackson Problems, methods and specialisation IEEE Software 11 6 1994 57 62
42. M.A. Jackson Problems, methods and specialization Software Engineering Journal 9 6 1994 249 255
43. M.A. Jackson. Problems and requirements, In Proceedings of the 2nd IEEE International Symposium on Requirements Engineering (RE'95), pages 2-8, York, UK. ACM Press., 27-29 1995.
44. M.A. Jackson Software Requirements & Specifications: a lexicon of practice, principles and prejudices 1995 ACM Press. Addison-Wesley Publishing
45. M.A. Jackson. The world and the machine, In Proceedings of the 17th International Conference on Software Engineering (ICSE'95), pages 282-292, Seatle, USA. IEEE/ACM., 23-30 1995.
46. M.A. Jackson. Connecting viewpoints by shared phenomena, In Viewpoints' 96: International Workshop on Multiple Perspectives in Software Development, pages 180-183, San Francisco, USA. ACM., 14-15 1996.
47. M.A. Jackson The meaning of requirements Annals of Software Engineering 3 1997 5 21
48. Jackson, M.A. (1997b). Problem complexity. In Proceedings of the 3rd International Conference on Engineering of Complex Computer Systems (ICECSS'97), pages 239-248, Lake Como, Italy. IEEE Comp Soc Press.
49. M.A. Jackson Defining a discipline of description IEEE Software 15 5 1998 14 17
50. M.A. Jackson A discipline of description Proceedings of CEIRE'98, Special Issue of Requirements Engineering Journal 3 2 1998 73 78
51. M.A. Jackson Formal methods and traditional engineering Journal of Systems and Software, special issue on Formal Methods Technology Transfer 40 3 1998 191 194
52. M.A. Jackson Will there ever be software engineering? IEEE Software 1998 36 39
53. M.A. Jackson Problem analysis using small problem frames Proceedings of WOFACS'98, Special Issue of the South African Computer Journal 22 1999 47 60
54. M.A. Jackson Problem analysis and structure Proceedings of NATO Summer School on Engineering Theories of Software Construction, Marktoberdorf, Munich. 25 July-6 August 2000
55. Jackson, M.A. (2000). The real world; in millennial perspectives in computer science. In J. Davies, B. Roscoe, and J. Woodcock, editors, Proceedings of the 1999 Oxford-Microsoft symposium in honour of Sir Antony Hoare, pages 157-173. Palgrave.
56. M.A. Jackson Problem Frames: Analyzing and Structuring Software Development Problem first ed. 2001 Addison-Wesley Publishing Company
57. M.A. Jackson Problem structures and solution structures: a position paper Proceedings of the International Workshop on Requirements Engineering IWRE'01, Imperial College, London. 25 April 2001
58. M.A. Jackson Some basic tenets of description Software and Systems Modeling 1 1 2002 5 9
59. M.A. Jackson Why software writing is difficult and will remain so Information Processing Letters 88 1-2 2003 13 15
60. M.A. Jackson, and P. Zave Domain descriptions Proceedings of the 1st IEEE International Symposium on Requirements Engineering 1993 IEEE CS Press pp. 56-64
61. Jeary, S. and Phalp, K. (2004). On the applicability of problem frames to web-based business applications. In K. Cox, J.G. Hall, and L. Rapanotti, editors, Proceedings of the 1st International Workshop on Applications and Advances of Problem Frames, pages 35-38, Edinburgh. IEE. 24 May 2004.
62. S. Konrad, and B.H.C. Cheng Requirements patterns for embedded systems Proceedings of the 10th Anniversary IEEE Joint International Conference on Requirements Engineering 2002 IEEE Computer Society pp. 127-136
63. B. Kovitz Practical Software Requirements; A Manual of Content and Style 1999 Manning
64. P. Kruchten The Rational Unified Process: An Introduction Object Technology Series 1999 Addison-Wesley
65. R. Laney, L. Barroca, M.A. Jackson, and B. Nuseibeh Composing requirements using problem frames Proceedings of the 12th Int. Conf. on Requirements Engineering RE'04 2004 IEEE Computer Society Press Kyoto, Japan pp. 113-122
66. Lavazza, L. and Del Bianco, V. (2004). A UML-based approach for representing problem frames. In K. Cox, J.G. Hall, and L. Rapanotti, editors, Proceedings of the 1st International Workshop on Applications and Advances of Problem Frames, pages 39-48, Edinburgh. IEE. 24 May 2004.
67. L. Lavazza, S. Morasca, and A. Morzenti A dual language approach to the development of timecritical systems with uml Proceedings of the International Workshop on Test and Analysis of Component Based Systems TACoS, Barcelona, Spain. March 2004
68. Li, Z., Hall, J.G., and Rapanotti, L. (2004). Reasoning about decomposing and recomposing problem frames developments: a case study. In K. Cox, J.G. Hall, and L. Rapanotti, editors, Proceedings of the 1st International Workshop on Applications and Advances of Problem Frames, pages 49-53, Edinburgh. IEE. 24 May 2004.
69. Lin, L., Nuseibeh, B., Ince, D., Jackson, M.A., and Moffett, J. (2003). Introducing abuse frames for analysing security requirements. In Proceedings of the 11th International Conference on Requirements Engineering (RE'03), pages 371-2, Monterey, California.
70. L. Lin, B. Nuseibeh, D. Ince, and M.A. Jackson Using abuse frames to bound the scope of security problems Proceedings of the 12th IEEE International Requirements Engineering Conference RE'04 2004 IEEE Computer Society pp. 354-355
71. Lin, Y. (2004). Applying problem frames to modeling 'abstraction' concepts. In K. Cox, J.G. Hall, and L. Rapanotti, editors, Proceedings of the 1st International Workshop on Applications and Advances of Problem Frames, pages 55-59, Edinburgh. IEE. 24 May 2004.
72. Nelson, M., Cowan, D., and Alencar, P. (2001). Geographic problem frames. In Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE'01), pages 306-7, Toronto, Canada.
73. Nelson, M., Nelson, T., Alencar, P., and Cowan, C. (2004). Exploring problem frame concerns using formal analysis. In K. Cox, J.G. Hall, and L. Rapanotti, editors, Proceedings of the 1st International Workshop on Applications and Advances of Problem Frames, pages 61-68, Edinburgh. IEE. 24 May 2004.
74. B. Nuseibeh Weaving together requirements and architectures IEEE Computer 34 3 2001 115 117
75. Ourusoff, N. (2004). Towards a CASE tool for Jackson's JSP, JSD and Problem Frames. In K. Cox, J.G. Hall, and L. Rapanotti, editors, Proceedings of the 1st International Workshop on Applications and Advances of Problem Frames, pages 69-73, Edinburgh. IEE. 24 May 2004.
76. K. Phalp, and K. Cox Picking the right problem frame - an empirical study Empirical Software Engineering Journal 5 3 2000 215 228
77. Rapanotti, L., Hall, J.G., Jackson, M.A., and Nuseibeh, B. (2004). Architecture-driven problem decomposition. In Proceedings of the 12th IEEE International Requirements Engineering Conference (RE'04), pages 73-82, Kyoto, Japan. IEEE.
78. B. Selic, G. Gullekson, and P. Ward Real-Time Object-Oriented Modeling 1994 Wiley
79. R.D. Stacey Dynamic Strategic Management for the 1990s 1991 Kogan Page
80. A. Sutcliffe The Domain Theory: Patterns for Knowledge and Software Reuse 2002 Lawrence Erlbaum Associates
81. A. Sutcliffe, and N. Maiden The domain theory for requirements engineering IEEE Transactions on Software Engineering 24 3 1998 174 196
82. P. Taylor. Problem frames and object-oriented software architecture, In Proceedings of 37th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS-37'00), pages 70-81, Sydney, Australia. IEEE., 20-23 2000.
83. J. Tomayko Adapting problem frames to extreme programming Proceedings of the XP Universe Conference, Raleigh, NC 2001
84. A. van Lamsweerde. Goal-oriented requirements engineering: A guided tour, In Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE2001), pages 249-263, Toronto., 27-31 2001.
85. W.G. Vincenti What Engineers Know and how they know it: Analytical studies from Aeronautical History 1990 The Johns Hopkins University
86. Weiringa, R., Gordijn, J., and van Eck, P. (2004). Value framing: A prelude to software problem framing. In K. Cox, J.G. Hall, and L. Rapanotti, editors, Proceedings of the 1st International Workshop on Applications and Advances of Problem Frames, pages 75-84, Edinburgh. IEE. 24 May 2004.
87. R.J. Wieringa. The declarative problem frame: Designing systems that create and use norms, In Proceedings of the 10th International Workshop on Software Specification and Design, pages 75-85, San Diego, USA. IEEE Computer Society., 5-7 2000.
88. E.S. Yu Modeling organizations for information systems requirements engineering Proceedings 1st IEEE International Symposium on Requirements Engineering 1993 pp. 34-41
89. P. Zave, and M.A. Jackson Four dark corners of requirements engineering ACM Transactions on Software Engineering and Methodology 6 1 1997