Result 1 to 20 from 36 total
Towards automatic verification of behavior preservation for model transformation via invariant checking. (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, 249-263 (2012).
1
Toward bridging the gap between formal foundations and current practice for triple graph grammars. Flexible relations between source and target elements. (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, 141-155 (2012).
2
Lazy graph transformation. (English)
Fundam. Inform. 118, No. 1-2, 65-96 (2012).
3
$\cal M$-adhesive transformation systems with nested application conditions. II: Embedding, critical pairs and local confluence. (English)
Fundam. Inform. 118, No. 1-2, 35-63 (2012).
4
Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs. (English)
Theor. Comput. Sci. 424, 46-68 (2012).
5
Iterative development of consistency-preserving rule-based refactorings. (English)
Cabot, Jordi (ed.) et al., Theory and practice of model transformations. 4th international conference, ICMT 2011, Zurich, Switzerland, June 27‒28, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21731-9/pbk). Lecture Notes in Computer Science 6707, 123-137 (2011).
6
Modeling with plausibility checking: inspecting favorable and critical signs for consistency between control flow and functional behavior. (English)
Giannakopoulou, Dimitra (ed.) et al., Fundamental approaches to software engineering. 14th international conference, FASE 2011, held as part of the joint European conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26 ‒ April 3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-19810-6/pbk). Lecture Notes in Computer Science 6603, 156-170 (2011).
7
Modeling with plausibility checking: inspecting favorable and critical signs for consistency between control flow and functional behavior (English)
FASE, 156-170 (2011).
8
Iterative development of consistency-preserving rule-based refactorings (English)
ICMT, 123-137 (2011).
9
Local confluence for rules with nested application conditions. (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, 330-345 (2010).
10
Delaying constraint solving in symbolic graph transformation. (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, 43-58 (2010).
11
Introduction to AGG and EMF Tiger by modeling a Conference Scheduling System. (English)
Int. J. Softw. Tools Technol. Transf. 12, No. 3-4, 245-261 (2010).
12
Symbolic attributed graphs for attributed graph transformation (English)
ECEASST 30 (2010).
13
Parallelism and concurrency theorems for rules with nested application conditions (English)
ECEASST 26 (2010).
14
Local confluence for rules with nested application conditions (English)
ICGT, 330-345 (2010).
15
Delaying constraint solving in symbolic graph transformation (English)
ICGT, 43-58 (2010).
16
Object flow definition for refined activity diagrams. (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, 49-63 (2009).
17
Object flow definition for refined activity diagrams (English)
FASE, 49-63 (2009).
18
Parallelism and concurrency in adhesive high-level replacement systems with negative application conditions. (English)
Electron. Notes Theor. Comput. Sci. 203, No. 6, 43-66 (2008).
19
Efficient conflict detection in graph transformation systems by essential critical pairs. (English)
Electron. Notes Theor. Comput. Sci. 211, 17-26 (2008).
20
Result 1 to 20 from 36 total
Start
Contact
Print
General Help
