Bücher von Martin Wirsing

This volume contains the papers from the workshop "e;Radical Innovations of Software and Systems Engineering in the Future."e; This workshop was the ninth in the series of Monterey Software Engineering workshops for formulating and advancing software engineering models and techniques, with the fundamental theme of increasing the practical impact of formal methods. During the last decade object orientation was the driving factor for new system solutions in many areas ranging from e-commerce to embedded systems. New modeling languages such as UML and new programming languages such as Java and CASE tools have considerably in?uenced the system development techniques of today and will remain key techniques for the near future. However, actual practice shows many de?ciencies of these new approaches: - there is no proof and no evidence that software productivity has increased with the new methods; - UML has no clean scienti?c foundations, which inhibits the construction of powerful analysis and development tools; - support for mobile distributed system development is missing; - formanyapplications,object-orienteddesignisnotsuitedtoproducingclean well-structured code, as many applications show.

This monograph details several important advances in the direction of a practical proofs-as-programs paradigm, which constitutes a set of approaches to developing programs from proofs in constructive logic with applications to industrial-scale, complex software engineering problems.

Dieses Buch über elementare Aussagenlogik (wie auch seine geplante Fortsetzung über Elementare Prädikatenlogik und Universelle Algebra) ist aus Vorlesungen an der Technischen Universität München entstanden. Es basiert auf der Überzeugung, daß für Studierende der Informatik nicht nur ein anderer Aufbau des mathematischen Grundstudiums geboten ist als etwa für Ingenieure oder Physiker, sondern auch ein anderes Menü, als es sich an unseren Universitäten nach den GAMM-NTG-Empfehlungen der siebziger Jahre eingebürgert hat. Neben den unentbehrlichen Einführungsvorlesungen in Mathematik sind für die Informatiker vor dem Vordiplom handwerkliche Grundkenntnisse in Logik und Universeller Algebra erforderlich - als Grundlage für die Praktische und die Theoretische Informatik im zweiten Studienabschnitt. Im Gegensatz zu vielen anderen Büchern über Logik ist dieses für den Anfänger der Informatik geschrieben und didaktisch auf sein Niveau eingestellt. Dabei sind sonst eher außerhalb der Aussagenlogik liegende Gegenstände wie die Schaltlogik systematisch einbezogen worden, wo immer es möglich war: von dem für die Programmiersprachen so wichtigen Gebiet der dyadischen Fallunterscheidungen über die Resolventenmethode, die den Anschluß an die Prädikatenlogik vorbereitet, bis zu modalen Aussagenlogiken. Die eingestreuten Übungsaufgaben greifen häufig Gedanken auf, die im Text nur nebenbei erwähnt sind, und stellen Querbezüge her. Die Lösungshinweise am Ende des Buches bieten manche Überraschungen.

Das Buch bietet eine knappe, praxisorientierte Einfu¿hrung in die Programmierung mit Java, die den Stoff einer Erstsemestervorlesung oder einer Java-Umschulung abdeckt ohne u¿berflu¿ssiges Material zu enthalten. Im Gegensatz zu vielen anderen Bu¿chern, die eine enzyklopädische Abhandlung von Java anstreben, soll der Leser unseres Buchs schnell in die Lage versetzt werden, Java Programme zu schreiben und zu verstehen. Das Buch vermittelt alle Grundlagen, die fu¿r einen effektiven Einstieg als Java-Programmierer ins Berufsleben oder die akademische Ausbildung beno¿tigt werden. Das Buch basiert auf Vorlesungen, Kursen und Praktika, die an der Ludwig-Maximilians-Universität Mu¿nchen fu¿r Studenten im ersten und zweiten Semester gehalten wurden.