Requirement progression in problem frames: Deriving specifications from requirements

Requirements Engineering

Volumn 12, Issue 2, 2007, Pages 77-102

  Seater, Robert ^a   Jackson, Daniel ^a   Gheyi, Rohit ^a,b  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

^b MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FREQUENCY DOMAIN ANALYSIS; INTERCONNECTION NETWORKS; MATHEMATICAL TRANSFORMATIONS; NUMERICAL ANALYSIS; TIME DOMAIN ANALYSIS;

PROBLEM FRAME DESCRIPTION; REQUIREMENT PROGRESSION;

REQUIREMENTS ENGINEERING;

EID: 34248205240     PISSN: 09473602     EISSN: 1432010X     Source Type: Journal    
DOI: 10.1007/s00766-007-0048-y     Document Type: Conference Paper

References (37)

1. Bell TE, Thayer TA (1967) Software requirements: Are they really a problem? In: Proceedings of the 2nd international conference on software engineering (ICSE'67), IEEE Society Press, pp 61-68
2. Greenspan S, Mylopoulos J, Borgida A (1994) On formal requirements modeling languages: RML revisited. In: Proceedings of the 16th international conference on software engineering (ICSE'94), IEEE Computer Society Press, pp 135-147
3. Leveson NG (1995) Safeware: System safety and computers. Addison-Wesley Longman Publishing Co., Inc., Boston
4. Jackson M (1995) Software requirements and specifications: A lexicon of practice, principles and prejudice. Addison-Wesley, Reading
5. Jackson M (2001) Problem frames: Analyzing and structuring software development problems. Addison-Wesley Longman Publishing Co., Inc, Boston
6. Haley CB, Laney RC, Nuseibeh B (2004) Using problem frames and projections to analyze requirements for distributed systems. In: Regnell B, Kamsties E, Gervasi V (eds) Proceedings of the 10th international workshop on requirements engineering: Foundation for software quality (REFSQ'04), vol 9. Essener Informatik Beiträge, pp 203-217
7. Jackson M (1999) Problem analysis using small problem frames. S Afr Comput J 22:47-60
8. Jackson MA, Hall JG, Rapanotti L (2006) Problem oriented software engineering. Technical Report 2006/10, Department of Computing, The Open University
9. Laney RC, Barroca L, Jackson M, Nuseibeh B (2004) Composing requirements using problem frames. In: Proceedings of the 12th IEEE international requirements engineering conference (RE'04). IEEE Computer Science Press, pp 121-131
10. Rapanotti L, Hall JG, Li Z (2006) Deriving specifications from requirements through problem reduction. In: IEE proceedings-software, vol 153: Issue 5, pp 183-198, October 2006. ISSN: 1462-5970
11. Jackson D (2006) Software abstractions: Logic, language, and analysis. MIT Press, Cambridge
12. Software Design Group (2007) The Alloy Analyzer. website http:// www.alloy.mit.edu
13. Jackson D, Shlyakhter I, Sridharan M (2001) A micromodularity mechanism. In: Proceedings of the 8th European software engineering conference/ proceedings of the 9th ACM SIGSOFT sypmosium on the foundations of software engineering (ESEC/FSE'01), September 2001, Vienna, Austria, pp 62-73
14. Rumbaugh J, Blaha M, Premerlani W, Eddy F, Lorensen W (1991) Object-oriented modeling and design. Prentice-Hall, Inc., Upper Saddle River, NJ
15. Ricks RC, Berger ME, Holloway EC, Goans RE (2000) REACTS radiation accident registry: Update of accidents in the United States. International Radiation Protection Association
16. Leveson NG, Turner C (1993) An investigation of the Therac-25 accidents. IEEE Comput 7(26):18-41
17. Food and Drug Administration. FDA statement on radiation overexposures in panama. http://www.fda.gov/cdrh/ocd/panamaradexp.html
18. Jackson D, Jackson M Rigorous development of complex fault tolerant systems. In: Separating concerns requArements analysis: an example. Springer, New York (to appear)
19. Air Force, Space Division (1987) System safety handbook for the acquisition manager, January 1987, SDP 127-1
20. Ozog H (1985) Hazard identification, analysis, and control. Hazard Prevention, pp 11-17
21. Leveson NG (2003) A new approach to hazard analysis for complex systems. In: International Conference of the System Safety Society, August 2003
22. Leveson NG (2004) A systems-theoretic approach to safety in software-intensive systems, vol 1, pp 66-86
23. Eric S.K. Yu. Towards modelling and reasoning support for early phase requirements engineering. In: Proceedings of the 3rd IEEE international symposium on requirements engineering (RE'97), Jan 1997, Washington DC, USA, pp 226-235
24. Dardenne A, van Lamsweerde A, Stephen F (1993) Goal-directed requirements acquisition. Sci Comput Program 20(1-2):3-50
25. Darimont R, van Lamsweerde A (1996) Formal refinement patterns for goal-driven requirements elaboration. In: Proceedings of the 4th international symposium on the foundations of software engineering (FSE'96), Oct 1996, San Francisco, pp 179-190
26. Letier E, van Lamsweerde A (2002) Deriving operational software specifications from system goals. In: Proceedings of the 10th international symposium on foundations of software engineering (FSE'02), pp 119-128
27. Parnas DL, Madey J (1991) Functional documentation for computer systems engineering, vol 2. Technical report CRL 237, McMaster University, Hamilton, Ontario
28. Thompson JM, Heimdahl MPE, Miller SP (1999) Specification based prototyping for embedded systems. In: Proceedings of the 6th European software engineering conference/proceedings of the 7th ACM SIGSOFT symposium on the foundations on software engineering (ESEC/FSE'99), September 1999, number 1687 in LNCS, pp 163-179
29. Johnson WL (1988) Deriving specifications from requirements. In: Proceedings of the 10th international conference on software engineering (ICSE'88). IEEE Computer Society, pp 428-438
30. Jackson M, Zave P (1995) Deriving specifications from requirements: An example. In: Proceedings of the 17th international conference on software engineering (ICSE'95), ACM Press, New York, pp 15-24
31. Rapanotti L, Hall JG, Li Z (2006) Problem reduction: A systematic technique for deriving specifications from requirements. Technical report 2006/02, Department of Computing, The Open University, Feb 2006. ISSN 1744-1986
32. Li Z, Hall JG, Rapanotti L (2005) A constructive approach to problem frame semantics. Technical report 2004/26, Department of Computing, The Open University
33. Li Z, Hall JG, Rapanotti L (2006) From requirements to specifications: A formal approach. In: Proceedings of the 2nd international workshop on applications and advances in problem frames (IWAAPF'06), co-located with the 28th international conference on software engineering (ICSE'06), ACM Press, Shanghai, China, p 65
34. Mannering D, Hall JG, Rapanotti L (2006) Relating safety requirements and system design through problem oriented software engineering. Technical report 2006/11, Department of Computing, The Open University
35. Mannering D, Hall JG, Rapanotti L (2007) A problem-oriented approach to normal design for safety critical systems. In: Proceedings of fundamental approaches to software engineering (FASE'07). European joint conferences on theory and practice of software (ETAPS'07), 24 March-1 April 2007, Braga, Portugal
36. Strunk EA, Knight JC (2006) The essential synthesis of problem frames and assurance cases. In: Proceedings of the 2nd international workshop on applications and advances in problem frames (IWAAPF'06), co-located with the 28th international conference on software engineering (ICSE'06), May 2006. ACM Press, Shanghai, China, pp 81-86
37. Seater R, Jackson D (2006) Requirement progression in problem frames applied to a proton therapy system. In: Proceedings of the 14th IEEE international requirements engineering conference (RE'06), Minneapolis, MN, September 2006