Deriving specifications from requirements through problem reduction

IEE Proceedings: Software

Volumn 153, Issue 5, 2006, Pages 183-198

  Rapanotti, L ^a   Hall, J G ^a   Li, Z ^a  

^a OPEN UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SYSTEMS; PROBLEM ORIENTED LANGUAGES; PROBLEM SOLVING;

PROBLEM-ORIENTED ANALYSIS; SOFTWARE PROBLEMS; SYSTEMATIC TRANSFORMATION;

COMPUTER SOFTWARE;

EID: 33750699667     PISSN: 14625970     EISSN: None     Source Type: Journal    
DOI: 10.1049/ip-sen:20060011     Document Type: Article

References (40)

1. Cox, K., Hall, J.G., and Rapanotti, L.: ' Editorial: a roadmap of problem frames research ', J. Inf. Softw. Technol., 2005, 47, (14), p. 891-902
2. Cox, K., Hall, J.G., and Rapanotti, L.: ' 1st international workshop on advances and applications of problem frames ', Proc. 26th Int. Conf. on Software Engineering (ICSE 2004), Edinburgh, UK, May, 2004, IEEE Computer Society Press, p. 754-755
3. Hall, J.G., Rapanotti, L., Cox, K., and Jin, Z.: ' 2nd international workshop on advances and applications of problem frames ', Proc. 28th Int. Conf. on Software Engineering (ICSE 2006), 2006, ACM Press
4. Jackson, M.A.: ' Software requirements & specifications: a lexicon of practice, principles and prejudices ', (ACM Press, Addison-Wesley Publishing Company, 1995)
5. Jackson, M.: ' The world and the machine (keynote) ', Proc. 17th Int. Conf. on Software Engineering (ICSE'95), 1995, IEEE/ACM
6. Jackson, M.A.: ' Problem analysis using small problem frames ', South African Comput. J., Special Issue on WOFACS98, 1998, 22, p. 47-60
7. Jackson, M.A.: ' Problem Frames: analyzing and structuring software development problem ', 1st (Addison-Wesley Publishing Company, 2001)
8. Zave, P., and Jackson, M.A.: ' Four dark corners of requirements engineering ', ACM Trans. Softw. Eng. Methodol., 1997, 6, (1), p. 1-30 1049-331X
9. Gunter, C.A., Gunter, E.L., Jackson, M., and Zave, P.: ' A reference model for requirements and specifications ', IEEE Softw., 2000, 17, (3), p. 37-43 0740-7459
10. Hall, J.G., Rapanotti, L., and Jackson, M.: ' Problem frame semantics for software development ', J. Softw. Syst. Model., 2005, 4, (2), p. 189-198
11. Hammond, J., Rawlings, R., and Hall, A.: ' Will it work? ', Proc. 5th IEEE Int. Symp. on Requirements Engineering, 2001, IEEE Computer Society Press
12. Jackson, M.A.: ' Some basic tenets of description ', Softw. Syst. Model., 2002, 1, (1), p. 59
13. Hall, J.G., Jackson, M., Laney, R.C., Nuseibeh, B., and Rapanotti, L.: ' Relating software requirements and architectures using problem frames ', Proc. 10th Ann. IEEE Joint Int. Conf. on Requirements Engineering (RE 2002), Essen, Germany, 2002, IEEE Computer Society Press, p. 137-144
14. Rapanotti, L., Hall, J.G., Jackson, M., and Nuseibeh, B.: ' Architecture-driven problem decomposition ', Proc. 12th IEEE Int. Conf. on Requirements Engineering (RE 2004), 2004, IEEE Computer Society, p. 80-89
15. ' Problem-oriented Software Engineering ', Technical Report 2006/10, The Open University, Department of Computing, 2006
16. ' Problem transformations in solving the package router control problem ', Technical Report 2006/07, The Open University, Computing Department, 2006
17. Kleene, S.C.: ' Introduction to metamathematics ', (Van Nostrand, Princeton, NJ, 1964)
18. Bertot, Y., Kahn, G., and Théry, L.: ' Proof by Pointing ', Hagiya, M., Mitchell, J.C., Proceedings of the International Symposium on Theoretical Aspects of Computer Softward, (Springer-Verlag LNCS 789, Sendai, Japan, 1994), p. 141-160, citeseer.ist.psu.edu/bertot94proof.html
19. Farmer, W.M., Guttman, J.D., and Thayer, F.J.: ' Imps: an interactive mathematical proof system ', J. Autom. Reasoning, 1993, 11, (2), p. 653-654 0168-7433
20. Beeson, M.: ' Some applications of Gentzen's proof theory in automated deduction ', Proc. Int. Workshop Extensions of Logic Programming, New York, NY, USA, 1991, Springer-Verlag New York, Inc., p. 101-156
21. Bundy, A.: ' A survey of automated deduction ', Wooldridge, M., Veloso, M., Artificial Intelligence Today, volume 1600 of LNAI, (Springer-Verlag, Berlin, Heidelberg, 1999), p. 153-174
22. OMG. Unified Modeling Language (UML), version 2.0. http://www.omg.org/ technology/documents/formal/uml.htm
23. Hall, J.G., and Rapanotti, L.: ' A reference model for requirements engineering ', Proc. 11th IEEE Int. Conf. on Requirements Engineering (RE 2003), Monterey, California, 2003, IEEE Computer Society Press, p. 181-187
24. Morgan, C., Vickers, T. (Eds.): ' On the refinement calculus ', (Springer-Verlag New York, Inc., Secaucus, NJ, USA, 1992)
25. Barker, S.: ' The elements of logic ', (McGraw-Hill, 1989)
26. Peng, Y., and Reggia, J.: ' Abductive inference models for diagnostic problem solving ', (Springer Verlag, 1990)
27. Moffett, J.D., Hall, J.G., Coombes, A., and McDermid, J.A.: ' A model for a causal logic for requirements engineering ', J. Requir. Eng., 1996, 1, (1), p. 27-46
28. van Lamsweerde, A., and Willemet, L.: ' Inferring declarative requirements specifications from operational scenarios ', IEEE Trans. Softw. Eng., 1998, 24, (12), p. 1089-1114 10.1109/32.738341 0098-5589
29. Letier, E., and van Lamsweerde, A.: ' Deriving operational software specifications from system goals ', ACM SIGSOFT Softw. Eng. Notes, 2002, 27, (6), p. 119-128
30. Manna, Z., and Pnueli, A.: ' The temporal logic of reactive and concurrent systems ', (Springer-Verlag, 1992)
31. Alexander, I., Maiden, N. (Eds.) ' Scenarios, stories, use cases through the systems development life-cycle ', (Wiley, 2004)
32. Darimont, R., and Lamsweerde, A.V.: ' Formal refinement patterns for goal-driven requirements elaboration ', ACM SIGSOFT Softw. Eng. Notes, 1996, 21, (6), p. 179-190
33. Castro, J., Kolp, M., and Mylopoulos, J.: ' Towards requirements-driven information systems engineering: the TROPOS project ', Inf. Syst., 2002, 27, (6), p. 365-389
34. Larman, C.: ' Applying UML and patters ', 2nd (Prentice Hall, 2002)
35. Robertson, S., and Robertson, J.: ' Mastering the requirements process ', (Addison Wesley, Harlow, England, 1999)
36. Cockburn, A.: ' Writing effective use cases ', (Addison-Wesley, 2001)
37. Johnson, W.: ' Deriving specifications from requirements ', Proc. ICSE-10, 1988, IEEE CS Press, p. 428-438
38. Johnson, W.: ' Overview of the knowledge-based specification assistant ', Proc. 2nd Knowledge-Based Software Assistant Conf., 1987
39. Jackson, M.A., and Zave, P.: ' Deriving specifications from requirements: an example ', Proc. 17th Int. Conf. on Software Engineering (ICSE'95), 1995, ACM Press, p. 15-24
40. Seater, R., and Jackson, D.: ' Problem frame transformations: deriving specifications from requirements ', Proc. 2nd Int. Workshop on Advances and Applications of Problem Frames, Shanghai, China, 2006