-
1
-
-
0003536111
-
-
PhD thesis, Department of Computer Science, Carnegie-Mellon University, Pittsburgh, Pa, Usa
-
R. Allen. A Formal Approach to Software Architecture. PhD thesis, Department of Computer Science, Carnegie-Mellon University, Pittsburgh, Pa, Usa, 1997.
-
(1997)
A Formal Approach to Software Architecture
-
-
Allen, R.1
-
3
-
-
1642310787
-
Architecturing and configuring distributed applications with olan
-
R. Balter, L. Bellissard, F. Boyer, M. Riveill, and J.Y. Vion-Dury. Architecturing and configuring distributed applications with olan. In Proc. IFIP Int. Conf. on Distributed Systems Platforms and Open Distributed Processing (Middleware'98), 1998.
-
(1998)
Proc. IFIP Int. Conf. on Distributed Systems Platforms and Open Distributed Processing (Middleware'98)
-
-
Balter, R.1
Bellissard, L.2
Boyer, F.3
Riveill, M.4
Vion-Dury, J.Y.5
-
7
-
-
0030083693
-
Middleware: A model for distributed system services
-
P. A. Bernstein. Middleware: A model for distributed system services. Communications of the ACM, 39(2):86-98, 1996.
-
(1996)
Communications of the ACM
, vol.39
, Issue.2
, pp. 86-98
-
-
Bernstein, P.A.1
-
11
-
-
0042808052
-
STeP: The stanford temporal prover educational release
-
1.4-a edition
-
N. Bjorner, A. Browne, M. Colon, B. Finkbeiner, Z. Manna, M. Pichora, H. M. Sipma, and T. E. Uribe. STeP: The Stanford Temporal Prover Educational Release. Technical report, Stanford University, 1998. 1.4-a edition.
-
(1998)
Technical Report, Stanford University
-
-
Bjorner, N.1
Browne, A.2
Colon, M.3
Finkbeiner, B.4
Manna, Z.5
Pichora, M.6
Sipma, H.M.7
Uribe, T.E.8
-
14
-
-
0016963069
-
Programming-in-the-large versus programming-in-the-small
-
F. DeRemer and H. Kron. Programming-in-the-large versus programming-in-the-small. IEEE Transactions on Software Engineering, 2(2):80-86, 1976.
-
(1976)
IEEE Transactions on Software Engineering
, vol.2
, Issue.2
, pp. 80-86
-
-
DeRemer, F.1
Kron, H.2
-
17
-
-
0005204386
-
Acme: An architecture interchange language
-
Carnegie-Mellon University, Pittsburgh, Pa, Usa
-
D. Garlan, R. Monroe, and D. Wile. Acme: An architecture interchange language. Technical report, Department of Computer Science, Carnegie-Mellon University, Pittsburgh, Pa, Usa, 1997. http://www.cs.cmu.edu/afs/cs/project/ able/www/-papers.html.
-
(1997)
Technical Report, Department of Computer Science
-
-
Garlan, D.1
Monroe, R.2
Wile, D.3
-
18
-
-
0000942145
-
Introduction to the special issue on software architecture
-
D. Garlan and D. E. Perry. Introduction to the special issue on software architecture. IEEE Transactions on Software Engineering, 21(4):269-274, 1995.
-
(1995)
IEEE Transactions on Software Engineering
, vol.21
, Issue.4
, pp. 269-274
-
-
Garlan, D.1
Perry, D.E.2
-
26
-
-
0029292854
-
Specification and analysis of system architecture using rapide
-
D. C. Luckham, J. J. Kenney, L. M. Augustin, J. Vera, D. Bryan, and W. Mann. Specification and analysis of system architecture using Rapide. IEEE Transactions on Software Engineering, 21(4):336-355, 1995.
-
(1995)
IEEE Transactions on Software Engineering
, vol.21
, Issue.4
, pp. 336-355
-
-
Luckham, D.C.1
Kenney, J.J.2
Augustin, L.M.3
Vera, J.4
Bryan, D.5
Mann, W.6
-
28
-
-
0000869052
-
Regis: A constructive development environment for distributed programs
-
J. Magee, J. Kramer, and M. Sloman. Regis: A constructive development environment for distributed programs. Distributed Systems Engineering, 1(5):663-675, 1994.
-
(1994)
Distributed Systems Engineering
, vol.1
, Issue.5
, pp. 663-675
-
-
Magee, J.1
Kramer, J.2
Sloman, M.3
-
32
-
-
0029288831
-
Correct architecture refinement
-
M. Moriconi, X. Qian, and R. A. Riemenschneider. Correct architecture refinement. IEEE Transactions on Software Engineering, 21(4):356-372, 1995.
-
(1995)
IEEE Transactions on Software Engineering
, vol.21
, Issue.4
, pp. 356-372
-
-
Moriconi, M.1
Qian, X.2
Riemenschneider, R.A.3
-
38
-
-
33744653050
-
Developing dependable systems using software architecture
-
T. Saridakis and V. Issarny. Developing dependable systems using software architecture. In Software Architecture, 1999.
-
(1999)
Software Architecture
-
-
Saridakis, T.1
Issarny, V.2
-
39
-
-
0029288830
-
Abstractions for software architecture and tools to support them
-
M. Shaw, R. DeLine, D. Klein, T. Ross, D. Young, and G. Zelesnik. Abstractions for software architecture and tools to support them. IEEE Transactions on Software Engineering, 21(4):314-335, 1995.
-
(1995)
IEEE Transactions on Software Engineering
, vol.21
, Issue.4
, pp. 314-335
-
-
Shaw, M.1
DeLine, R.2
Klein, D.3
Ross, T.4
Young, D.5
Zelesnik, G.6
|