Evolving requirements through coordination contracts

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

Volumn 2681, Issue , 2003, Pages 633-646

  Moreira, Ana ^a   Fiadeiro, José Luiz ^b   Andrade, Luís ^c  

^a UNIVERSIDADE NOVA DE LISBOA   (Portugal)

^b UNIVERSITY OF LEICESTER   (United Kingdom)

^c ATX Software SA   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

SOFTWARE ENGINEERING;

BUSINESS DOMAIN; BUSINESS RULES; SOFTWARE DEVELOPMENT PROCESS; SYSTEM MODELS;

SOFTWARE DESIGN;

EID: 35248842564     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45017-3_42     Document Type: Article

References (14)

1. Andrade, L.F. and Fiadeiro, J.L.: "Interconnecting Objects via Contracts", in UML'99 - Beyond the Standard, R. France, and B. Rumpe (eds), LNCS 1723, Springer Verlag, 1999, pp. 566-583
2. th Int. Conf. On Automated Software Engineering, IEEE Computer Society Press 2001, 426-429.
3. Booch, G., Rumbaugh, J., and Jacobson, I.: The Unified Modeling Language User Guide, Addison-Wesley, 1999
4. Chandy, K. and Misra, J.: Parallel Program Design - A Foundation, Addison-Wesley, 1988
5. Clark, R. and Moreira, A.: "Constructing Formal Specifications from Informal Requirements", in proc. Software Technology and Engineering Practice, IEEE Computer Society, Los Alamitos, California, 1997, pp. 68-75
6. Elrad, T., Filman, R., and Bader, A.: "Theme Section on Aspect-Oriented Programming", Communications of ACM, Vol. 44, No. 10, 2001
7. Francez, N. and Forman, I.: Interacting Processes, Addison-Wesley, 1996
8. E., Gamma, Helm, R., Johnson, R. and Vlissides, J.: Design Patterns: Elements of Reusable Object Oriented Software, Addison-Wesley 1995
9. Gelernter, D. and Carriero, N.: "Coordination Languages and their Significance", Communications ACM 35(2), 1992, pp. 97-107
10. Gouveia, J., Koutsoukos, G., Andrade, L. and Fiadeiro, J., "Tool Support for Coordination-Based Software Evolution", in Technology of Object-Oriented Languages and Systems - TOOLS 38, W. Pree (ed), IEEE Computer Society Press 2001, 184-196
11. Jacobson, I.: Object-Oriented Software Engineering - a Use Case Driven Approach, Addison-Wesley, Reading Massachusetts, 1992
12. Katz, S.: "A Superimposition Control Construct for Distributed Systems", ACM TOPLAS 15(2), 1993, pp. 337-356
13. Magee, J. and Kramer, J.: "Dynamic Structure in Software Architectures", in 4th Symp. on Foundations of Software Engineering, ACM Press, 1996, pp. 3-14
14. Perry, D. and Wolf, A., "Foundations for the Study of Software Architectures", ACM SIGSOFT Software Engineering Notes, 17(4), 1992, pp. 40-52