Specification and Transformation of Programs

Specification and Transformation of Programs von Partsch Helmut A. (Autor)

Autor: Partsch, Helmut A.

Verleger: Springer-Verlag GmbH

Genre: Hardcover/Informatik

ISBN: 3540523561

EAN/ISBN-13: 9783540523567

Sprache: eng

Veröffentlichung: Oktober 2007


 
 
Klappentext zu Specification and Transformation of Programs
Specification and Transformation of Programs is short for a methodology of software development where, from a formal specification of a problem, programs correctly solving that problem are constructed by stepwise application of formal, semantics-preserving transformation rules. This book is primarily intended as a general introductory textbook. It can also be seen as a comprehensive account of the transformational methodology developed within the Munich CIP project. The contents of the book reflect the essential steps in a sequential process of software development from an informally stated problem, via a formal problem specification, to a final, efficient program. Aspects considered include linguistic means for describing the various intermediate stages in the process, individual techniques for the transition between these stages, and strategies for applying these techniques. All aspects are illustrated by representative examples.

weitere passende Bücher

Components of System Safety

Components of System Safety contains the invited papers presented at the tenth annual Safety-critical Systems Symposium, held in Southampton, February 2002. The papers included in this volume are …

Accidents and Their Investigation.- Accident Investigation - Missed Opportunities.- The Asta Train Crash, its Precursors and Consequences, and its Investigation.- Reasons for the Failure of Incident …


geschrieben von Felix Redmill (Herausgeber) und Tom Anderson (Herausgeber)

Building Intelligent Interactive Tutors

The computers? impact on education is undeniably strong, but instructional software has not reached a level where it is truly responsive to student needs nor flexible enough for effective teaching and …


geschrieben von Beverly Park Woolf (Autor)

Egmont

Im Mittelpunkt der Handlung steht die Verhaftung und Hinrichtung des Grafen Egmont durch den spanischen Feldherrn Alba. Es handelt sich dabei jedoch weniger um ein politisches Drama als vielmehr um …


geschrieben von Johann Wolfgang von Goethe (Autor)

Die Schlangenkrieg-Saga 05. Die Rückkehr des schwarzen Zauberers

Raymond Feist wurde 1945 in Los Angeles geboren und lebt in San Diego im Süden Kaliforniens. Viele Jahre lang hat er Rollenspiele und Computerspiele entwickelt. Aus dieser Tätigkeit entstand …

Die Schlangenmenschen von Midkemia versuchen, den magischen Stein des Lebens zu erobern und die Drachenlords ins Königreich zurückzuholen, doch Menschen und Elben treten ihnen mutig …


geschrieben von Andreas Helweg (Übersetzung) und Raymond E. Feist (Autor)

Wer die Nachtigall stört

wurde 1926 in Monroeville/Alabama geboren. Sie studierte ab 1945 Jura an der Universität in Alabama, ging aber vor dem Abschluß nach New York und arbeitete bei einer internationalen …

Wie Mark Twain beschwört Harper Lee den Zauber und die versponnene Poesie einer Kindheit im tiefen Süden der Vereinigten Staaten. Die Geschwister Scout und Jem wachsen in einer Welt von …


geschrieben von Harper Lee (Autor) und Claire Malignon (Übersetzung)

Zauberkraft Saft

Auf die richtige Mischung kommt es an: Anita Höhne und der Arzt Dr. Hochenegg greifen auf altes …


geschrieben von Anita Höhne (Autor) und Leonhard Hochenegg (Autor)

Rasmus, Pontus und der Schwertschlucker

Astrid Lindgren, »die bekannteste Kinderbuchautorin der Welt« (Die Zeit), wurde 1907 auf Näs im schwedischen Småland geboren und starb im Januar 2002 in Stockholm. Viele ihrer Bücher wie …

Dieses Buch handelt von Rasmus und Pontus, den Schulfreunden aus Västanvik. Beide sind elf Jahre alt und viel lieber auf dem Rummelplatz als in der Schule.

Dieses Buch handelt vom …


geschrieben von Astrid Lindgren (Autor)

Tagebücher 1909 - 1923

Aus Kafkas Eigenart, Tagebücher zu führen - autobiographische und literarische Texte dabei miteinander mischend - , wird deutlich, wie stark Kafkas jeweilige Lebenssituation auf das …


geschrieben von Franz Kafka (Autor)

Bismarck

Lothar Gall, geboren 1936 in Lötzen/Ostpreußen. Seit 1975 Professor für Neuere Geschichte an der Universität Frankfurt am Main. Herausgeber der Historischen Zeitschrift. …


geschrieben von Lothar Gall (Autor)


durchsuche buecher-lounge.de

  • Loading