Software, Services, and Systems Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Nicola, Rocco De (Editor), Hennicker, Rolf (Editor)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2015.
• Series: Lecture Notes in Computer Science, 8950
• Subjects: Computer science.; Computer programming.; Software engineering.; Programming languages (Electronic computers).; Computer logic.; Mathematical logic.; Artificial intelligence.; Computer Science.; Software Engineering.; Logics and Meanings of Programs.; Programming Languages, Compilers, Interpreters.; Programming Techniques.; Mathematical Logic and Formal Languages.; Artificial Intelligence (incl. Robotics).

This book is dedicated to Professor Martin Wirsing on the occasion of his emeritation from Ludwig-Maximilians-Universität in Munich, Germany. The volume is a reflection, with gratitude and admiration, on Professor Wirsing’s life highly creative, remarkably fruitful and intellectually generous life....

Table of Contents:

• Homage from Friends
• Logical and Algebraic Foundations
• Algebraic Specifications, Institutions and Rewriting
• Foundations of Software Engineering.- Service-Oriented Systems.- Adaptive and Autonomic Systems.