KORSO : methods, languages, and tools for the construction of correct software : final report /

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...

Full description

Bibliographic Details

Corporate Author:	SpringerLink (Online service)
Other Authors:	Broy, M., 1949-, Jähnichen, Stefan
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer, [1995]
Series:	Lecture notes in computer science ; 1009.
Subjects:	Computer software > Development. Electronic books.
Online Access:	Connect to the full text of this electronic book