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

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. It also gives a snapshot of the research ideas that in many cases have been deeply influenced by Professor Wirsing's work.
The book consists of six sections. The first section contains personal remembrances and expressions of gratitude from friends of Professor Wirsing. The remaining five sections consist of groups of scientific papers written by colleagues and collaborators of Professor Wirsing, which have been grouped and ordered according to his scientific evolution. More specifically, the papers are concerned with logical and algebraic foundations; algebraic specifications, institutions and rewriting; foundations of software engineering; service oriented systems; and adaptive and autonomic systems.

List 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.

Product details

• Assisted by: Rocc De Nicola (Editor), Rocco De Nicola (Editor), Hennicker (Editor), Hennicker (Editor), Rolf Hennicker (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 01.01.2015
• EAN: 9783319155449
• ISBN: 978-3-31-915544-9
• No. of pages: 694
• Dimensions: 156 mm x 37 mm x 239 mm
• Weight: 1054 g
• Illustrations: XIV, 694 p. 155 illus.
• Series: Lecture Notes in Computer Science; Programming and Software Engineering; Lecture Notes in Computer Science / Programming and Software Engineering; Lecture Notes in Computer Science; Programming and Software Engineering
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > IT; C, Künstliche Intelligenz, Software Engineering, Artificial Intelligence, Computerprogrammierung und Softwareentwicklung, Theoretische Informatik, Compiler und Übersetzer, computer science, Logics and Meanings of Programs, Programming Techniques, Programming Languages, Compilers, Interpreters, Computer programming, Mathematical theory of computation, Computer programming / software engineering, Mathematical logic, Mathematical Logic and Formal Languages, Computer architecture & logic design, Programming & scripting languages: general, Compilers & interpreters, Programming languages (Electronic computers), Computer logic, Computer Science Logic and Foundations of Programming, Formal Languages and Automata Theory, Compilers and Interpreters