Behaviour Analysis of Software Architectures-Reference-Cited by-同舟云学术

Behaviour Analysis of Software Architectures

Published:1999 Issue: Volume: Page:35-49
ISSN:1868-4238
Container-title:Software Architecture
language:
Short-container-title:

Author:

Magee Jeff,Kramer Jeff,Giannakopoulou Dimitra

Publisher

Springer US

Link

http://link.springer.com/content/pdf/10.1007/978-0-387-35563-4_3

Reference21 articles.

1. Allen R. and Garlan D., A Formal Basis for Architectural Connection, ACM Transactions on Software Engineering Methodology TOSEM, 6 (3), July 1997, 213–249.

2. 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.

3. Cheung S.C., Giannakopoulou D., and Kramer J., Verification of Liveness Properties using Compositional Reachability Analysis, 6th European Software Engineering Conference/5th ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 97), Zurich, Sept. 1997), LNCS 1301, (Springer-Verlag), 1997, 227–243.

4. Giannakopoulou D., Kramer J. and Cheung S.C., Analysing the Behaviour of Distributed Systems using Tracta, Journal of Automated Software Engineering,special issue on Automated Analysis of Software (to appear), vol. 6(1). R. Cleaveland and D. Jackson, Eds.

5. Garlan D. and Perry D.E., Introduction to the Special Issue on Software Architecture, IEEE Transactions on Software Engineering, 21 (4), April 1995, 269–274.

Cited by 41 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Formal Web Services Architecture Model for Changing PUSH/PULL Data Transfer;Lecture Notes in Computer Science;2024

2. A behavioral notion of robustness for software systems;Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2020-11-08

3. On Locally Minimum and Strongest Assumption Generation Method for Component-Based Software Verification;IEICE Transactions on Information and Systems;2019-08-01

4. Complex Engineered Systems Design Verification Based on Assume-Guarantee Reasoning;Systems Engineering;2016-11

5. Medley: An Event-Driven Lightweight Platform for Service Composition;Lecture Notes in Computer Science;2016