Springer, 2022. — 376 p. The book begins with an introduction to software reliability, models and techniques. The book is an informative book covering the strategies needed to assess software failure behaviour and its quality, as well as the application of optimization tools for major managerial decisions related to the software development process. It features a broad range of...
Springer, 2011. — 626 p. — ISBN: 3642641512, 9783642641510. The aim of software engineering is the provision and investigation of methods for the development of software systems of high quality with correctness as a key issue. A system is called correct if it does what one wants, if it meets the requirements. To achieve and to guarantee correct systems, the need of formal...
Springer, 2001. — 204 p. — ISBN: 978-3-662-04558-9. Model checking is a powerful approach for the formal verification of software. When applicable, it automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. This book provides a basic introduction to this new technique. The first part describes in simple terms the...
Springer, 2004. — 494 p. — ISBN-10: 3642058809.
A practical introduction to the development of proofs and certified programs using Coq.
An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.
Cambridge University Press, 1996. — 372 p. — ISBN10: 0521559766, ISBN13: 978-0521559768. This self-contained tutorial on Z presents realistic case studies emphasizing safety-critical systems, with examples drawn from embedded controls, real-time and concurrent programming, computer graphics, games, text processing, databases, artificial intelligence, and object-oriented...
Wiley, 2005. — 216 pages. — ISBN: 0471718319. The essential guide to grammars with context conditions This advanced computer science book systematically and compactly summarizes the current knowledge about grammars with context conditions-an important area of formal language theory. According to the types of context conditions, this self-contained reference classifies them into...
New York: Springer-Verlag, 2001. — 332 p. — (Texts in computer science). — ISBN: 0-387-95106-7. The book "Software Reliability Methods" presents a collection and comparison of current methods for dealing with software reliability. It compares between these methods, and shows their advantages and disadvantages. The book presents a description of the techniques, intended for a...
Springer, 2001. — 244 p. Growing demands for the quality, safety, and security of software can only be satisfied by the rigorous application of formal methods during software design. This book methodically investigates the potential of first-order logic automated theorem provers for applications in software engineering. Illustrated by complete case studies on protocol...
Комментарии