|
|
libcats.org
Главная →
KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final ReportKORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final ReportManfred Broy, Stefan JähnichenThis 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.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Genki 1: An Integrated Course in Elementary Japanese 1Автор: Eri Banno, Автор: Yutaka Ohno, Автор: Yoko Sakane, Автор: Chikako Shinagawa, Автор:
Размер книги: 172.22 Mb
Только что пользователи скачали эти книги:
Holy TerrorАвтор: Murphy Warren, Автор: Sapir RichardКатегория: Детективная фантастика
Размер книги: 331 Kb
Dendritic Cells, Second Edition: Biology and Clinical ApplicationsАвтор: Michael T. Lotze, Автор: Angus W. ThomsonКатегория: Biology
Размер книги: 13.53 Mb
Teaching the Rhetoric of Resistance: The Popular Holocaust and Social Change in a Post 9/11 WorldАвтор: Robert Samuels
Размер книги: 803 Kb
Ключ или алфавитный Указатель к истории С.М. СоловьеваАвтор: Шилов М.И.Категория: История
Размер книги: 18.06 Mb
Religion a Human Capacity: A Festschrift in Honor of E. Thomas Lawson (Studies in the History of Religions, 99) (Studies in the History of Religions)Автор: Timothy Light, Автор: Brian C. WilsonКатегория: История
Размер книги: 2.02 Mb
The Carbon Footprint Wars: What Might Happen If We Retreat From Globalization?Автор: Stuart Sim
Размер книги: 657 Kb
|
|
|