Formal Modeling of the Enterprise JavaBeans Component Integration Framework
João Sousa and
David Garlan.
In Information and Software Technology, Vol. 43(3), March 2001. Also available as Technical Report CMU-CS-00-162, Carnegie Mellon University School of Computer Science.
Online links:
Keywords: Formal Methods, Software Architecture.
@Article{Sousa2001,
AUTHOR = {Sousa, Jo\~{a}o and Garlan, David},
TITLE = {Formal Modeling of the Enterprise JavaBeans Component Integration Framework},
YEAR = {2001},
MONTH = {March},
JOURNAL = {Information and Software Technology},
VOLUME = {43},
NUMBER = {3},
NOTE = {Also available as Technical Report CMU-CS-00-162, Carnegie Mellon University School of Computer Science},
KEYWORDS = {Formal Methods, Software Architecture}
}
|
