-
1
-
-
1542347194
-
Modeling and validation of service-oriented architectures: Application vs. style
-
Baresi, L., Heckel, R., Thöne, S., and Varró, D. (2003). Modeling and validation of service-oriented architectures: Application vs. style. In ESEC/SIGSOFT FSE, pages 68-77.
-
(2003)
ESEC/SIGSOFT FSE
, pp. 68-77
-
-
Baresi, L.1
Heckel, R.2
Thöne, S.3
Varró, D.4
-
2
-
-
0141538164
-
Towards architecture-based self-healing systems
-
Dashofy, E. M., van der Hoek, A., and Taylor, R. N. (2002). Towards architecture-based self-healing systems. In WOSS, pages 21-26.
-
(2002)
WOSS
, pp. 21-26
-
-
Dashofy, E.M.1
van der Hoek, A.2
Taylor, R.N.3
-
3
-
-
0003696352
-
Acme: Architectural description of component-based systems
-
Cambridge University Press
-
Garlan, D., Monroe, R., and Wile, D. (2000). Acme: Architectural description of component-based systems. In Foundations of Component-Based Systems. Leavens, G.T., andSitaraman, M.(eds), pages 47-68. Cambridge University Press.
-
(2000)
Foundations of Component-Based Systems. Leavens, G.T., andSitaraman, M.(eds)
, pp. 47-68
-
-
Garlan, D.1
Monroe, R.2
Wile, D.3
-
4
-
-
0141538160
-
Model-based adaptation for self-healing systems
-
New York, NY, USA. ACM Press
-
Garlan, D. and Schmerl, B. (2002). Model-based adaptation for self-healing systems. In WOSS '02: Proceedings of the first workshop on Self-healing systems, pages 27-32, New York, NY, USA. ACM Press.
-
(2002)
WOSS '02: Proceedings of the first workshop on Self-healing systems
, pp. 27-32
-
-
Garlan, D.1
Schmerl, B.2
-
5
-
-
0141426684
-
Self-organising software architectures for distributed systems
-
New York, NY, USA. ACM Press
-
Georgiadis, I., Magee, J., and Kramer, J. (2002). Self-organising software architectures for distributed systems. In WOSS '02: Proceedings of the first workshop on Self-healing systems, pages 33-38, New York, NY, USA. ACM Press.
-
(2002)
WOSS '02: Proceedings of the first workshop on Self-healing systems
, pp. 33-38
-
-
Georgiadis, I.1
Magee, J.2
Kramer, J.3
-
7
-
-
0029291267
-
Formal specification and analysis of software architectures using the chemical abstract machine
-
Inverardi, P. and Wolf, A. (1995). Formal specification and analysis of software architectures using the chemical abstract machine. In IEEE Transactions on Software Engineering, 21(4):373-386.
-
(1995)
In IEEE Transactions on Software Engineering
, vol.21
, Issue.4
, pp. 373-386
-
-
Inverardi, P.1
Wolf, A.2
-
11
-
-
0032121142
-
Describing software architecture styles using graph grammars
-
Le Metayer, D. (1998). Describing software architecture styles using graph grammars. In IEEE Transactions on Software Engineering, 24(7):521-533.
-
(1998)
In IEEE Transactions on Software Engineering
, vol.24
, Issue.7
, pp. 521-533
-
-
Le Metayer, D.1
-
12
-
-
0037944957
-
Unified modeling language specification
-
OMG , 2.0.formal/05-07-04, Object Management Group
-
OMG (2005). Unified modeling language specification. Technical Report Infrastructure Version 2.0.formal/05-07-04, Object Management Group.
-
(2005)
Technical Report Infrastructure Version
-
-
-
13
-
-
19044368364
-
Self-healing components in robust software architecture for concurrent and distributed systems
-
Shin, M. E. (2005). Self-healing components in robust software architecture for concurrent and distributed systems. Sci. Comput. Program., 57(1):27-44.
-
(2005)
Sci. Comput. Program
, vol.57
, Issue.1
, pp. 27-44
-
-
Shin, M.E.1
|