@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} }
|
|