Methods of Programming: Selected Papers on the CIP-Project (Lecture Notes in Computer Science, 544, Band 544) - Softcover

Softcover

ISBN 10: 354054576X ISBN 13: 9783540545767

Verlag: Springer, 2008

Inhaltsangabe

The systematic development of software systems is a central task of computing science. A software system is the result of putting together knowledge about the application, the requirements and the structures of computing science. Under the heading CIP (Computer-aided Intuition-guided Programming), a group of researchers led by Prof. F.L. Bauer and Prof. K. Samelson started work in 1975 in the direction of formal program specification, transformational programming, and tool supportfor program development. The collection of papers in this volume presents examples of a formal approach to programming language concepts and program development based on algebraic specifications and program transformations. Examples are also presented of evolutions and modificationsof the original ideas of the CIP project. The topics range from descriptionsof the program development process to derivations of algorithms from specifications. The volume is dedicated to Prof. F.L. Bauer.

Über diesen Titel

Über die Autorinnen und Autoren

Manfred Broy leitete an der Technischen Universität München den Lehrstuhl Software & Systems Engineering. Er gründete 2009 das Forschungsinstitut für angewandte Forschungstechnik fortiss. Seit 2016 ist er Gründungspräsident des Zentrums Digitalisierung. Bayern. Seine wissenschaftlichen Arbeiten, die diesem Buch zugrunde liegen, zielen auf die formale Fundierung der Konzepte und Methoden des Softwareengineerings als Basis für eine fundierte Entwicklung von Programmsystemen.Alexander Malkis ist ein internationaler Forscher im Bereich "formale Methoden" mit Fokus auf Verifikation, Programmanalyse und Nebenläufigkeit. Sein Forschungsziel besteht darin, Methoden zur Steigerung von Sicherheit, Zuverlässigkeit und Vertrauenswürdigkeit nebenläufiger Programme, Architekturen und Systeme zu entwickeln. Prof. Dr. Martin Wirsing ist Leiter des Lehrstuhls für Programmierung und Software-Technik des Instituts für Informatik der LMU München und Vizepräsident der LMU für den Bereich Studium. Dr. Matthias Hölzl ist wissenschaftlicher Mitarbeiter am Institut für Informatik der LMU München mit langjähriger Erfahrung in der Lehre und kann auf viele Jahre industrielle Erfahrung zurückblicken. Dipl. Inform. Allaithy Raed ist wissenschaftlicher Mitarbeiter am Institut für Informatik der LMU München und unterrichtet dort seit mehreren Jahren Einführungskurse in Java. Vor seiner universitären Tätigkeit arbeitete er 3 Jahre als Software-Entwickler.

Dr. rer. nat. Manfred Broy studierte Mathematik und Informatik 1971-76 an der Technischen Universität München. Dort 1976-80 wissenschaftlicher Mitarbeiter im Sonderforschungsbereich 49 'Programmiertechnik' der DFG. 1980 Promotion, ab 1980 wisschenschaftlicher Assistent und 1982 Habilitation in Informatik an der TU München. 1983 ordentlicher Professor für Informatik und Gründungsdekan an der Fakultät für Mathematik und Informatik der Universität Passau. Seit 1989 ordentlicher Professor für Informatik an der TU München. 1994 Leibniz-Preis der DFG. Prof. Dr. Martin Wirsing ist Leiter des Lehrstuhls für Programmierung und Software-Technik des Instituts für Informatik der LMU München und Vizepräsident der LMU für den Bereich Studium.

Details zur Ausgabe

• Verlag: Springer
• Erscheinungsdatum: 2008
• Sprache: Englisch
• ISBN 10: 354054576X
• ISBN 13: 9783540545767
• Einband: Taschenbuch
• Anzahl der Seiten: 260
• Herausgeber: Broy Manfred, Wirsing Martin
• Kontakt zum Hersteller: Springer Nature Customer Service Center GmbH; ProductSafety@springernature.com; ; Europaplatz 3; Heidelberg; 69115; Deutschland