Exposing the skeleton in the coordination closet

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

Volumn 1282, Issue , 1997, Pages 18-31

  Kramer, Jeff ^a   Magee, Jeff ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

ARCHITECTURAL DESCRIPTION LANGUAGES; ARCHITECTURAL LEVELS; ARCHITECTURAL STRUCTURE; INDIVIDUAL COMPONENTS; REACHABILITY ANALYSIS; STRUCTURAL ASPECTS;

MUSCULOSKELETAL SYSTEM;

EID: 84957054179     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63383-9_70     Document Type: Conference Paper

References (30)

1. Allen R. and Garlan D., Formalizing Architectural Connection,(Proc. of 16th International Conference on Software Engineering (ICSE 16), Sorrento, May 1994,71-80.
2. Barbacci M. et al, Durra: a structure description language for developing distributed applications, IEE Software Engineering Journal, Vol. 8, No. 2, March 1993, pp 83-94.
3. Cheung S.C. and Kramer J., Context Constraints for Compositional Reachability Analysis, ACM Transactions on Software Engineering Methodology TOSEM, 5 (4), (1996), 334-377.
4. Cheung S.C. and Kramer J., Checking Subsystem Safety Properties in Compositional Reachability Analysis, (Proc. of 18th IEEE Int. Conf. on Software Engineering (ICSE-18), Berlin, 1996), 144-154.
5. Cheung S.C, Giannakopoulou D., and Kramer J., Verification of Liveness Properties using Compositional Reachability Analysis, accepted for (6th European Software Engineering Conference/5th ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 97), Zurich, Sept. 1997).
6. Dijkstra E.W., The Humble Programmer, Comms. Of the ACM, 15, 10, 859-866, Oct. 1972.
7. Giannakopoulou D., Kramer J. and Cheung S.C, TRACTA: An Environment for Analysing the Behaviour of Distributed Systems,(Proc. of 1st ACM SIGPLAN Workshop on Automatic Analysis of Software (AAS '97)), Paris, January 1997, 113-126.
8. Garlan D. and Perry D.E., Introduction to the Special Issue on Software Architecture, IEEE Transactions on Software Engineering, 21 (4), April 1995, pp 269-274.
9. Goldman, K.J., The Programmers' Playground: I/O Abstraction for User-Configurable Distributed Applications, IEEE Trans, on Software Eng., SE-21 (9), (1995), 735-746.
10. Graves, H., Lockheed Environment for Automatic Programming, Proc. of KBSE 91, 6th IEEE Knowledge Based Software Engineering Conference, 1991, pp 68-76.
11. Hoare, C.A.R., Communicating Sequential Processes, Prentice-Hall, Englewood Cliffs, N.J., 1985.
12. Kramer J., Magee J. and Sloman M.S. A Software Architecture for Distributed Computer Control Systems, Automatica, 20, (1984), 93-102.
13. Kramer J. and Magee J., Dynamic Configuration for Distributed Systems, IEEE Trans, on Software Eng., SE-11 (4), (1985), 424-436.
14. Kramer J., Magee J. and Ng K., Graphical Configuration Programming, IEEE Computer, 22 (10), (1989), 53-65.
15. Kramer J., Magee J. and Finkelstein A., A Constructive Approach to the Design of Distributed Systems,(Proc. 10th IEEE Int. Conf on Distributed Computing Systems, Paris, 1990), 580-587.
16. Kramer J. and Magee J., The Evolving Philosophers Problem: Dynamic Change Management, IEEE Trans, on Software Eng., SE-16 (11), (1990), 1293-1306.
17. Kramer J., Configuration Programming - A Framework for the Development of Distributable Systems, (Proc. of IEEE Int. Conf. on Computer Systems and Software Engineering (CompEuro 90), Tel-Aviv, Israel, 1990), 374-384.
18. Kramer J., Exoskeletal Software, (Proc. of 16th IEEE Int. Conf. on Software Engineering (ICSE-16), Sorrento, 1994), 366.
19. Kruchten P.B., The 4+1 Model of Architecture, IEEE Software, 12 (6), Nov. 1995, pp 42-50.
20. Luckham D.C. et al, Specification and Analysis of Software Architecture using Rapide, IEEE Transactions on Software Engineering, 21(4), April 1995, pp 336-355.
21. Magee J., Dulay N., Eisenbach S., Kramer I., Specifying Distributed Software Architectures, (Proc. of 5th European Software Engineering Conference (ESEC '95), Sitges, September 1995), LNCS 989, (Springer-Verlag), 1995, 137-153.
22. 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.
23. Magee J., Kramer J., and Sloman M.S., Constructing Distributed Systems in Conic, IEEE Trans, on Software Eng., SE-15 (6), (1989), 663-675.
24. Magee J. and Kramer J., Dynamic Structure in Software Architectures, (Proc. of 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.
25. Magee J., Tseng A., Kramer J., Composing Distributed Objects in CORBA,(Third International Symposium on Autonomous Decentralized Systems (ISADS 97), Berlin, Germany, April 9-11, 1997.
26. Ng K., Kramer J. and Magee J., Automated Support for the Design of Distributed Software Architectures, Journal of Automated Software Engineering (JASE), 3 (3/4), Special Issue on CASE-95, (1996), 261-284.
27. Purtilo J.M., The POLYLITH Software Bus, ACM Transactions on Programming Languages, 16(1), January 1994, pp 151-174.
28. Shaw M., et al., Abstractions for Software Architecture and Tools to Support Them, IEEE Transactions on Software Engineering, 21 (4), April 1995, pp 314-335.
29. Shaw M., Comparing Architectural Design Styles IEEE Software, 12 (6), Nov. 1995, pp 27-41.
30. Taylor R. et al, A Component- and Message-based Architectural Style for GUI Software, IEEE Transactions on Software Engineering, 22(6), June 1996, pp 390-406.