"Essays Dedicated to Manfred Nagl on the Occasion of his 65th BirthdayBroschiertes BuchManfred Nagl has been a very active, productive researcher with great impact in a number of di?erent areas,e.g., graphtransformationsand their applications to a wide range of disciplines, software engineering environments, engineering designprocesses,andsoftwarearchitectures.We ?veofhisnumerousacademic descendants were in?uenced deeply by Manfred s wor ..."
"Each type of library item can be borrowed for a different period of time (books 6
weeks, journals 3 days, videos 1 week). ... Materials will be lent to employees
only if they have (1) no overdue lendables, (2) fewer than 10 articles out, and (3)
... After further brainstorming, the CRC team might propose librarian as a further
candidate and recognise further items that a library might need to handle, like for
example software and a ..."
"... also to the people of the repository suppliers, for their presentations, their
technical aid and all their other efforts. We would also thank the anonymous
referees, Michael Kuchenbecker and Nick Grindell for their help in improving this
paper."
"This book is based upon work done under the project "Correct Software through Formal Methods" supported by the German Ministry of Research and Technology. As a case-study report on the practice of formal software development, this book systematically presents and compares 18 different approaches to the control of a real-world production cell. Mathematically precise, formal methods play an increasingly important role in software developm ..."
"Im Rahmen des Forschungsprojektes IPSEN (Incremental Programming Support Environment) wurden Konzepte zum Bau hochgradig interaktiver und integrierter Software-Entwicklungsumgebungen erarbeitet und ihre Brauchbarkeit in einer Prototyp-Implementierung nachgewiesen. Die wesentlichen Charakteristika des IPSEN-Ansatzes sind der hohe Grad an Integration verschiedener Software-Werkzeuge und -Dokumente und der Einsa ..."
"This book is based upon work done under the project "Correct Software through Formal Methods" supported by the German Ministry of Research and Technology. As a case-study report on the practice of formal software development, this book systematically presents and compares 18 different approaches to the control of a real-world production cell. Mathematically precise, formal methods play an increasingly importa ..."