Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Search
Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday (Lecture Notes in Computer Science 3393)
Kreowski H., Montanari U., Orejas F., Rozenberg G., Taentzer G., Springer-Verlag New York, Inc., Secaucus, NJ, 2005. 413 pp. Type: Book (9783540249368)
Date Reviewed: Nov 10 2005

This festschrift contains essays dedicated to Hartmut Ehrig, on the occasion of his sixtieth birthday. Ehrig’s methods originated in category theory, and were first applied in a graph-theoretic context. Now, they are omnipresent. Appropriately, this festschrift shows their influence across a broad range of fields, including concurrency modeling, state charts, coalgebras, and Petri nets, and exemplifies them in such areas as molecular biology and systems theory for transportation.

The book contains 24 contributions by 44 authors (many of them widely known, with only a few appearing repeatedly), and is divided into three sections: “Graph Transformation,” “Algebraic Specification and Logic,” and “Formal and Visual Modeling.” The book also contains Ehrig’s impressive bibliography, with six books authored, 17 books edited, and 238 papers published. The volume allows the worldwide and highly interrelated group-forming work of Ehrig to be observed. The essays are carefully balanced--some are highly technical, others are explanatory texts, and some are reports on supporting systems.

Reviewer:  Gunther Schmidt Review #: CR132016 (0610-0997)
Bookmark and Share
 
Formal Methods (D.2.4 ... )
 
 
Model Checking (D.2.4 ... )
 
 
Modeling And Prediction (D.4.8 ... )
 
 
Software/ Program Verification (D.2.4 )
 
Would you recommend this review?
yes
no
Other reviews under "Formal Methods": Date
On a method of multiprogramming
Feijen W., van Gasteren A., Springer-Verlag New York, Inc., New York, NY, 1999. Type: Book (9780387988702)
May 1 2000
Computer-Aided reasoning: ACL2 case studies
Kaufmann M. (ed), Manolios P. (ed), Moore J. Kluwer Academic Publishers, Norwell, MA,2000. Type: Divisible Book
Jul 2 2002
Architecting families of software systems with process algebras
Bernardo M., Ciancarini P., Donatiello L. ACM Transactions on Software Engineering and Methodology 11(4): 386-426, 2002. Type: Article
Mar 10 2003
more...

E-Mail This Printer-Friendly
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy