Formal modeling of the Enterprise JavaBeans™ component integration framework-Reference-Cited by-同舟云学术

Formal modeling of the Enterprise JavaBeans™ component integration framework

Published:2001-03 Issue:3 Volume:43 Page:171-188
ISSN:0950-5849
Container-title:Information and Software Technology
language:en
Short-container-title:Information and Software Technology

Author:

Sousa J.P.,Garlan D.

Publisher

Elsevier BV

Subject

Computer Science Applications,Information Systems,Software

Reference20 articles.

1. A formal basis for architectural connection;Allen;ACM Transactions on Software Engineering and Methodology,1997

2. R. Allen, D. Garlan, J. Ivers, Formal modeling and analysis of the HLA component integration standard, in: Sixth International Symposium on the Foundations of Software Engineering (FSE-6), November 1998.

3. R. Allen, A formal approach to software architecture, PhD thesis, CMU, School of Computer Science, January 1997, CMU/SCS Report CMU-CS-97-144.

4. Automatic verification of finite state concurrent systems using temporal logic specifications;Clarke;ACM Transactions on Programming Languages and Systems,1986

5. V. Matena, M. Hapner, Enterprise JavaBeans™, Sun Microsystems Inc., Palo Alto, California, 1998.

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

1. A Model of Service-Oriented Architectures;2015 IX Brazilian Symposium on Components, Architectures and Reuse Software;2015-09

2. A Model of Layered Architectures;Electronic Proceedings in Theoretical Computer Science;2015-03-17

3. Towards a theory of architectural styles;Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering;2014-11-11

4. Pol;ACM SIGPLAN Notices;2013-04-10

5. A formal approach to software synthesis for architectural platforms;Proceedings of the 33rd International Conference on Software Engineering;2011-05-21