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