Search for Author All Reviews
	Ehrig, Hartmut     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 4 of 4 reviews       Graph and model transformation: general framework and applications Ehrig H., Ermel C., Golas U., Hermann F., Springer International Publishing, New York, NY, 2015. 472 pp.  Type: Book (978-3-662479-79-7) In recent years, graph applications have attracted much attention in computer science and several other research fields. The book Graph and model transformation is written from a mathematical point of view, so there are no codes...... Oct 20 2016     Petri net technology for communication-based systems: advances in Petri nets Ehrig H., Reisig W., Rozenberg G., Springer-Verlag, 2004.  Type: Book (9783540205388) Carl Petri’s 1962 doctoral thesis, “Kommunikation mit automaten” (Communicating with automata) [1], introduced a new type of formalism to the computing world. That formalism, now known as Petri nets, has b...... Sep 29 2004     Algebraic specification techniques and tools for software development Classen I., Ehrig H., Wolz D., World Scientific Publishing Co., Inc., River Edge, NJ, 1993.  Type: Book (9789810212278) The book proposes the use of algebraic specifications as a formal method for software development. More precisely, it presents one approach to using algebraic specifications, namely the ACT approach developed by the Berlin group to whi...... Apr 1 1996     Compatibility problems in the development of algebraic module specifications Ehrig H., Fey W., Hansen H., Löwe M., Jacobs D., Parisi-Presicce F. Theoretical Computer Science 77(1-2): 27-71, 1990.  Type: Article Reporting on an extended project concerning modularized software development, the authors present a number of  theorems  related to the compatibility of specifications generated at various steps in the development and...... Oct 1 1991
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy