-
2
-
-
0003536111
-
A Formal Approach to Software Architecture. PhD thesis, Carnegie Mellon
-
January, Issued as CMU Technical Report CMU-CS-97-144
-
Robert Allen. A Formal Approach to Software Architecture. PhD thesis, Carnegie Mellon, School of Computer Science, January 1997. Issued as CMU Technical Report CMU-CS-97-144.
-
(1997)
School of Computer Science
-
-
Allen, R.1
-
4
-
-
84957566749
-
-
Oxford, England, 1.2 edition, October
-
Failures Divergence Re nement: User Manual and Tutorial. Formal Systems (Europe) Ltd., Oxford, England, 1.2 edition, October 1992.
-
(1992)
Formal Systems (Europe) Ltd
-
-
-
6
-
-
0001803032
-
ACME: An architecture description interchange language
-
Ontario, Canada, November
-
David Garlan, Robert T. Monroe, and David Wile. ACME: An architecture description interchange language. In Proceedings of CASCON'97, Ontario, Canada, November 1997
-
(1997)
Proceedings of CASCON'97
-
-
Garlan, D.1
Monroe, R.T.2
Wile, D.3
-
8
-
-
0029292854
-
Speci cation and analysis of system architecture using Rapide
-
April
-
David C Luckham, Lary M. Augustin, John J. Kenney, James Veera, Doug Bryan, and Walter Mann. Speci cation and analysis of system architecture using Rapide. IEEE Transactions on Software Engineering, Special Issue on Software Architecture, 21(4):336-355, April 1995.
-
(1995)
IEEE Transactions on Software Engineering, Special Issue on Software Architecture
, vol.21
, Issue.4
, pp. 336-355
-
-
Luckham, D.C.1
Augustin, L.M.2
Kenney, J.J.3
Veera, J.4
Bryan, D.5
Mann, W.6
-
9
-
-
0000931820
-
Specifying distributed software architectures
-
September
-
J. Magee, N. Dulay, S. Eisenbach, and J. Kramer. Specifying distributed software architectures. In Proceedings of the Fifth European Software Engineering Conference, ESEC'95, September 1995
-
(1995)
Proceedings of the Fifth European Software Engineering Conference, ESEC'95
-
-
Magee, J.1
Dulay, N.2
Eisenbach, S.3
Kramer, J.4
-
10
-
-
33744922075
-
Architecture description languages
-
of Lecture Notes in Computer Science, Zurich, Switzerland, September, Springer
-
Nenad Medvidovic and Richard N. Taylor. Architecture description languages. In Software Engineering {ESEC/FSE'97, volume 1301 of Lecture Notes in Computer Science, Zurich, Switzerland, September 1997. Springer
-
(1997)
Software Engineering {ESEC/FSE'97
, vol.1301
-
-
Medvidovic, N.1
Taylor, R.N.2
-
11
-
-
0029288830
-
Abstractions for software architecture and tools to support them
-
April
-
Mary Shaw, Robert DeLine, Daniel V. Klein, Theodore L. Ross, David M. Young, and Gregory Zelesnik. Abstractions for software architecture and tools to support them. IEEE Transactions on Software Engineering, Special Issue on Software Architecture, 21(4):314-335, April 1995
-
(1995)
IEEE Transactions on Software Engineering, Special Issue on Software Architecture
, vol.21
, Issue.4
, pp. 314-335
-
-
Shaw, M.1
Deline, R.2
Klein, D.V.3
Ross, T.L.4
Young, D.M.5
Zelesnik, G.6
|