Korso: Methods, Languages, and Tools for the Construction of Correct Software
Read Online
Share

Korso: Methods, Languages, and Tools for the Construction of Correct Software Final Report (Lecture Notes in Computer Science) by

  • 828 Want to read
  • ·
  • 31 Currently reading

Published by Springer-Verlag .
Written in English

Subjects:

  • Programming - Software Development,
  • Software Development,
  • Computers,
  • Computer software,
  • Development,
  • Computer Books: Languages,
  • Science/Mathematics

Book details:

Edition Notes

ContributionsManfred Broy (Editor), Stefan Jahnichen (Editor)
The Physical Object
FormatPaperback
ID Numbers
Open LibraryOL9805358M
ISBN 100387605894
ISBN 109780387605890

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

PDF EPUB FB2 MOBI RTF

KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report Manfred Broy, Martin Wirsing (auth.), Manfred Broy, Stefan Jähnichen (eds.) 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: methods, languages, and tools for the construction of correct software: final report. [M Broy; Stefan Jähnichen;] -- 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. ISBN: OCLC Number: Description: x, pages: illustrations ; 24 cm: Contents: Correct Software: From Experiments to Applications / M. Broy and M. Wirsing --A Method for the Development of Correct Software / P. Pepper and M. Wirsing --Realizing Sets by Hash Tables / P. Pepper, R. Betschko, S. Dick and K. Didrich --Event . KORSO: methods, languages, and tools for the construction of correct software: final report. Design of modular software systems with reuse.- AVL trees revisited: A case study in Spectrum.- KORSO reference languages concepts and application domains.- languages, and tools for the construction of correct software: final report\/span>\n.

Get this from a library! KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report. [Manfred Broy; Stefan Jähnichen]. KORSO: Methods, Languages, and Tools for the Construction of Correct Software The Korso case study for software engineering with formal methods: A medical information system AuthorsCited by: This paper gives an overview of the three Korso reference languages Specturm, Troll light, and Special, exposing their motivation and background, language concepts, and typical application domains. The presentation of the different languages is followed by a discussion to what extent these languages may complement each other in the software development by: 4. 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 21 strictly refereed papers presented are organized in five sections on methods for correctness, languages, development systems and logical .

KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report (Lecture Notes in Computer Science) by Manfred Broy (Editor), Stefan Jähnichen (Editor), Stefan [Editor] Jã¤Hnichen, Stefan JahnichenPages: The Korso project aims, by the use of formal methods, at the enhancement of the quality of software development in all phases of the software life cycle. The KORSO Approach to the Development of Reliable Information Systems for the development of correct software. Within this framework the focus of the KORSO group at the Technical University of. This paper gives an overview of the three Korso reference languages Spectrum, Troll light, and Special, exposing their motivation and background, language .