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, Band 3393) - Softcover

Softcover

ISBN 10: 3540249362 ISBN 13: 9783540249368

Verlag: Springer, 2008

Inhaltsangabe

By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, this book commemorates the 60^th 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, the papers fall into three main parts on graph transformation, algebraic specification and logic, and formal and visual modeling.

Über diesen Titel

Über die Autorin bzw. den Autor

Roberto Bruni is an associate professor in the Dept. of Computer Science of the University of Pisa. His research interests include concurrency, operational semantics, Petri nets, Java programming, business process modelling, software composition, and fog computing, and he teaches related courses to computer science and business informatics graduate and undergraduate students. He has served the community with committee membership of conferences such as FACS, Coordination, CONCUR and WRLA. He was previously an international fellow of the SRI International Computer Science Laboratory, and a visiting scholar of the University of Illinois at Urbana-Champaign.Ugo Montanari is an emeritus professor in the Dept. of Computer Science of the University of Pisa. He has published over 400 refereed articles or papers in theoretical computer science and artificial intelligence. His current research interests are the semantics of concurrency, process description languages, constraint programming, graph transformation systems, coordination models, algebraic and categorical models of concurrency, models and languages for open distributed systems, network-aware programming, service-oriented computing, and collective autonomic systems. He has served as a board member for key international scientific journals such as Fundamenta Informaticae, Theoretical Computer Science, Computer Science Review, Artificial Intelligence, the IEEE Transactions on Software Engineering, Logic Programming, Science of Computer Programming, Theory and Practice of Logic Programming, and New Generation Computing, and he has served the community as a chair or committee member, PC or steering, of major related conferences such as CONCUR, WRLA, CP, CALCO, CMCS, ICGT, and TGC. He was Vice-Director of the IMT School for Advanced Studies, Lucca. He is member of the Academia Europaea. Prof. Rozenberg is multiple Springer author/editor of, e.g., the LNCS series Advances in Petri Nets, of ICALP proceedings, of  "DNA Computing - New Computing Paradigms" by George Paun, Grzegorz Rozenberg, Arto Salomaa, of the "Handbook of Formal Languages" edited by Grzegorz Rozenberg, Arto Salomaa (3 volumes). Rozenberg is also founding editor of the EATCS Texts and Monographs Series and the Natural Computing Series. Prof. Dr.-Ing. Reiko Heckel is a member of the School of Informatics at the University of Leicester. Prof. Dr.-Ing. Gabriele Taentzer is a member of the Faculty of Mathematics and Computer Science at Philipps-Universität Marburg. The authors' research is in Graph Transformation, its foundations and applications to System Modelling and Analysis, Model-Based Software Development and Language Engineering.

Von der hinteren Coverseite

By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, this book commemorates the 60^th 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, the papers fall into three main parts on graph transformation, algebraic specification and logic, and formal and visual modeling.

Details zur Ausgabe

• Verlag: Springer
• Erscheinungsdatum: 2008
• Sprache: Englisch
• ISBN 10: 3540249362
• ISBN 13: 9783540249368
• Einband: Taschenbuch
• Anzahl der Seiten: 448
• Herausgeber: Kreowski Hans-Jörg, Montanari Ugo, Orejas Fernando, Rozenberg Grzegorz, Taentzer Gabriele
• Kontakt zum Hersteller: Springer Nature Customer Service Center GmbH; ProductSafety@springernature.com; ; Europaplatz 3; Heidelberg; 69115; Deutschland