-
2
-
-
18944382826
-
Deploying non-functional aspects by contract
-
Cerqueira R., Ansaloni S., Loques O., Sztajnberg A. Deploying non-functional aspects by contract. Middleware 2003 - 2nd Workshop on Reflective and Adaptive Middleware, Middleware2003 Companion, Rio de Janeiro, Brazil. June 2003;90-94
-
(2003)
Middleware 2003 - 2nd Workshop on Reflective and Adaptive Middleware, Middleware2003 Companion, Rio de Janeiro, Brazil
, pp. 90-94
-
-
Cerqueira, R.1
Ansaloni, S.2
Loques, O.3
Sztajnberg, A.4
-
4
-
-
0003895448
-
-
SRI International
-
Clavel M., Durán F., Eker S., Martí-Oliet N., Lincoln P., Meseguer J., Quesada J. Maude: Specification and Programming in Rewriting Logic. January 1999;SRI International, http://maude.csl.sri.com
-
(1999)
Maude: Specification and Programming in Rewriting Logic
-
-
Clavel, M.1
Durán, F.2
Eker, S.3
Martí-Oliet, N.4
Lincoln, P.5
Meseguer, J.6
Quesada, J.7
-
5
-
-
67650214197
-
-
SRI International and University of Illinois at Urbana-Champaign
-
Clavel M., Durán F., Eker S., Martí-Oliet N., Lincoln P., Meseguer J., Talcott C. Maude 2. 2003;SRI International and University of Illinois at Urbana-Champaign, http://maude.cs.uiuc.edu
-
(2003)
Maude 2
-
-
Clavel, M.1
Durán, F.2
Eker, S.3
Martí-Oliet, N.4
Lincoln, P.5
Meseguer, J.6
Talcott, C.7
-
7
-
-
77953732244
-
Model checking software architecture specifications in sam
-
He X., Ding J., Deng Y. Model checking software architecture specifications in sam. 14th international conference on Software engineering and knowledge engineering, Schia, Italy. 2002;271-274
-
(2002)
14th International Conference on Software Engineering and Knowledge Engineering, Schia, Italy
, pp. 271-274
-
-
He, X.1
Ding, J.2
Deng, Y.3
-
8
-
-
0029291267
-
Formal specification and analysis of software architectures using the chemical abstract model
-
Inverardi P., Wolf A.L. Formal specification and analysis of software architectures using the chemical abstract model. IEEE Transactions on Software Engineering. 21:(4):April 1995;373-386
-
(1995)
IEEE Transactions on Software Engineering
, vol.21
, Issue.4
, pp. 373-386
-
-
Inverardi, P.1
Wolf, A.L.2
-
10
-
-
18144396829
-
On the integration of meta-level programming and configuration programming
-
Heidelberg, Germany: Springer-Verlag
-
Loques O., Sztajnberg A., Leite J., Lobosco M. On the integration of meta-level programming and configuration programming. Reflection and Software Engineering. special edition Lecture Notes in Computer Science. volume 1826:June 2000;191-210 Springer-Verlag, Heidelberg, Germany
-
(2000)
Reflection and Software Engineering Special Edition Lecture Notes in Computer Science
, vol.1826
, pp. 191-210
-
-
Loques, O.1
Sztajnberg, A.2
Leite, J.3
Lobosco, M.4
-
11
-
-
0029292854
-
Specification and analysis of system architecture using rapide
-
Luckham D.C., et al. Specification and analysis of system architecture using rapide. IEEE Transactions on Software Engineering. 21:(4):April 1995;336-355
-
(1995)
IEEE Transactions on Software Engineering
, vol.21
, Issue.4
, pp. 336-355
-
-
Luckham, D.C.1
-
12
-
-
84934294303
-
Handbook of Philosophical Logic, volume 61, chapter Rewriting Logic as a Logical and Semantic Framework
-
Kluwer Academic Publishers
-
Martí-Oliet N., Meseguer J. Handbook of Philosophical Logic, volume 61, chapter Rewriting Logic as a Logical and Semantic Framework. second edition :2001;Kluwer Academic Publishers, http://maude.csl.sri.com/papers
-
(2001)
Second Edition
-
-
Martí-Oliet, N.1
Meseguer, J.2
-
14
-
-
0027113376
-
Conditional rewriting as a unified model of concurrency
-
Meseguer J. Conditional rewriting as a unified model of concurrency. Theoretical Computer Science. 96:(1):April 1992;73-155
-
(1992)
Theoretical Computer Science
, vol.96
, Issue.1
, pp. 73-155
-
-
Meseguer, J.1
-
15
-
-
84944052797
-
Semantic models for distributed object reflection
-
Springer
-
Meseguer J., Talcott C. Semantic models for distributed object reflection. ECOOP 2002 - Object-Oriented Programming, 16th European Conference, Malaga, Spain, June 10-14, 2002, Proceedings. LNCS. volume 2374:2002;1-36 Springer
-
(2002)
ECOOP 2002 - Object-Oriented Programming, 16th European Conference, Malaga, Spain, June 10-14, 2002, Proceedings LNCS
, vol.2374
, pp. 1-36
-
-
Meseguer, J.1
Talcott, C.2
|