KORSO: Methods, Languages, and Tools for the Construction of Correct Software

KORSO: Methods, Languages, and Tools for the Construction of Correct Software von Broy Manfred (Herausgeber) und Jähnichen Stefan (Herausgeber)

Herausgeber: Broy, Manfred

Herausgeber: Jähnichen, Stefan

Verleger: Springer-Verlag GmbH

Genre: Hardcover/Informatik

ISBN: 3540605894

EAN/ISBN-13: 9783540605898

Sprache: eng

Veröffentlichung: Dezember 2007


 
 
Klappentext zu KORSO: Methods, Languages, and Tools for the Construction of Correct Software
This book constitutes the final report of the work carried out in the project KORSO ("Korrekte Software") funded by the German Federal Ministry for Research and Technology. KORSO is an evolutionary, prototype-oriented project aimed at improving the theoretical foundations of quality-driven software engineering and at implementing known techniques for applications of practical relevance.The 21 strictly refereed papers presented are organized in five sections on methods for correctness, languages, development systems and logical frameworks, tools, and case studies. In addition, the preface and introductory paper give valuable background information and a concise state-of-the-art overview.

weitere passende Bücher

Übungen zur Einführung in die Informatik

Der vorliegende Übungsband enthält Aufgaben zu einer viersemestrigen Vorlesung "Einführung in die Informatik". Er ist eng abgestimmt auf die zweibändige Informatik-Einführung …


geschrieben von Manfred Broy (Autor) und Bernhard Rumpe (Autor)

Engineering Theories of Software Intensive Systems

Software engineering has over the years been applied in many different fields, ranging from telecommunications to embedded systems in car and aircraft industry as well as in production engineering and …

Preface.- Part I Architectures, Design and Interfaces Incremental Software Construction with Refinement Diagrams. Service-oriented Systems Engineering: Specification and Design of Services and Layered …


geschrieben von Manfred Broy (Herausgeber) und Johannes Gruenbauer (Herausgeber) und David Harel (Herausgeber) und Tony Hoare (Herausgeber)

Video, Speech, and Audio Signal Processing and Associated Standards

Georgia Institute of Technology, …

Focuses on digital signal processing applications in speech and acoustics. This title features chapters and a section on relevant standards associated with speech, audio, video, and image processing. …


geschrieben von Vijay K. Madisetti (Autor)

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)

Supplements to the Journal for the Study of Judaism, Judah and Tamar (Genesis 38) in Ancient Jewish Exegesis: Studies in Literary Form and Hermeneutic

This exploration of Genesis 38 in "The Testament of Judah," "Targum Neofiti," and "Genesis Rabbah" shows how new meanings emerge through encounters between the biblical text and later Jewish …


geschrieben von Esther Marie Menn (Autor) und E. M. Menn (Autor)

Auf einen Blick: Literaturgeschichte

Auf einen Blick: Literaturgeschichte bietet einen einführenden Überblick über die deutschsprachige Literatur von den Anfängen im 8. Jahrhundert bis in die Mitte der Neunzigerjahre …


geschrieben von Hans Gerd Rötzer (Autor)

Playback

Professionell gemachte Fanpage mit Bildmaterial (viele …

Privatdetektiv Philip Marlowe wird von Rechtsanwalt Clyde Unmey beauftragt, eine junge Dame zu beschatten. Die rothaarige Eleanor King ist eine Augenweide, und der Auftrag ganz nach Marlowes …


geschrieben von Raymond Chandler (Autor)

Der Präsident

Luther Whitney, ein Einbrecher, plant seinen letzten Coup. Eine leerstehende Villa schient dafür wie geschaffen. Doch als er gerade das Schlafzimmer ausräumen will, fährt ein Wagen vor. …


geschrieben von David Baldacci (Autor) und Michael Krug (Übersetzung)

Springer-Verlag: History of a Scientific Publishing House 2

The second part of the 150 years of Springer's history starts after World War II and continues up to 1992, when a change in management took place. This period can be seen as a single unit with regard …

Title is also available as part of a set: Springer-Verlag: History of …


geschrieben von Heinz Götze (Autor) und Mary Schäfer (Übersetzung)

Software Testing in the Real World: Improving the Process

Software Testing in the Real World provides the reader with a tool-box for effectively improving the software testing process. The book contains many testing techniques and guidance for creating a …

PART I: Software testing process maturity Chapter 1: The six essentials of software testing Essential 1: The quality of the test process determines the success of the test effort Essential 2: Prevent …


geschrieben von Edward Kit (Autor) und Susannah Finzi (Herausgeber)


durchsuche buecher-lounge.de

  • Loading