-
1
-
-
84944059317
-
A static analysis technique for graph transformation systems
-
In Springer, Berlin
-
Baldan, P., A. Corradini and B. König. 2001. A static analysis technique for graph transformation systems. In Proceedings of CONCUR 2001 (Lecture Notes in Computer Science, Vol. 2154), Springer, Berlin, pp. 381-395.
-
(2001)
Proceedings of CONCUR 2001 (Lecture Notes in Computer Science)
, vol.2154
, pp. 381-395
-
-
Baldan, P.1
Corradini, A.2
König, B.3
-
2
-
-
33750241239
-
On the use of Alloy to analyze graph transformation systems
-
In Springer, Berlin
-
Baresi, L. and P. Spoletini. 2006. On the use of Alloy to analyze graph transformation systems. In Proceedings of the Fifth International Conference on Graph Transformation (ICGT 2006) (Lecture Notes in Computer Science, Vol. 4178), Springer, Berlin, pp. 306-320.
-
(2006)
Proceedings of the Fifth International Conference on Graph Transformation (ICGT 2006) (Lecture Notes in Computer Science)
, vol.4178
, pp. 306-320
-
-
Baresi, L.1
Spoletini, P.2
-
3
-
-
19644394108
-
On the unification power of models
-
Bézivin, J. 2005. On the unification power of models. Software and Systems Modeling, 4(2): 171-188.
-
(2005)
Software and Systems Modeling
, vol.4
, Issue.2
, pp. 171-188
-
-
Bézivin, J.1
-
4
-
-
33746216410
-
KM3: A DSL for metamodel specification
-
In Springer, Berlin
-
Bézivin, J. and F. Jouault. 2006. KM3: A DSL for metamodel specification. In Proceedings of the 8th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2006) (Lecture Notes in Computer Science, Vol. 4037), Springer, Berlin, pp. 171-185.
-
(2006)
Proceedings of the 8th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2006) (Lecture Notes in Computer Science)
, vol.4037
, pp. 171-185
-
-
Bézivin, J.1
Jouault, F.2
-
5
-
-
33646568140
-
Automatic support for traceability in a generic model management framework
-
In Springer, Berlin
-
Boronat, A., J.A. Carsí and I. Ramos. 2005. Automatic support for traceability in a generic model management framework. In Proceedings of Model Driven Architecture: Foundations and Applications (ECMDA-FA 2005) (Lecture Notes in Computer Science, Vol. 3748), Springer, Berlin, pp. 316-330.
-
(2005)
Proceedings of Model Driven Architecture: Foundations and Applications (ECMDA-FA 2005) (Lecture Notes in Computer Science)
, vol.3748
, pp. 316-330
-
-
Boronat, A.1
Carsí, J.A.2
Ramos, I.3
-
6
-
-
33745844034
-
Algebraic specification of a model transformation engine
-
In Springer, Berlin
-
Boronat, A., J.A. Carsí and I. Ramos. 2006. Algebraic specification of a model transformation engine. In Proceedings of FASE 2006 (Lecture Notes in Computer Science, Vol. 3922), Springer, Berlin, pp. 262-277.
-
(2006)
Proceedings of FASE 2006 (Lecture Notes in Computer Science)
, vol.3922
, pp. 262-277
-
-
Boronat, A.1
Carsí, J.A.2
Ramos, I.3
-
7
-
-
47249105207
-
An algebraic semantics for MOF
-
In Budapest, Hungary (Lecture Notes in Computer Science) Springer, Berlin
-
Boronat, A. and J. Meseguer. 2008. An algebraic semantics for MOF. In Proceedings of FASE 2008, Budapest, Hungary (Lecture Notes in Computer Science, Vol. 4961), Springer, Berlin, pp. 377-391.
-
(2008)
Proceedings of FASE 2008
, vol.4961
, pp. 377-391
-
-
Boronat, A.1
Meseguer, J.2
-
9
-
-
33750250567
-
Realizing graph transformations by pre- and postconditions and command sequences
-
In Springer, Berlin
-
Büttner, F. and M. Gogolla. 2006. Realizing graph transformations by pre- and postconditions and command sequences. In Proceedings of the 5th International Conference on Graph Transformation (ICGT 2006) (Lecture Notes in Computer Science, Vol. 4178), Springer, Berlin, pp. 398-413.
-
(2006)
Proceedings of the 5th International Conference on Graph Transformation (ICGT 2006) (Lecture Notes in Computer Science, Vol. 4178)
, pp. 398-413
-
-
Büttner, F.1
Gogolla, M.2
-
10
-
-
54249166580
-
Analysing graph transformation rules through OCL
-
In Springer, Berlin
-
Cabot, J., R. Clarisó, E. Guerra and J. de Lara. 2008. Analysing graph transformation rules through OCL. In Proceedings of the 1st International Conference on Model Transformations (ICMT 2008) (Lecture Notes in Computer Science, Vol. 5063), Springer, Berlin, pp. 225-239.
-
(2008)
Proceedings of the 1st International Conference on Model Transformations (ICMT 2008) (Lecture Notes in Computer Science, Vol. 5063)
, pp. 225-239
-
-
Cabot, J.1
Clarisó, R.2
Guerra, E.3
de Lara, J.4
-
11
-
-
33646499415
-
Semantic anchoring with model transformations
-
In Springer, Berlin
-
Chen, K., J. Sztipanovits, S. Abdelwalhed and E. Jackson. 2005. Semantic anchoring with model transformations. In Proceedings of Model Driven Architecture: Foundations and Applications (ECMDA-FA 2005) (Lecture Notes in Computer Science, Vol. 3748), Springer, Berlin, pp. 115-129.
-
(2005)
Proceedings of Model Driven Architecture: Foundations and Applications (ECMDA-FA 2005) (Lecture Notes in Computer Science, Vol. 3748)
, pp. 115-129
-
-
Chen, K.1
Sztipanovits, J.2
Abdelwalhed, S.3
Jackson, E.4
-
12
-
-
0037190144
-
Maude: Specification and programming in rewriting logic
-
Clavel, M., F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer and J. Quesada. 2002. Maude: Specification and programming in rewriting logic. Theoretical Computer Science, 285: 187-243.
-
(2002)
Theoretical Computer Science
, vol.285
, pp. 187-243
-
-
Clavel, M.1
Durán, F.2
Eker, S.3
Lincoln, P.4
Martí-Oliet, N.5
Meseguer, J.6
Quesada, J.7
-
13
-
-
38049179424
-
-
Springer, Berlin
-
Clavel, M., F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer and C. Talcott. 2007. All About Maude-A High-Performance Logical Framework. (Lecture Notes in Computer Science, Vol. 4350), Springer, Berlin.
-
(2007)
All About Maude-A High-Performance Logical Framework. (Lecture Notes in Computer Science, Vol. 4350)
-
-
Clavel, M.1
Durán, F.2
Eker, S.3
Lincoln, P.4
Martí-Oliet, N.5
Meseguer, J.6
Talcott, C.7
-
14
-
-
38049016514
-
The Maude formal tool environment
-
In Springer, Berlin
-
Clavel, M., F. Durán, J. Hendrix, S. Lucas, J. Meseguer and P. Ölveczky. The Maude formal tool environment. In Proceedings of Algebra and Coalgebra in Computer Science (CALCO'07) (Lecture Notes in Computer Science, Vol. 4624), Springer, Berlin, pp. 173-178.
-
Proceedings of Algebra and Coalgebra in Computer Science (CALCO'07) (Lecture Notes in Computer Science, Vol. 4624)
, pp. 173-178
-
-
Clavel, M.1
Durán, F.2
Hendrix, J.3
Lucas, S.4
Meseguer, J.5
Ölveczky, P.6
-
15
-
-
38049009335
-
Enhancing UML extensions with operational semantics: Behaviored profiles with templates
-
In Springer, Berlin
-
Cuccuru, A., C. Mraidha, F. Terrier, and S. Grard. Enhancing UML extensions with operational semantics: Behaviored profiles with templates. In Proceedings of MoDELS 2007 (Lecture Notes in Computer Science, Vol. 4735), Springer, Berlin, pp. 271-285.
-
Proceedings of MoDELS 2007 (Lecture Notes in Computer Science, Vol. 4735)
, pp. 271-285
-
-
Cuccuru, A.1
Mraidha, C.2
Terrier, F.3
Grard, S.4
-
16
-
-
84937217390
-
AToM3: A tool for multi-formalism and meta-modelling
-
In Springer, Berlin
-
de Lara, J. and H. Vangheluwe. 2002. AToM3: A tool for multi-formalism and meta-modelling. In Proceedings of Fundamental Approaches to Software Engineering (FASE 2002) (Lecture Notes in Computer Science, Vol. 2306), Springer, Berlin, pp. 174-188.
-
(2002)
Proceedings of Fundamental Approaches to Software Engineering (FASE 2002) (Lecture Notes in Computer Science, Vol. 2306)
, pp. 174-188
-
-
de Lara, J.1
Vangheluwe, H.2
-
17
-
-
3242662812
-
Defining visual notations and their manipulation through meta-modelling and graph transformation
-
de Lara, J. and H. Vangheluwe. 2006. Defining visual notations and their manipulation through meta-modelling and graph transformation. Journal of Visual Languages and Computing, 15(3-4): 309-330.
-
(2006)
Journal of Visual Languages and Computing
, vol.15
, Issue.3-4
, pp. 309-330
-
-
de Lara, J.1
Vangheluwe, H.2
-
18
-
-
47249117082
-
Translating model simulators to analysis models
-
In Springer, Berlin
-
de Lara, J. and H. Vangheluwe. 2008. Translating model simulators to analysis models. In Proceedings of Fundamental Approaches to Software Engineering (FASE 2008), Budapest, Hungary (Lecture Notes in Computer Science, Vol. 4961), Springer, Berlin, pp. 77-92.
-
(2008)
Proceedings of Fundamental Approaches to Software Engineering (FASE 2008), Budapest, Hungary (Lecture Notes in Computer Science, Vol. 4961)
, pp. 77-92
-
-
de Lara, J.1
Vangheluwe, H.2
-
19
-
-
16644380706
-
Invariant-driven strategies for Maude
-
Aachen, Germany (Electronic Notes in Theoretical Computer Science, Vol. 124), Elsevier, Amsterdam
-
Durán, F., M. Roldán and A. Vallecillo. 2004. Invariant-driven strategies for Maude. In Proceedings of the 4th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2004), Aachen, Germany (Electronic Notes in Theoretical Computer Science, Vol. 124), Elsevier, Amsterdam, pp. 17-28.
-
(2004)
Proceedings of the 4th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2004)
, pp. 17-28
-
-
Durán, F.1
Roldán, M.2
Vallecillo, A.3
-
20
-
-
33645145389
-
-
Springer, Berlin
-
Ehrig, H., K. Ehrig, U. Prange and G. Taentzer. 2006. Fundamentals of Algebraic Graph Transformation, Springer, Berlin.
-
(2006)
Fundamentals of Algebraic Graph Transformation
-
-
Ehrig, H.1
Ehrig, K.2
Prange, U.3
Taentzer, G.4
-
21
-
-
34250746522
-
-
Elsevier, Amsterdam
-
Eker, S., N. Martí-Oliet, J. Meseguer and A. Verdejo. 2007. Deduction, Strategies, and Rewriting (Electronic Notes in Theoretical Computer Science, Vol. 174(11)), Elsevier, Amsterdam, pp. 3-25.
-
(2007)
Deduction, Strategies, and Rewriting (Electronic Notes in Theoretical Computer Science, Vol. 174(11))
, vol.174
, Issue.11
, pp. 3-25
-
-
Eker, S.1
Martí-Oliet, N.2
Meseguer, J.3
Verdejo, A.4
-
22
-
-
0012826314
-
The Maude LTL model checker
-
In Elsevier, Amsterdam
-
Eker, S., J. Meseguer and A. Sridharanarayanan. 2002. The Maude LTL model checker. In Proceedings of the 4th International Workshop on Rewriting Logic and its Applications (WRLA 2002), (Electronic Notes in Theoretical Computer Science, Vol. 71), Elsevier, Amsterdam, pp. 115-142.
-
(2002)
Proceedings of the 4th International Workshop on Rewriting Logic and Its Applications (WRLA 2002), (Electronic Notes in Theoretical Computer Science, Vol. 71)
, pp. 115-142
-
-
Eker, S.1
Meseguer, J.2
Sridharanarayanan, A.3
-
23
-
-
33746469481
-
Dynamic meta modeling: A graphical approach to the operational semantics of behavioral diagrams in UML
-
In Springer, Berlin
-
Engels, G., J.H. Hausmann, R. Heckel and S. Sauer. 2000. Dynamic meta modeling: A graphical approach to the operational semantics of behavioral diagrams in UML. In Proceedings of UML 2000 (Lecture Notes in Computer Science, Vol. 1939), Springer, Berlin, pp. 323-337.
-
(2000)
Proceedings of UML 2000 (Lecture Notes in Computer Science, Vol. 1939)
, pp. 323-337
-
-
Engels, G.1
Hausmann, J.H.2
Heckel, R.3
Sauer, S.4
-
25
-
-
7244261750
-
Meaningful modeling: What's the semantics of "semantics"?
-
Harel, D. and B. Rumpe. 2004. Meaningful modeling: What's the semantics of "semantics"? Computer, 37(10): 64-72.
-
(2004)
Computer
, vol.37
, Issue.10
, pp. 64-72
-
-
Harel, D.1
Rumpe, B.2
-
26
-
-
84937199516
-
Confluence of typed attributed graph transformation systems
-
In Springer, Berlin
-
Heckel, R., J.M. Küster, and G. Taentzer. 2002. Confluence of typed attributed graph transformation systems. In Proceedings of the 1st International Conference on Graph Transformation (ICGT 2002) (Lecture Notes in Computer Science, Vol. 2505), Springer, Berlin, pp. 161-176.
-
(2002)
Proceedings of the 1st International Conference on Graph Transformation (ICGT 2002) (Lecture Notes in Computer Science, Vol. 2505)
, pp. 161-176
-
-
Heckel, R.1
Küster, J.M.2
Taentzer, G.3
-
29
-
-
0003214794
-
Rewriting logic as a logical and semantic framework
-
In 2nd edition, Kluwer, Dordrecht
-
Martí-Oliet, N. and J. Meseguer. 2002. Rewriting logic as a logical and semantic framework. In Handbook of Philosophical Logic, Vol. 9, 2nd edition, Kluwer, Dordrecht, pp. 1-87.
-
(2002)
Handbook of Philosophical Logic
, vol.9
, pp. 1-87
-
-
Martí-Oliet, N.1
Meseguer, J.2
-
31
-
-
0027113376
-
Conditional rewriting logic as a unified model of concurrency
-
Meseguer, J. 1992. Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science, 96: 73-155.
-
(1992)
Theoretical Computer Science
, vol.96
, pp. 73-155
-
-
Meseguer, J.1
-
32
-
-
7044268976
-
Equational abstractions
-
In Springer, Berlin
-
Meseguer, J., M. Palomino and N. Martí-Oliet. 2003. Equational abstractions. In Proceedings of CADE (Lecture Notes in Computer Science, Vol. 2741), Springer, Berlin, pp. 2-16.
-
(2003)
Proceedings of CADE (Lecture Notes in Computer Science, Vol. 2741)
, pp. 2-16
-
-
Meseguer, J.1
Palomino, M.2
Martí-Oliet, N.3
-
33
-
-
33646181776
-
Weaving executability into object-oriented meta-languages
-
In Springer, Berlin
-
Muller, P.-A., F. Fleurey and J.-M. Jézéquel. Weaving executability into object-oriented meta-languages. In Proceedings of MoDELS/UML'2005 (Lecture Notes in Computer Science, Vol. 3713), Springer, Berlin, pp. 264-278.
-
Proceedings of MoDELS/UML'2005 (Lecture Notes in Computer Science, Vol. 3713)
, pp. 264-278
-
-
Muller, P.-A.1
Fleurey, F.2
Jézéquel, J.-M.3
-
35
-
-
33751040876
-
The meta-object facility typed
-
In Dijon, France, 2006, ACM Press, New York
-
Poernomo, I. 2006. The meta-object facility typed. In Proceedings of the SAC 2006 Track on Software Verification, Dijon, France, 2006, ACM Press, New York, pp. 1845-1849.
-
(2006)
Proceedings of the SAC 2006 Track on Software Verification
, pp. 1845-1849
-
-
Poernomo, I.1
-
37
-
-
70350236976
-
-
Atenea group
-
Atenea group. http://atenea.lcc.uma.es.
-
-
-
-
38
-
-
70350241746
-
-
Eclipse Official Site
-
Eclipse Official Site. http://www.eclipse.org/.
-
-
-
-
39
-
-
67650090923
-
Analyzing rule-based behavioral semantics of visual modeling languages with Maude
-
Toulouse, France, October 2008 (Lecture Notes in Computer Science, Vol. 5452), Springer, Berlin
-
Rivera, J.E., E. Guerra, J. de Lara and A. Vallecillo. Analyzing rule-based behavioral semantics of visual modeling languages with Maude. In Proceedings of the 1st International Conference on Software Language Engineering (SLE'08), Toulouse, France, October 2008 (Lecture Notes in Computer Science, Vol. 5452), Springer, Berlin.
-
(2008)
Proceedings of the 1st International Conference on Software Language Engineering (SLE'08)
-
-
Rivera, J.E.1
Guerra, E.2
de Lara, J.3
Vallecillo, A.4
-
40
-
-
47949129971
-
Adding behavioral semantics to models
-
In IEEE Computer Society Press, Los Alamitos, CA
-
Rivera, J.E. and A. Vallecillo. 2007. Adding behavioral semantics to models. In Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), IEEE Computer Society Press, Los Alamitos, CA, pp. 169-180.
-
(2007)
Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007)
, pp. 169-180
-
-
Rivera, J.E.1
Vallecillo, A.2
-
41
-
-
35548986790
-
Formal and tool support for Model Driven Engineering with Maude
-
Romero, J.R., J.E. Rivera, F. Durán and A. Vallecillo. 2007. Formal and tool support for Model Driven Engineering with Maude. Journal of Object Technology, 6(9): 187-207.
-
(2007)
Journal of Object Technology
, vol.6
, Issue.9
, pp. 187-207
-
-
Romero, J.R.1
Rivera, J.E.2
Durán, F.3
Vallecillo, A.4
-
43
-
-
70350220962
-
-
The ISSI Research Group
-
The ISSI Research Group. MOMENT. http://moment.dsic.upv.es.
-
MOMENT
-
-
-
46
-
-
14244251224
-
Automated formal verification of visual modeling languages by model checking
-
Varró, D. 2004. Automated formal verification of visual modeling languages by model checking. Journal of Software and Systems Modeling, 3(2): 85-113.
-
(2004)
Journal of Software and Systems Modeling
, vol.3
, Issue.2
, pp. 85-113
-
-
Varró, D.1
|