Information Technology Reference
In-Depth Information
14.
Corradini, A., Hirsch, D.: An Operational Semantics of COMMUITY Based on Graph
Transformation Systems. Electr. Notes Theor. Comput. Sci. 109, 111-124 (2004)
15.
Fiadeiro, J.L., Maibaum, T.: Categorical Semantics of Parallel Program Design, Technical
Report, FCUL and Imperial College (1995)
16.
Fiadeiro, J.L., Maibaum, T.: Design Structures for Object Based System, Formal Methods
and Object Technology, pp. 183-204. Springer, Heidelberg (1996)
17.
Fiadeiro, J.L., Maibaum, T.: Interconnecting Formalisms: Supporting Modularity, Reuse
and Incrementality. In: FSE, pp. 72-80 (1995)
18.
Fiadeiro, J.L.: Categories for Software Engineering. Springer, Heidelberg (2005)
19.
Garlan, D., Monroe, R., Wile, D.: ACME: An Architecture Description Interchange Lan-
guage. In: CASCON'97 (1997)
20.
Garlan, D.: Software Architecture: A Roadmap, The Future of Software Engineering. In:
Filkenstein, A. (ed.), ACM Press, New York (2000)
21.
Georgiadis, I.: Self-Organising Distributed Component Software Architectures, Ph.D.
Thesis, Imperial College of Science, Technology and Medicine, Department of Computing
(2002)
22.
Goguen, J.: Mathematical Representation of Hierarchically Organised Systems. In: Attim-
ger, E. (ed.) Global Systems Dynamics, Krager, pp. 112-128 (1971)
23.
Goguen, J., Ginali, S.: A Categorical Approach to General Systems Theory. In: Klir, G.
(ed.) Applied General Systems Research, pp. 257-270. Plenum, New York (1978)
24.
Goguen, J.: Categorical Foundations for General Systems Theory. In: Pichler, F., Trappl,
R. (eds.) Advances in Cybernetics and Systems Research, Transcripta Books, pp. 121-130
(1973)
25.
Kiczales, G.: An overview of Aspect J. In: Knudsen, J.L. (ed.) ECOOP 2001. LNCS,
vol. 2072, Springer, Heidelberg (2001)
26.
Larsen, K.G., Skou, A.: Bisimulation through probabilistic testing. Information and Com-
putation 94, 1-28 (1991)
27.
Ling, X.: DynaComm: The Extension of CommUnity to Support Dynamic Reconfigura-
tion, MSc Thesis, McMaster University, available as SQRL Technical Report 40 (2007),
http://www.cas.mcmaster.ca/sqrl/sqrl_reports.html
28.
Liskov, B., Wing, J.: A Behavioral Notion of Subtyping, ACM Transactions on Program-
ming Languages and Systems, vol. 16(6). ACM Press, New York (1994)
29.
Lopes, A., Wermelinger, M., Fiadeiro, J.: Higher-Order Architectural Connectors. ACM
Transactions on Software Engineering and Methodology 12(1) (2003)
30.
Lopes, A., Fiadeiro, J.: Superposition: Composition vs. Refinement of Non-Deterministic,
Action-Based Systems, Formal Aspects of Computing, vol. 16(1). Springer, Heidelberg
(2004)
31.
Magee, J., Kramer, J.: Dynamic Structure in Software Architectures. In: Gollmann, D.
(ed.) Fast Software Encryption. LNCS, vol. 1039, pp. 24-32. Springer, Heidelberg (1996)
32.
Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems.
Springer, Heidelberg (1991)
33.
Medvidovic, N., Taylor, R.N.: A classification and comparison framework for software ar-
chitecture description languages. IEEE Trans. on Software Engineering 26(1), 70-93
(2000)
34.
Perry, D.E., Wolf, A.L.: Foundations for the study of software architectures. SIGSOFT
Software Eng. Notes 17(4), 40-52 (1992)
35.
Shaw, M., Garlan, D.: Software Architecture: Perspectives on an Emerging Discipline.
Prentice Hall, Englewood Cliffs (1996)
Search WWH ::
Custom Search