Result 1 to 20 of 45 total
Borrowed contexts for attributed graphs. (English)
Ehrig, Hartmut (ed.) et al., Graph transformations. 6th international conference, ICGT 2012, Bremen, Germany, September 24‒29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33653-9/pbk). Lecture Notes in Computer Science 7562, 126-140 (2012).
1
Advances in model transformations by graph transformation: specification, execution and analysis. (English)
Wirsing, Martin (ed.) et al., Rigorous software engineering for service-oriented systems. Results of the SENSORIA project on software engineering for service-oriented computing. Berlin: Springer (ISBN 978-3-642-20400-5/pbk). Lecture Notes in Computer Science 6582, 561-584 (2011).
2
Automated model synchronization: A case study on UML with maude (English)
ECEASST 41 (2011).
3
Advances in model transformations by graph transformation: specification, execution and analysis (English)
Results of the SENSORIA Project, 561-584 (2011).
4
Graph transformation for domain-specific discrete event time simulation. (English)
Ehrig, Hartmut (ed.) et al., Graph transformations. 5th international conference, ICGT 2010, Enschede, The Netherlands, September 27 ‒ October 2, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15927-5/pbk). Lecture Notes in Computer Science 6372, 266-281 (2010).
5
Formal semantics and analysis of behavioral AADL models in Real-Time Maude. (English)
Hatcliff, John (ed.) et al., Formal techniques for distributed systems. Joint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010, Amsterdam, The Netherlands, June 7‒9, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13463-0/pbk). Lecture Notes in Computer Science 6117, 47-62 (2010).
6
Exploiting the hierarchical structure of rule-based specifications for decision planning. (English)
Hatcliff, John (ed.) et al., Formal techniques for distributed systems. Joint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010, Amsterdam, The Netherlands, June 7‒9, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13463-0/pbk). Lecture Notes in Computer Science 6117, 2-16 (2010).
7
An algebraic semantics for MOF. (English)
Formal Asp. Comput. 22, No. 3-4, 269-296 (2010).
8
Formal real-time model transformations in MOMENT2. (English)
Rosenblum, David S. (ed.) et al., Fundamental approaches to software engineering. 13th international conference, FASE 2010, held as part of the joint European conferences on theory and practice of software, ETAPS 2010, Paphos, Cyprus, March 20‒28, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-12028-2/pbk). Lecture Notes in Computer Science 6013, 29-43 (2010).
9
Formal semantics and analysis of behavioral AADL models in real-time maude (English)
FMOODS/FORTE, 47-62 (2010).
10
Exploiting the hierarchical structure of rule-based specifications for decision planning (English)
FMOODS/FORTE, 2-16 (2010).
11
Graph transformation for domain-specific discrete event time simulation (English)
ICGT, 266-281 (2010).
12
Formal real-time model transformations in MOMENT2 (English)
FASE, 29-43 (2010).
13
What is a multi-modeling language? (English)
Corradini, Andrea (ed.) et al., Recent trends in algebraic development techniques. 19th international workshop, WADT 2008, Pisa, Italy, June 13‒16, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-03428-2/pbk). Lecture Notes in Computer Science 5486, 71-87 (2009).
14
Rewriting logic semantics and verification of model transformations. (English)
Chechik, Marsha (ed.) et al., Fundamental approaches to software engineering. 12th international conference, FASE 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22‒29, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00592-3/pbk). Lecture Notes in Computer Science 5503, 18-33 (2009).
15
Preface of the post-Proceedings of the 8th international workshop on graph transformation and visual modeling techniques (English)
ECEASST 18 (2009).
16
Algebraic semantics of OCL-constrained metamodel specifications (English)
TOOLS (47), 96-115 (2009).
17
Rewriting logic semantics and verification of model transformations (English)
FASE, 18-33 (2009).
18
MOMENT2: EMF model transformations in maude (English)
JISBD, 178-179 (2009).
19
io-port 05488274 Varró, Dániel;
Asztalos, Márk;
Bisztray, Dénes;
Boronat, Artur;
Dang, Duc-Hanh;
Geiß, Rubino;
Greenyer, Joel;
Van Gorp, Pieter;
Kniemeyer, Ole;
Narayanan, Anantha;
Rencis, Edgars;
Weinell, Erhard
Transformation of UML models to CSP: A case study for graph transformation tools. (English)
Schürr, Andy (ed.) et al., Applications of graph transformations with industrial relevance. Third international symposium, AGTIVE 2007, Kassel, Germany, October 10‒12, 2007. Revised selected and invited papers. Berlin: Springer (ISBN 978-3-540-89019-5/pbk). Lecture Notes in Computer Science 5088, 540-565 (2008).
20
Result 1 to 20 of 45 total
Start
Contact
Print
General Help
