Korso Methods Languages And Tools For The Construction Of Correct Software
Download Korso Methods Languages And Tools For The Construction Of Correct Software PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Korso Methods Languages And Tools For The Construction Of Correct Software book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
KORSO: Methods, Languages, and Tools for the Construction of Correct Software
Author: Manfred Broy
language: en
Publisher: Springer Science & Business Media
Release Date: 1995-11-08
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.
Deductive Verification of Object-oriented Software
Author: Benjamin Weiß
language: en
Publisher: KIT Scientific Publishing
Release Date: 2014-08-18
Software systems play a central role in modern society, and their correctness is often crucially important. Formal specification and verification are promising approaches for ensuring correctness more rigorously than just by testing. This work presents an approach for deductively verifying design-by-contract specifications of object-oriented programs. The approach is based on dynamic logic, and addresses the challenges of modularity and automation using dynamic frames and predicate abstraction.
Disconnected Operation in a Distributed File System
Author: James J. Kistler
language: en
Publisher: Springer Science & Business Media
Release Date: 1995-12-13
This book is based on the author's PhD thesis which was selected during the 1993 ACM Doctoral Dissertation Competition as one of the three best submissions. The focus of this work is on the issue of availability in distributed file systems. It presents the important new technique called disconnected operation, in which clients mask failures and voluntary network detachments by emulating the functionality of servers where actual server-oriented solutions are inadequate. This permits client operation even under complete isolation from the server; the clean integration of mobile computers into the system is an important side-effect of the new technique. The design and implementation of disconnected file service in a working system, the Coda file system, is described in detail.