Software Architecture directed behaviour analysis

Proceedings of the 9th International Workshop on Software Specification and Design, IWSSD 1998

Volumn , Issue , 1998, Pages 144-146

  Magee, Jeff ^a   Kramer, Jeff ^a   Giannakopoulou, Dimitra ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

LARGE SCALE SYSTEMS; SPECIFICATIONS;

ARCHITECTURAL DESCRIPTIONS; ARCHITECTURE DESCRIPTION; BEHAVIOUR ANALYSIS; DISTRIBUTED SOFTWARE SYSTEM; POSITION PAPERS; REACHABILITY ANALYSIS; TOOL SUPPORT;

SOFTWARE ARCHITECTURE;

EID: 84949044366     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/iwssd.1998.667929     Document Type: Conference Paper

References (12)

1. Allen R. and Garlan D., Formalizing Architectural Connection, (Proc. of 16th Int. Conf. on Software Engineering (ICSE 16), Sorrento, May 1994, 71-80.
2. 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.
3. Cheung S.C., Giannakopoulou D., and Kramer J., Verification of Liveness Properties using Compositional Reachability Analysis, accepted for (ESEC/FSE 97), Zurich, Sept. 1997).
4. 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.
5. 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.
6. Jean-Pierre Krimm and Laurent Mounier. Compositional state space generation from LOTOS programs. In Ed Brinksma, editor, Proceedings of TACAS'97 (Tools and Algorithms for the Construction and Analysis of Systems), Enschede, The Netherlands, April 1997. Springer Verlag.
7. Kruchten P.B., The 4+1 Model of Architecture, IEEE Software, 12 (6), Nov. 1995, pp 42-50.
8. Magee J., Dulay N., Eisenbach S., Kramer J., Specifying Distributed Software Architectures, ESEC '95, Sitges, September 1995, LNCS 989, 1995, 137-153.
9. 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.
10. 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.
11. 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.
12. Roscoe A.W., The Theory and Practice of Concurrency, Prentice Hall Series in Computer Science, 1998.