"Combining Graph Transformation and Algebraic Specification into Model Transformation"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Fundamentals of Algebraic Graph Transformation	Hartmut Ehrig; Karsten Ehrig; Ulrike Prange; Gabriele Taentzer	2006	Springer Berlin Heidelberg
Analysis and Correctness of Algebraic Graph and Model Transformations	Ulrike Golas	2011	Vieweg+Teubner Verlag
Graph and Model Transformation: General Framework and Applications	Hartmut Ehrig; Claudia Ermel; Ulrike Golas; Frank Hermann	1st ed. 2015	Springer Berlin Heidelberg
Algebraic Graph Theory	Chris Godsil; Gordon F. Royle	2001	Springer New York
Algebraic Graph Theory	Norman Biggs	1974-05	Cambridge University Press
Algebraic graph theory	Norman Biggs	1974	Cambridge University Press
A graph-structure transformation model for picture parsing	John C. Schwebel	1972	Dept. of Computer Science, University of Illinois
Graph Symmetry: Algebraic Methods and Applications	Gena Hahn; Gert Sabidussi	1997	Springer Netherlands
Spectral and Algebraic Graph Theory (Draft)	Daniel A. Spielman	2019
Topics in Algebraic Graph Theory	Lowell W. Beineke, Robin J. Wilson, Peter J. Cameron	2004	Cambridge University Press
Algebraic Graph Theory: Morphisms, Monoids and Matrices	Ulrich Knauer; Kolja Knauer	2019	De Gruyter
Algebraic Graph Theory: Morphisms, Monoids and Matrices	Ulrich Knauer	2011	De Gruyter
Algebraic Graph Theory: Morphisms, Monoids and Matrices	Ulrich Knauer	2011	De Gruyter
Algebraic Model Theory	Bradd T. Hart; A. Lachlan; Matthew A. Valeriote	1997	Springer Netherlands
Algebraic Foundations of Systems Specification	Egidio Astesiano; Hans-Jörg Kreowski; Bernd Krieg-Brückner	1999	Springer Berlin Heidelberg
Algebraic Specification of Communication Protocols	S. Mauw; G. J. Veltink	1993-09	Cambridge University Press
Algebraic specification of communication protocols /	Mauw, S.; Veltink, G. J.	1993.	Cambridge University Press,
Handbook ofGraph Grammars and Computing by Graph Transformation, Volume 1: Foundations (Handbook of Graph Grammars and Computing by Graph Transformation)	Grzegorz Rozenberg	1997	World Scientific
Picture analysis by graph transformation	Ahmad E Masumi	1973	Dept. of Computer Science, University of Illinois at Urbana-Champaign
Transformation Groups and Algebraic K-Theory	Wolfgang Lück	1989	Springer Berlin Heidelberg
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Combining Graph Transformation and Algebraic Specification into Model Transformation	Hans-Jörg Kreowski; Sabine Kuske; Caroline von Totth	Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers	Till Mossakowski; Hans-Jörg Kreowski	2012	Springer Berlin Heidelberg
Algebraic Specification of a Model Transformation Engine	Artur Boronat; José Á. Carsí; Isidro Ramos	Fundamental Approaches to Software Engineering: 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings	Luciano Baresi; Reiko Heckel	2006	Springer Berlin Heidelberg
Specification and Verification of Graph-Based Model Transformation Properties	Gehan M. K. Selim; Levi Lúcio; James R. Cordy; Juergen Dingel; Bentley J. Oakes	Graph Transformation: 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014, Proceedings	Holger Giese; Barbara König	2014	Springer International Publishing
Model Transformation Specification and Design	Kevin Lano; Shekoufeh Kolahdouz-Rahimi	Advances in Computers	Atif Memon	2012	Elsevier
Model Transformation Specification and Verification	Kevin Lano	UML 2 Semantics and Applications	Kevin Lano	2009	John Wiley & Sons
Algebraic specification	Thomas Grünler; Micheal Breau; Rainer Weber	Program Development by Specification and Transformation: The PROSPECTRA Methodology, Language Family, and System	Berthold Hoffmann; Bernd Krieg-Brückner	1993	Springer Berlin Heidelberg
Algebraic Specification	V. S. Alagar; K. Periyasamy	Specification of Software Systems	V.S. Alagar; K. Periyasamy	1998	Springer New York
Algebraic Specification	V. S. Alagar; K. Periyasamy	Specification of Software Systems	V.S. Alagar; K. Periyasamy	2nd ed. 2011	Springer London
Algebraic Specification	Martin WIRSING	Formal Models and Semantics	J. van Leeuwen	1990	Elsevier
algebraic specification		A Dictionary of Computer Science (Oxford Quick Reference)	Andrew Butterfield (editor), Gerard Ekembe Ngondi (editor), Anne Kerr (editor)	2016	Oxford University Press
Algebraic Model of Network Graph	Andrzej Kłos	Mathematical Models of Electrical Network Systems: Theory and Applications - An Introduction	Andrzej Kłos	1st ed. 2017	Springer International Publishing
Combining Specification-Based and Code-Based Coverage for Model Transformation Chains	Eduard Bauer; Jochen M. Küster	Theory and Practice of Model Transformations: 4th International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011, Proceedings	Jordi Cabot; Eelco Visser	2011	Springer Berlin Heidelberg
Advances in Model Transformations by Graph Transformation: Specification, Execution and Analysis	Gábor Bergmann; Artur Boronat; Reiko Heckel; Paolo Torrini; István Ráth; Dániel Varró	Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing	Martin Wirsing; Matthias Hölzl	2011	Springer Berlin Heidelberg
Algebraic Specification and Solution		Managerial economics	Eric Bentzen; Mark Hirschey; Carsten Scheibye	2019	Cengage Learning
Model Transformation Using Graph Transactions	Leila Ribeiro; Luciana Foss; Bruno da Silva; Daltro Nunes	Formal Foundations of Reuse and Domain Engineering: 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedings	Stephen H. Edwards; Gregory Kulczycki	2009	Springer Berlin Heidelberg
Model Transformation Based on Triple Graph Transformation	Ulrike Golas	Analysis and Correctness of Algebraic Graph and Model Transformations	Ulrike Golas	2011	Vieweg+Teubner Verlag
Algebraic view specification	Barbara Paech	Algebraic Methodology and Software Technology: 5th International Conference, AMAST ' 96 Munich, Germany, July 1996. Proceedings	Martin Wirsing; Maurice Nivat	1996	Springer Berlin Heidelberg
I - Algebraic specification		Formal Specification and Design	L. M. G. Feijs; H. B. M. Jonkers	1992-10	Cambridge University Press
45 Algebraic Specification		Fundamentals of software engineering	Rajib Mall	2018	PHI Learning Private Limited
PVS: Combining specification, proof checking, and model checking	N. Shankar	Formal Methods in Computer-Aided Design: First International Conference, FMCAD ' 96, Palo Alto, CA, USA, November 6 - 8, 1996, Proceedings	Mandayam Srivas; Albert Camilleri	1996	Springer Berlin Heidelberg
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Combining Graph Transformation and Algebraic Specification into Model Transformation" - similar Books and Chapters