Formal modeling of the Enterprise JavaBeans™ component integration framework
Authors:
- J.P. SousaJSJ.P. Sousa
- 1 March 2001
- journal article
- Published by Elsevier in Information and Software Technology
- Vol. 43 (3) , 171-188
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- Formal modeling and analysis of the HLA component integration standard1998
- Using formal methods to reason about architectural standards1997
- A component- and message-based architectural style for GUI softwareIEEE Transactions on Software Engineering, 1996
- Specification and analysis of system architecture using RapideIEEE Transactions on Software Engineering, 1995
- Abstractions for software architecture and tools to support themIEEE Transactions on Software Engineering, 1995
- Correct architecture refinementIEEE Transactions on Software Engineering, 1995
- Specifying distributed software architectures1995