Gabriele Taentzer > Compare Discount Book Prices & Save up to 90%

Graph Transformation, Specifications, and Nets(1st Edition)
In Memory of Hartmut Ehrig (Lecture Notes in Computer Science)
द्वारा Reiko Heckel, Gabriele Taentzer
Paperback, 348 पन्ने, प्रकाशित 2018 द्वारा Springer
ISBN-13: 978-3-319-75395-9, ISBN: 3-319-75395-9

"This volume pays tribute to the scientific achievements of Hartmut Ehrig, who passed away in March 2016.The contributions represent a selection from a symposium, held in October 2016 at TU Berlin, commemorating Hartmut’ s life and work as well as other invited papers in the areas he was active in. These areas include Graph Transformation, Model Transformation, Concurrency Theory, in particular Petri Nets, Algebraic Specification, and ..."

Modelling Foundations and Applications
11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings (Lecture Notes in Computer Science)
द्वारा Gabriele Taentzer, Francis Bordeleau
Paperback, 216 पन्ने, प्रकाशित 2015 द्वारा Springer
ISBN-13: 978-3-319-21150-3, ISBN: 3-319-21150-1

"This book constitutes the proceedings of the 11th European Conference on Modelling Foundations and Applications, ECMFA 2015, held as part of STAF 2015, in L`Aquila, Utaly, in July 2015. The 13 papers presented in this volume were carefully reviewed and selected from 54 submissions. The committee decided to accept 13 papers, 9 papers for the Foundations Track and 4 papers for the Applications Track. Papers on a wide range of MBE aspects ..."

Fundamental Approaches to Software Engineering
13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and ... (Lecture Notes in Computer Science)
द्वारा Gabriele Taentzer, David S. Rosenblum, Vittorio Cortellessa
Paperback, 383 पन्ने, प्रकाशित 2010 द्वारा Springer
ISBN-13: 978-3-642-12028-2, ISBN: 3-642-12028-8

"ETAPS 2010 was the 13th instance of the European Joint Conferences on T- oryand Practiceof Software. ETAPS is anannual federatedconference that was establishedin1998bycombininganumberofexistingandnewconferences. This yearitcomprisedtheusual?vesisterconferences(CC,ESOP,FASE,FOSSACS, TACAS), 19 satellite workshops (ACCAT, ARSPA-WITS, Bytecode, CMCS, COCV, DCC, DICE, FBTC, FESCA, FOSS-AMA, GaLoP, GT-VMT, LDTA, M ..."

Fundamentals of Algebraic Graph Transformation
(Monographs in Theoretical Computer Science. An EATCS Series)
द्वारा Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer, Erik Oberg, Franklin D. Jones, Henry H. Ryffel, Holbrook L. Horton
Hardcover, 390 पन्ने, प्रकाशित 2006 द्वारा Springer
ISBN-13: 978-3-540-31187-4, ISBN: 3-540-31187-4

"This is the first textbook treatment of the algebraic approach to graph transformation, based on algebraic structures and category theory. It contains an introduction to classical graphs. Basic and advanced results are first shown for an abstract form of replacement systems and are then instantiated to several forms of graph and Petri net transformation systems. The book develops typed attributed graph transformation and contains a prac ..."

Formal Methods in Software and Systems Modeling
Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday (Lecture Notes in Computer Science / Programming and Software Engineering)
द्वारा Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer, Hans-Jörg Kreowski, Rg, Hans-Joerg Kreowski
Paperback, 420 पन्ने, प्रकाशित 2005 द्वारा Springer
ISBN-13: 978-3-540-24936-8, ISBN: 3-540-24936-2

"By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, this book commemorates the 60th birthday of Hartmut Ehrig. The 24 invited reviewed papers are written by students and collaborators of Hartmut Ehrig who are established researchers in their fields. Reflecting the scientific interest and work of Hartmut Ehrig, th ..."

Graph Transformation for Software Engineers
With Applications to Model-Based Development and Domain-Specific Language Engineering
द्वारा Reiko Heckel, Gabriele Taentzer
Hardcover, 306 पन्ने, प्रकाशित 2020 द्वारा Springer
ISBN-13: 978-3-030-43915-6, ISBN: 3-030-43915-1

"This graduate textbook provides an introduction to graph transformation as a fundamental tool to enable model-based development at the level of individual software systems and modelling languages. The authors address both the fundamental concepts and the techniques of graph transformation and their application to software modelling and language engineering. The book will be valuable for graduate students in the areas of software enginee ..."

Graph Transformations
4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008, Proceedings (Lecture Notes in ... Computer Science and General Issues)
द्वारा Hartmut Ehrig, Reiko Heckel, Grzegorz Rozenberg, Gabriele Taentzer
Paperback, 523 पन्ने, प्रकाशित 2008 द्वारा Springer
ISBN-13: 978-3-540-87404-1, ISBN: 3-540-87404-6

"Graphs are among the simplest and most universal models for a variety of s- tems, not just in computer science, but throughout engineering and the life sciences. When systems evolve we are interested in the way they change, to p- dict, support, or react to their evolution. Graph transformation combines the idea of graphs as a universal modelling paradigm with a rule-based approach to specify their evolution. ..."

Programmierung, Algorithmen Und Datenstrukturen(1st Edition)
द्वारा Heinz-Peter Gumm, Manfred Sommer, Gabriele Taentzer, Wolfgang Hesse, Bernhard Seeger
Paperback, 408 पन्ने, प्रकाशित 2016 द्वारा Walter De Gruyter Inc
ISBN-13: 978-3-11-044227-4, ISBN: 3-11-044227-2

"Dieser erste Band der Informatik erklärt die grundlegenden Konzepte: Programmierung, Algorithmen und Datenstrukturen. Nach einer Einführung zum Aufbau von Rechnersystemen und zur Darstellung von Informationen folgt ein Einstieg in die Programmierung mit der Sprache Python. Dabei werden grundsätzliche Prinzipien von Programmiersprachen erläutert, darunter Schleifen, Rekursion, imperative, funktionale und objektorientierte Programmierkonz ..."

Fundamentals of Algebraic Graph Transformation(Reprint)
(Monographs in Theoretical Computer Science. An EATCS Series)
द्वारा Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer
Paperback, 390 पन्ने, प्रकाशित 2010 द्वारा Springer
ISBN-13: 978-3-642-06831-7, ISBN: 3-642-06831-6

"Graphs are widely used to represent structural information in the form of objects and connections between them. Graph transformation is the rule-based manipulation of graphs, an increasingly important concept in computer science and related fields. This is the first textbook treatment of the algebraic approach to graph transformation, based on algebraic structures and category theory. Part I is an introduction to the classical case of g ..."

Graph Transformation, Specifications, and Nets
In Memory of Hartmut Ehrig
द्वारा Reiko Heckel, Gabriele Taentzer
333 पन्ने, प्रकाशित 2018 द्वारा Springer
ISBN-13: 978-3-319-75396-6, ISBN: 3-319-75396-7

"In Memory of Hartmut Ehrig Reiko Heckel, Gabriele Taentzer. 34. 35. 36. 37. 38. 39. 40. 41. 42. 43. 44. 45. 46. 47. 48. 49. 50. Fleurey, F. ... In: Abrial, J.-R., Glässer , U. (eds.) Rigorous Methods for Software Construction and Analysis. LNCS, vol. 5115, pp. 204–218. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3- 642-11447- 213 Kuhlmann, M., Gogolla, M.: From UML and OCL to relational logic and back. In: France, R.B., ..."

Monographs in Theoretical Computer Science. an EATCS Ser.
Fundamentals of Algebraic Graph Transformation
द्वारा Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer
390 पन्ने, प्रकाशित 2006 द्वारा Springer Science & Business Media
ISBN-13: 978-3-540-31188-1, ISBN: 3-540-31188-2

"[BKPT05] P. Bottoni, M. Koch, F. Parisi-Presicce, and G. Taentzer. Termination of High-Level Replacement Units with Application to Model Transformation. In M. Minas, editor, Proceedings of VLFM 2004, Electronic Notes in Theoretical Computer Science, Vol. 127(4), pages 71–86. Elsevier, 2005. [BP02] L. Baresi and M. Pezze. A Toolbox for Automating Visual Software Engineering. In R. Kutsche and H. Weber, editors, Proceedings of FASE 2 ..."

Lecture Notes in Computer Science Ser.
Formal Methods in Software and Systems Modeling : Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday 3393
द्वारा Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer
420 पन्ने, प्रकाशित 2005 द्वारा Springer
ISBN-13: 978-3-540-31847-7, ISBN: 3-540-31847-X

"Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday Hans- Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer. 12. 13. 14. 15. 16. 17. 18. 19. 20. 21. 22. 23. 24. 25. 26. M. Grosse- Rhode, F. Parisi-Presicce, and M. Simeoni. Refinements and modules for typed graph transformation systems. ... J.H. Hausmann, R. Heckel, and M. Lohmann. Model-based discovery of web services. In Proc. In ..."

Parallel and Distributed Graph Transformation - Formal Description and Application to Communication-Based Systems
द्वारा Gabriele Taentzer
Paperback, 186 पन्ने, प्रकाशित 1996 द्वारा Shaker Verlag
ISBN-13: 978-3-8265-1636-8, ISBN: 3-8265-1636-2

Lecture Notes in Computer Science
Modelling Foundations and Applications : 11th European Conference, ECMFA 2015, Held As Part of STAF 2015, l`Aquila, Italy, July 20-24, 2015. Proceedings 9153
द्वारा Gabriele Taentzer, Francis Bordeleau
203 पन्ने, प्रकाशित 2015 द्वारा Springer
ISBN-13: 978-3-319-21151-0, ISBN: 3-319-21151-X

"In: Gabriel, R.P., Bacon, D.F., Lopes, C.V., Jr., G.L.S. (eds.) OOPSLA 2007: 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, pp. 229–244. ACM (2007) Mallet, F., Lagarde, F., André, C., Gérard, S., Terrier, F.: An automated process for implementing multilevel domain models. In: van den Brand, M., Gaˇsevic, D., Gray, J. (eds.) SLE 2009. LNCS, vol. 5969, pp. 314–333. Springer, H ..."

Machinery's Handbook 25
A Reference Book for the Mechanical Engineer, Designer, Manufacturing Engineer, Draftsman, Toolmaker, and Machinist
द्वारा Erik Oberg, Franklin D. Jones, Henry H. Ryffel, Holbrook L. Horton, Ken Green, Jones Staff, Robert E. Green, Christopher J. Mccauley, Gabriele Taentzer, Karsten Ehrig, Hartmut Ehrig, Ulrike Prange
Hardcover, 2,560 पन्ने, प्रकाशित 1996 द्वारा Industrial Press, Inc.
ISBN-13: 978-0-8311-2575-2, ISBN: 0-8311-2575-6

" The speeds and feeds section has been revised, updated, and greatly expanded to include new materials, more cutting tools, and tool life estimates. The entire welding section has been completely rewritten to incorporate all the latest technologies. The numerical control section has been expanded and rearranged to facilitate use. Logarithm and trigonometry tables have been reinstated. New to this edition are sections on bolt tightening ..."

Graph Transformation for Software Engineers(1st ed. 2020)
With Applications to Model-Based Development and Domain-Specific Language Engineering
द्वारा Heckel, Reiko, Taentzer, Gabriele
Paperback, 332 पन्ने, प्रकाशित 2021 द्वारा Springer
ISBN-13: 978-3-030-43918-7, ISBN: 3-030-43918-6

Graph Transformation for Software Engineers
With Applications to Model-Based Development and Domain-Specific Language Engineering
द्वारा Reiko Heckel, Gabriele Taentzer
309 पन्ने, प्रकाशित 2020 द्वारा Springer Nature
ISBN-13: 978-3-030-43916-3, ISBN: 3-030-43916-X

"This book is an introduction to graph transformation as a foundation to model-based software engineering at the level of both individual systems and domain-specific modelling languages."

Books by Gabriele Taentzer