Engineering distributed software: A structural discipline

ESEC/FSE'05 - Proceedings of the Joint 10th European Software Engineering Conference (ESEC) and 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-13)

Volumn , Issue , 2005, Pages 283-285

  Kramer, Jeff ^a   Magee, Jeff ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

Configuration programming; Distributed software engineering; Dynamic configuration; Evolution; Software architecture; Software components; Structure

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER PROGRAMMING;

CONFIGURATION PROGRAMMING; DISTRIBUTED SOFTWARE ENGINEERING; DYNAMIC CONFIGURATION; EVOLUTION; SOFTWARE ARCHITECTURE; SOFTWARE COMPONENTS; STRUCTURE;

SOFTWARE ENGINEERING;

EID: 32344438589     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (23)

1. DeRemer F.and HH Kron, Programming-in-the-large versus Programming-in-the-small, IEEE Trans. on Software Engineering, 2(2): 80-86, June 1976.
2. Kramer J. and Magee J., Dynamic Configuration for Distributed Systems, IEEE Trans, on Software Eng., SE-11 (4), (1985), 424-436.
3. Magee J., Kramer J., and Sloman M.S., Constructing Distributed Systems in Conic, IEEE Trans. on Software Eng., SE-15 (6), (1989), 663-675.
4. Kramer J., Magee J. and Finkelstein A., A Constructive Approach to the Design of Distributed Systems, (10th IEEE Int. Conf on Distributed Computing Systems) Paris, (1990), 580-587
5. Kramer J. and Magee J., The Evolving Philosophers Problem: Dynamic Change Management, IEEE Trans. on Software Eng., SE-16 (11), (1990), 1293-1306.
6. Kramer J., Magee J. and Ng K., Graphical Configuration Programming, IEEE Computer, 22 (10), (1989), 53-65.
7. Kramer J., Configuration Programming - A Framework for the Development of Distributable Systems, (IEEE Int. Conf. on Computer Systems and Software Engineering (CompEuro 90)), Tel-Aviv, Israel, (1990), 374-384.
8. Magee J., Dulay N. and Kramer J., Regis: A Constructive Development Environment for Distributed Programs, Distributed Systems Engineering Journal, 1 (5), Special Issue on Configurable Distributed Systems, (1994), 304-312.
9. Perry D. E. and Wolf A. L, Foundations for the Study of Software Architectures, ACM SIGSOFT Software Engineering Notes, Vol. 17, No, 4, pp. 40-52.
10. Shaw M. and Garlan D., Software Architecture: Perspectives on an Emerging Discipline, Prentice Hall, 96.
11. Magee J., Dulay N., Eisenbach S., Kramer J., Specifying Distributed Software Architectures, (5th European Software Engineering Conference (ESEC '95), Sitges, September 1995), LNCS 989, (Springer-Verlag), 1995, 137-153.
12. Magee J. and Kramer J., Dynamic Structure in Software Architectures, (4th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 4)), San Francisco, (October 1996), SEN, Vol.21, No.6, November 1996, 3-14.
13. van Ommering, R., van der Linden, F., Kramer, J., and Magee, J. The Koala Component Model for Consumer Electronics Software. Computer 33, 3 (2000), 33-85.
14. Magee J. and Kramer J., Composing Distributed Objects in CORBA, in Information Systems Interoperability, Krmer B., Papazoglou M. and Schmidt H., Research Studies Press / John Wiley & Sons Inc., England, 1998.
15. Kruchten, P.: The 4+1 view model of architecture. IEEE Software 12(6), IEEE Computer Society Press (1995) 42-50.
16. Magee J. and Kramer J., Concurrency: State Models and Java Programs, Wiley 1999.
17. Magee J., Kramer J. and Giannakopoulou D., Behaviour Analysis of Software Architectures, First Working IFIP Conference on Software Architecture (WICSA1), San Antonio, Texas, 22-24 February 1999, pages 35-50.
18. Cheung S.C. and Kramer J., Checking Subsystem Safety Properties in Compositional Reachability Analysis, (18th IEEE Int. Conf. on Software Engineering (ICSE-18), Berlin, 1996), 144-154.
19. Giannakopoulou D., Magee J. and Kramer J. Checking progress with Action Priority: Is it Fair?, ESEC / SIGSOFT FSE 1999, LNCS 1687, p511-527
20. Giannakopoulou D. and Magee J., Fluent model checking for event-based systems. ESEC / SIGSOFT FSE 2003: 257-266.
21. Uchitel S., Kramer J. and Magee J., Incremental elaboration of scenario-based specifications and behavior models using implied scenarios. ACM Trans. Softw. Eng. Methodol. TOSEM 13(1): 37-85 (2004)
22. Georgiadis I., Magee J. and Kramer J.: Self-organising software architectures for distributed systems. ACM WOSS 2002, p 33-38.
23. Chatley R., Eisenbach S., Kramer J., Magee J., Uchitel S., Predictable Dynamic Plugin Systems. FASE 2004, p 129-143.