Recent Trends in Data Type Specification: 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, ... Papers (Lecture Notes in Computer Science) [Paperback]
Item description for Recent Trends in Data Type Specification: 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, ... Papers (Lecture Notes in Computer Science) by Hartmut Ehrig...
Research in the area of abstract data types started about 20 years ago. Since then there has been continuous activity with strong influence both on the applications and the theoretical foundations of methodologies for software design. The Ninth Workshop on Specification of Abstract Data Types was held jointly with the Fourth COMPASS Workshop in Spain in 1992. The main topics covered were: object-oriented specifications, rewriting methods, specification languages and associated tools, type systems, and algebraic specification of concurrency. This volumes contains four invited papers presented at the workshop together with the final versions of 17 contributed papers selected after a careful refereeing process from 46 submissions.
Promise Angels is dedicated to bringing you great books at great prices. Whether you read for entertainment, to learn, or for literacy - you will find what you want at promiseangels.com!
Est. Packaging Dimensions: Length: 9.21" Width: 6.14" Height: 0.75" Weight: 1.13 lbs.
Release Date May 27, 1994
ISBN 3540578676 ISBN13 9783540578673
Availability 134 units. Availability accurate as of May 28, 2017 10:08.
Usually ships within one to two business days from La Vergne, TN.
Orders shipping to an address other than a confirmed Credit Card / Paypal Billing address may incur and additional processing delay.
More About Hartmut Ehrig
The first author, Prof. Hartmut Ehrig, has been one of the key figures in this specific field over the last few decades.
He has written over 200 articles for refereed publications in the last 30 years (http: //www.informatik.uni-trier.de/~ley/db/indices/a-tree/e/Ehrig: Hartmut.html).
He has edited many LNCS proceedings volumes over the last 20 years, including: LNCS 3393 (http: //www.springer.com/3-540-24936-2), LNCS 3256 (http: //www.springer.com/3-540-23207-9), LNCS 3147 (http: //www.springer.com/3-540-23135-8), LNCS 2505 (http: //www.springer.com/3-540-44310-X), LNCS 2472 (http: //www.springer.com/3-540-20538-1), LNCS 2128 (http: //www.springer.com/3-540-43067-9), LNCS 1764 (http: //www.springer.com/3-540-67203-6), LNCS 1073 (http: //www.springer.com/3-540-61228-9), LNCS 776 (http: //www.springer.com/3-540-57787-4), LNCS 534 (http: //www.springer.com/3-540-54496-8), LNCS 532 (http: //www.springer.com/3-540-54478-X), LNCS 393 (http: //www.springer.com/3-540-51722-7), LNCS 291 (http: //www.springer.com/3-540-18771-5). These LNCS volumes deal with his particular areas of expertise: Petri nets, graph transformations, category theory, graph grammars, type specification, and software modelling and specification techniques.
He was the subject of the recent LNCS Festschrift: Formal Methods in Software and Systems Modeling, Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday, LNCS 3393, Kreowski et al., 2005 (http: //www.springer.com/3-540-24936-2).
Prof. Ehrig wrote two previous books for Springer's EATCS series: (i) "Fundamentals of Algebraic Specification 2 -- Module Specifications and Constraints," EATCS Monographs Series, Hartmut Ehrig, Bernd Mahr, 1990, http: //www.springer.com/3-540-51799-5; this sold 1151 copies. (ii) "Fundamentals of Algebraic Specification 1 -- Equations and Initial Semantics," EATCS Monographs Series, Hartmut Ehrig, Bernd Mahr, http: //www.springer.com/3-540-13718-1.
He has been a key promoter of the relevant research area of the book in various EU-funded projects, including COMPUGRAPH (http: //www.sts.tu-harburg.de/projects/Esprit-BR/Synopses/Projects/7183.html).
Finally, Prof. Ehrig was among the coeditors of the World Scientific "Handbook of Graph Grammars and Computing by Graph Transformation."
The fourth author, Dr. Gabriele Taentzer, has written over 50 articles for refereed publications in the last 15 years (http: //www.informatik.uni-trier.de/~ley/db/indices/a-tree/t/Taentzer: Gabriele.html), including the ACM Computing Surveys paper "Graphical Representation and Graph Transformation." Dr. Taentzer is on the Program and Steering Committees of a number of key, relevant conferences (FASE 2006, ICGT 2006), etc.
Further Notes: Prof. Dr. Hartmut Ehrig, TU Berlin, http: //tfs.cs.tu-berlin.de/; Karsten Ehrig, TU Berlin, http: //tfs.cs.tu-berlin.de/~karstene; Ulrike Prange, TU Berlin, http: //tfs.cs.tu-berlin.de/~uprange; Dr. Gabriele Taentzer, TU Berlin, http: //tfs.cs.tu-berlin.de/~gabi.
Reviews - What do customers think about Recent Trends in Data Type Specification: 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, ... Papers (Lecture Notes in Computer Science)?
Ask A Question or Provide Feedback regarding Recent Trends in Data Type Specification: 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, ... Papers (Lecture Notes in Computer Science)
Add This Product Widget To Your Website
Looking to add this information to your own website? Then use our Product Widget to allow you to display product information in a frame that is 120 pixels wide by 240 pixels high.