Merkzettel Warenkorb
  • Produktbild: KORSO: Methods, Languages, and Tools for the Construction of Correct Software
  • Produktbild: KORSO: Methods, Languages, and Tools for the Construction of Correct Software
Band 1009

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

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

08.11.1995

Herausgeber

Manfred Broy + weitere

Verlag

Springer Berlin

Seitenzahl

458

Maße (L/B/H)

23,5/15,5/2,6 cm

Gewicht

703 g

Auflage

1995

Sprache

Englisch

ISBN

978-3-540-60589-8

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

08.11.1995

Herausgeber

Verlag

Springer Berlin

Seitenzahl

458

Maße (L/B/H)

23,5/15,5/2,6 cm

Gewicht

703 g

Auflage

1995

Sprache

Englisch

ISBN

978-3-540-60589-8

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: KORSO: Methods, Languages, and Tools for the Construction of Correct Software
  • Produktbild: KORSO: Methods, Languages, and Tools for the Construction of Correct Software
  • Correct software: From experiments to applications.- A method for the development of correct software.- Realizing sets by hash tables.- Event automata as a generic model of reactive systems.- On object-oriented design and verification.- Design of modular software systems with reuse.- AVL trees revisited: A case study in Spectrum.- KORSO reference languages concepts and application domains.- How to cope with the Spectrum of Spectrum.- A fine-grain sort discipline and its application to formal program construction.- TROLL light — The language and its development environment.- Formalization of algebraic specification in the development language Deva.- Construction and deduction methods for the formal development of software.- Experiences with a specification environment.- Towards correct, efficient and reusable transformational developments.- The verification system Tatzelwurm.- Seduct — A proof compiler for first order logic.- Traverdi — Transformation and verification of distributed systems.- The Kiv-approach to software verification.- Three selected case studies in verification.- Case study “production cell”: A comparative study in formal specification and verification.- The Korso case study for software engineering with formal methods: A medical information system.