Problem frames: A case for coordination

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2949, Issue , 2004, Pages 5-19

  Barroca, L ^a   Fiadeiro, J L ^b   Jackson, M ^a   Laney, R ^a   Nuseibeh, B ^a  

^a OPEN UNIVERSITY   (United Kingdom)

^b UNIVERSITY OF LEICESTER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTERS;

DECOMPOSITION STRUCTURES; PROBLEM ANALYSIS; PROBLEM FRAMES; PROBLEM FRAMES APPROACH; REPRESENTATION SCHEMES;

ARTIFICIAL INTELLIGENCE;

EID: 28044437929     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24634-3_4     Document Type: Article

References (26)

1. R. Allen and D. Garlan, "A Formal Basis for Architectural Connectors", ACM TOSEM, 6(3), 1997, 213-249.
2. L.F. Andrade and J.L. Fiadeiro, "Interconnecting Objects via Contracts", in R. France and B. Rumpe (eds), UML'99 - Beyond the Standard, LNCS 1723, Springer-Verlag 1999, 566-583.
3. L.F. Andrade and J.L. Fiadeiro, "Architecture Based Evolution of Software Systems", in M. Bernardo & P. Inverardi (eds), Formal Methods for Software Architectures, LNCS 2804, Springer Verlag 2003, 148-181.
4. L.F. Andrade, J.L. Fiadeiro, A. Lopes and M. Wermelinger, "Architectural Techniques for Evolving Control Systems", in Formal Methods for Railway Operation and Control Systems, G. Tarnai & E. Schnieder (eds), L'Harmattan Press 2003.
5. D. Beny, R. Kazman and R. Wieringa (eds), Proceedings of Second International Workshop from Software Requirements to Architectures (STRAW'03), Portland, USA, 2003.
6. J. Castro and J. Kramer (eds), Proceedings of First International Workshop from Software Requirements to Architectures (STRAW'01), Toronto, Canada, 2001.
7. L. Chung, B.A. Nixon, E. Yu and J. Mylopoulos. Non-Functional Requirements in Software Engineering. Kluwer Academic Publishers, 2000.
8. T. Elrad, R. Filman and A. Bader (Guest editors). Special Issue on Aspect Oriented Programming. Communications of the ACM 44(10) 2001.
9. J.L. Fiadeiro, A. Lopes and M. Wermelinger, "A Mathematical Semantics for Architectural Connectors", in Generic Programming, R. Backhouse and J. Gibbons (eds), LNCS 2793, Springer-Verlag 2003, 190-234.
10. D. Gelernter and N. Carriero, "Coordination Languages and their Significance", Communications ACM 35(2), 1992, 97-107.
11. J. Grundy, "Aspect-Oriented Requirements Engineering for Component-based software systems", in Fourth IEEE International Symposium on Requirements Engineering (RE'99). IEEE Computer Society Press 1999.
12. 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.
13. M. Jackson, Problem Frames: Analysing and Structuring Software Development Problems, Addison Wesley 2000.
14. M. Jackson, "Some Basic Tenets of Description", Software System Modelling 1, 2002, 5-9.
15. 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.
16. G. Koutsoukos, J. Gouveia, L. Andrade and J.L. Fiadeiro, "Managing Evolution in Telecommunications Systems", in New Developments on Distributed Applications and Interoperable Systems, K. Zielinski, K. Geihs and A. Laurentowski (eds), Kluwer Academic Publishers 2001; 133-139.
17. G. Koutsoukos, T. Kotridis, L. Andrade, J.L. Fiadeiro, J. Gouveia and M. Wermelinger, "Coordination technologies for business strategy support: a case study in stock-trading", in R. Corchuelo, A. Ruiz and M. Toro (eds), Advances in Business Solutions, Catedral Publicaciones 2002, 45-56.
18. th International Symposium on Requirements Engineering (RE'01), IEEE Computer Society Press 2001, 249-261.
19. M. Lehman, "Uncertainty in Computer Application", Communications ACM 33(5), 1990, 584-586
20. J. Magee and J. Kramer, "Dynamic Structure in Software Architectures", in 4th Symp. on Foundations of Software Engineering, ACM Press 1996, 3-14.
21. Z. Manna and A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems, Springer-Verlag 1991.
22. B.A. Nuseibeh, "Weaving Together Requirements and Architecture", IEEE Computer 34 (3):115-117, March 2001.
23. D. Perry and A. Wolf, "Foundations for the Study of Software Architectures", ACM SIGSOFT Software Engineering Notes 17(4), 1992, 40-52.
24. A. Rashid, A. Moreira, and J. Araujo, "Modularisation and Composition of Aspectual Requirements", Aspect Oriented Software Development 2003.
25. P. Zave, "Feature Interactions and Formal Specifications in Telecommunications", IEEE Computer XXVI(8), 1993, 20-30.
26. P. Zave and M. Jackson, "Conjunction as Composition", ACM TOSEM 2(4), 1993, 371-411.