Formal Modeling of the Enterprise JavaBeansTM Component Integration Framework
暂无分享,去创建一个
[1] David Garlan,et al. A formal basis for architectural connection , 1997, TSEM.
[2] Walter Mann,et al. Correction to "Specification and Analysis of System Architecture Using Rapide" , 1995, IEEE Trans. Software Eng..
[3] Naranker Dulay,et al. Specifying Distributed Software Architectures , 1995, ESEC.
[4] E. Clarke,et al. Automatic Veriication of Nite-state Concurrent Systems Using Temporal-logic Speciications. Acm , 1993 .
[5] Robert J. Allen. A formal approach to software architecture , 1997 .
[6] Andrew William Roscoe,et al. The Theory and Practice of Concurrency , 1997 .
[7] Xiaolei Qian,et al. Correct Architecture Refinement , 1995, IEEE Trans. Software Eng..
[8] James L. Peterson,et al. Petri Nets , 1977, CSUR.
[9] C LuckhamDavid,et al. Specification and Analysis of System Architecture Using Rapide , 1995 .
[10] David Garlan,et al. Architectural Mismatch: Why Reuse Is So Hard , 1995, IEEE Softw..
[11] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.
[12] David Garlan,et al. A Formal Approach to Software Architectures , 1992, IFIP Congress.
[13] Nancy A. Lynch,et al. An introduction to input/output automata , 1989 .
[14] Kevin J. Sullivan,et al. Using Formal Methods to Reason about Architectural Standards , 1996, Proceedings of the (19th) International Conference on Software Engineering.
[15] Martin Peschke,et al. Design and Validation of Computer Protocols , 2003 .
[16] David Garlan,et al. Formal modeling and analysis of the HLA component integration standard , 1998, SIGSOFT '98/FSE-6.
[17] Mary Shaw,et al. Abstractions for Software Architecture and Tools to Support Them , 1995, IEEE Trans. Software Eng..