-
1
-
-
0003536111
-
-
PhD thesis, School of Computer Science, Carnegie Mellon University, May, Technical report CMU-CS-97-144
-
Robert Allen. A Formal Approach to Software Architecture. PhD thesis, School of Computer Science, Carnegie Mellon University, May 1997. Technical report CMU-CS-97-144.
-
(1997)
A Formal Approach to Software Architecture
-
-
Allen, R.1
-
2
-
-
84958773067
-
The IWIM Model for Coordination of Concurrent Activities
-
Paolo Ciancarini and Chris Hankin, editors, Italia, April, Springer Verlag
-
Farhad Arbab. The IWIM Model for Coordination of Concurrent Activities. In Paolo Ciancarini and Chris Hankin, editors, Coordination Languages and Models, volume 1061 of Lecture Notes in Computer Science, pages 24–56, Cesena, Italia, April 1996. Springer Verlag.
-
(1996)
Coordination Languages and Models, Volume 1061 of Lecture Notes in Computer Science
, pp. 24-56
-
-
Arbab, F.1
-
4
-
-
0002243670
-
Specification and Refinement of Dynamic Software Architectures
-
Kluwer
-
Carlos Canal, Ernesto Pimentel, and José María Troya. Specification and Refinement of Dynamic Software Architectures. In Software Architecture, pages 107–126. Kluwer, 1999.
-
(1999)
Software Architecture
, pp. 107-126
-
-
Canal, C.1
Pimentel, E.2
Troya, J.M.3
-
5
-
-
0024738868
-
How to Write Parallel Programs: A Guide to the Perplexed
-
Nicholas Carriero and David Gelernter. How to Write Parallel Programs: a Guide to the Perplexed. ACM Computing Surveys, 21(3):323–357, 1986.
-
(1986)
ACM Computing Surveys
, vol.21
, Issue.3
, pp. 323-357
-
-
Carriero, N.1
Gelernter, D.2
-
6
-
-
78650662613
-
Architectural Reflection: Bridging the Gap Between a Running System and its Architectural Specification
-
IEEE, March
-
Walter Cazzola, Andrea Savigni, Andrea Sosio, and Francesco Tisato. Architectural Reflection: Bridging the Gap Between a Running System and its Architectural Specification. In 6th Reengineering Forum (REF’98), pages 12–1–12–6. IEEE, March 1998.
-
(1998)
6th Reengineering Forum (REF’98)
, pp. 12-21
-
-
Cazzola, W.1
Savigni, R.2
Sosio, R.3
Tisato, F.4
-
7
-
-
84947249485
-
Dynamic Coordination Architecture through the use of Reflection
-
March, ACM Press
-
Carlos E. Cuesta, Pablo de la Fuente, Manuel Barrio-Solórzano, and Encarnación Beato. Dynamic Coordination Architecture through the use of Reflection. In 16th ACM Symposium on Applied Computing (SAC2001), pages 134–140, March 2001. ACM Press.
-
(2001)
16Th ACM Symposium on Applied Computing (SAC2001)
, pp. 134-140
-
-
Cuesta, C.E.1
De La Fuente, P.2
Barrio-Solórzano, M.3
Beato, E.4
-
8
-
-
0029373110
-
An Event-Based Architecture Definition Language
-
September
-
David C. Luckham and James Vera. An Event-Based Architecture Definition Language. IEEE Transactions on Software Engineering, 21(9):717–734, September 1995.
-
(1995)
IEEE Transactions on Software Engineering
, vol.21
, Issue.9
, pp. 717-734
-
-
Luckham, D.C.1
Vera, J.2
-
9
-
-
84976785515
-
Concepts and Experiments in Computational Reflection
-
Norman Meyrowitz, editor, ACM Press, December
-
Pattie Maes. Concepts and Experiments in Computational Reflection. In Norman Meyrowitz, editor, OOPSLA’87 Conference Proceedings, pages 147–155. ACM Press, December 1987.
-
(1987)
OOPSLA’87 Conference Proceedings
, pp. 147-155
-
-
Maes, P.1
-
10
-
-
0030381777
-
Dynamic Structure in Software Architectures
-
November
-
Jeff Magee and Jeff Kramer. Dynamic Structure in Software Architectures. Software Engineering Notes, 21(6):3–14, November 1996.
-
(1996)
Software Engineering Notes
, vol.21
, Issue.6
, pp. 3-14
-
-
Magee, J.1
Kramer, J.2
-
12
-
-
26844539498
-
Communicating and Mobile Systems: The Pi-Calculus
-
June
-
Robin Milner. Communicating and Mobile Systems: the Pi-Calculus. CUP, June 1999.
-
(1999)
CUP
-
-
Milner, R.1
|