Composing requirements using problem frames

Proceedings of the IEEE International Conference on Requirements Engineering

Volumn , Issue , 2004, Pages 122-133

  Laney, Robin ^a   Barroca, Leonor ^a   Jackson, Michael ^a   Nuseibeh, Bashar ^a  

^a OPEN UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPOSITION FRAMES; DOMAIN PROPERTIES; PROBLEM FRAMES; SUB-PROBLEMS;

CONTROL EQUIPMENT; ITERATIVE METHODS; MATHEMATICAL MODELS; PROBLEM SOLVING; REAL TIME SYSTEMS; SEMANTICS;

REQUIREMENTS ENGINEERING;

EID: 17044383025     PISSN: 1090705X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICRE.2004.1335670     Document Type: Conference Paper

References (26)

1. R. Allen and D. Garlan, "A Formal Basis for Architectural Connectors", ACM Transactions On Software Engineering and Methodology, 6(3), 1997, pp. 213-249.
2. J. Bacon, Concurrent Systems, Addison Wesley, 2003.
3. E. Baniassad and S. Clarke, "Theme: An Approach for Aspect-Oriented Analysis and Design", In Proceedings of the International Conference on Software Engineering, 2004.
4. L. Barroca, Fiadeiro J.L., M. Jackson, R. Laney and B. Nuseibeh, "Problem Frames: a Case for Coordination", Sixth International Conference on Coordination Models and Languages, 2004.
5. D. Bjørner, "Towards Design Calculi for Requirements Engineering and Software Design", In From Object-orientation to Formal Methods: Dedicated to the Memory of Ole-Johan Dahl, volume 2635 of Lecture Notes in Computer Science, page 21. Springer-Verlag, August 2003. Editors: O.Owe, S.Krogdahl, and T.Lyche.
6. L. Chung, B.A. Nixon, E.Yu, J. Mylopoulos. Non-Functional Requirements in Software Engineering. Kluwer Academic Publishers, 2000.
7. T Elrad, R. Filman and A. Bader (Guest editors). Special Issue on Aspect Oriented Programming. Communications of the ACM, 44(10), October 2001.
8. J. L. Fiadeiro, A. Lopes, M. Wermelinger, "A Mathematical Semantics for Architectural Connectors", in Generic Programming, R.Backhouse and J.Gibbons (eds), LNCS 2793, Springer-Verlag, 2003, pp. 190-234.
9. M.S. Feather, S. Fickas, A. van Lamsweerde, C. Ponsard, "Reconciling System Requirements and Runtime Behaviour", Proceedings of the 9th International Workshop on Software Specification and Design, 98.
10. S. Fickas and M. Feather. "Requirements Monitoring in Dynamic Environments". In Proceedings of the Second IEEE International Symposium on Requirements Engineering, York, England, Computer Society Press, Mar. 1995.
11. Finkelstein and I. Somerville (eds), special issue of the BCS/IEE Software Engineering Journal on "multiple perspectives", Vol II(1), Jan 96.
12. C. Ghezzi, and B. Nuseibeh (eds) special issues on inconsistency management in IEEE Transactions on Software Engineering, Vol 24(11), Nov 98.
13. C. Ghezzi, B. Nuseibeh (eds) special section on inconsistency management in IEEE Trans. on Software Engineering, Vol 25(6), Nov 99.
14. J.G. Hall, M. Jackson, R.C. Laney, B. Nuseibeh, L. Rapanotti, "Relating Software Requirements and Architectures using Problem Frames", IEEE Proceedings of RE 2002, 2002.
15. J. Grundy, "Aspect-Oriented Requirements Engineering for Component-based software systems". In Fourth IEEE International Symposium on Requirements Engineering (RE'99). Limerick, Ireland: IEEE computer Society Press, 7-11 Jun 1999.
16. Ian J Hayes, Michael A Jackson, Cliff B Jones, "Determining the specification of a control system from that of its environment", in Keijiro Araki, Stefani Gnesi and Dino Mandrioli eds, Formal Methods: Proceedings of FME2003, Springer Verlag, Lecture Notes in Computer Science 2805, 2003, p.p. 154-169.
17. M. Jackson, Problem Frames, ACM Press Books, Addison Wesley, 2001.
18. M.Jackson, "Why Software Writing is Difficult and Will Remain So", in J.Fiadeiro, J.Madey and A.Tarlecki (eds), Information Processing Letters Special Issue in Honour of Wlad Turski 88(1-2), 2003.
19. A. van Lamsweerde, R. Darimont, E. Letier, Managing Conflicts in Goal-Driven Requirements Engineering, IEEE Transactions on Software Engineering, Special Issue on Managing Inconsistency in Software Development, November 1998.
20. th International Symposium on Requirements Engineering (RE'01), pp249-261, IEEE CS Press, 2001.
21. B.A. Nuseibeh, "Weaving Together Requirements and Architecture", IEEE Computer 34 (3), March 2001, pp. 115-117.
22. B. Nuseibeh, S. Easterbrook and A. Russo, Making Inconsistency Respectable in Software Development, Journal of Systems and Software, 58(2), September 2001, Elsevier Science Publishers, pp. 171-180.
23. A. Rashid, A.M.D. Moreira, and J Araujo. "Modularisation and Composition of Aspectual Requirements", Aspect Oriented Software Development Conference, 2003.
24. William N. Robinson, Suzanne D. Pawlowski, Vecheslav Volkov, Requirements interaction management. ACM Compututing Survey, 35(2) (2003), pp. 132-190.
25. P. Zave, "Feature Interactions and Formal Specifications in Telecommunications", IEEE Computer XXVI (8), 1993, pp. 20-30.
26. P. Zave, M. Jackson, "Conjunction as Composition", ACM Transactions On Software Engineering and Methodology 2(4), 1993, pp. 371-411.