| [1] |
David Garlan. Formal modeling and
analysis of software architecture: components, connectors and events. In
M. Bernardo, editor, SFM 2003, LNCS 2804, pages 1-24.
Springer-Verlag, 2003. [ bib ] |
| [2] |
Robert Allen David Garlan. A
formal basis of architectural connection. ACM Transactions
on Software Engineering and Methodology, 6:213-249, July 1997. [ bib ] |
| [3] |
Marco Antonio Barbosa. A
relational model for component interconnection. Journal of
Universal Computer Science, 10(7):808-823, July 2004. [ bib ] |
| [4] |
Antonia Lopes. Higher order
architectural connectors. ACM Transactions Software
Engineering and Methodology, 12(1):64-104, January 2003. [ bib ] |
| [5] |
Thomas R. Dean. A syntactic
theory of software architecture. IEEE Transactions on
Software Engineering, 21(4):302-313, April 1995. [ bib ] |
| [6] |
David Harel. Statecharts: A
visual formalism for complex system. Science of Computer
Programming, 8:231-274, 1987. [ bib ] |
| [7] |
Paola Invardi. Formal
specification and analysis of software architecture using chemical
abstract machine. IEEE Transactions on Software Engineering,
21(4):373-386, April 1995. [ bib ] |
| [8] |
Mark Moriconi. Correctness and
composition of software architecture. In Proceedings
SIGSOFT-94, pages 164-174. ACM Press, December 1994. [ bib ] |
| [9] |
Overview of formal methods in software architecture, September
2000. [ bib ] |
| [10] |
Nenad Medvidovic. Formal
definition of chiron-2 architectural style. Technical Report
95-24, Department of Information and Computer Science, University of
California, Irvine, April 1996. [ bib ] |
| [11] |
Simon Gay. Types and subtypes for
client/server interaction. Technical Report TR-2003-131,
Department of Computing Science, University of Glasgow,, February 2003. [ bib ] |
| [12] |
Joanne Atlee. State based
model-checking of event driven system requirement. IEEE
Transactions on Software Engineering, 19(1):23-40, January 1993. [ bib ] |
| [13] |
Richard A. Kommorer. Integrating
formal methods into the development process. IEEESoftware,
pages 37-50, September 1990. [ bib ] |
| [14] |
Jeannette M. Wing. A
specifiers introduction to formal methods. IEEE Computer,
(September):8-24, 1990. [ bib ] |
This file has been generated by bibtex2html 1.74