Author: Gojko Adzic Publisher: Manning Publications Year: 2011 Format / Quality: PDF Paperback: 296 pages Specification by Example is an emerging practice for creating software based on realistic examples, bridging the communication gap between business stakeholders and the dev teams building the software. In this book, author Gojko Adzic distills interviews with successful...
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, 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...
New York: Springer, 2017. — 178 p. This book takes a formal approach to teaching software engineering, using not only UML, but also Object Constraint Language (OCL) for specification and analysis of designed models. Employing technical details typically missing from existing textbooks on software engineering, the author shows how precise specifications lead to static verification...
ISBN: 1-947754-30-0 Document Number: C197 Published by The Open Group, November 2019. This document is the ArchiMate 3.1 Specification, a standard of The Open Group. It has been developed and approved by The Open Group. This edition of the standard includes a number of corrections, clarifications, and improvements to the previous edition, as well as several additions. Intended...
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...
Wiley, 1991. — 172 p. — ISBN10: 0471930164; ISBN13: 978-0471930167. Demonstrates how formal mathematical methods of proving correctness can help decrease the incidence of design errors (``bugs'') in software development. While all the techniques described here have a rigorous mathematical foundation, it is omitted in favor of emphasizing practical applications.
The MIT Press, 2008. — 984 p. — ISBN10: 026202649X, ISBN13: 978-0262026499. Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (and...
Heidelberg: Spektrum Akademischer Verlag, 2009. — 630 s. Die Softwaretechnik bildet einen Grundpfeiler der Informatik. Jede Softwareentwicklung basiert auf Prinzipien, Methoden und Werkzeugen. Mit Basiskonzepten kann die Statik, Dynamik und Logik von Softwaresystemen beschrieben und modelliert werden. Die Anforderungen an ein neues Softwareprodukt zu ermitteln, zu...
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.
Somerset: Wiley-ISTE, 2013. — 347 p. Title Page Copyright Page Formal Techniques for Verification and Validation Realization of a software application Characteristics of a software application Realization cycle Cycle in V and other realization cycles Quality control (the impact of ISO standard ) Verification and validation Techniques, methods and practices Static verification...
Wiley, 2012. — 357 p. Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software application, described in a programming language. It took until the end of the 1990s before formal methods or the B method could be implemented in industrial...
Wiley, 2012. — 384 p. Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software application, described in a programming language. It took until the end of the 1990s before formal methods or the B method could be implemented in industrial...
Intl Thomson Computer Pr (Sd), 1996. — 302 p. — ISBN10: 1850322309, ISBN13: 978-1850322306. "Jonathan Bowen is a formal methods researcher who I have a great deal of respect for. Almost all his work has concentrated on the application of this technology to real-life problems – not just stacks and queues. His book teaches through the medium of case studies which are realistic...
Broy M., Jonsson B., Katoen J., Leucker M., Pretschner A. Broy M., Jonsson B., Katoen J., Leucker M., Pretschner A. — Springer, 2005. — 645 p. — ISBN10: 3-540-26278-4ISBN-10 3-540-26278-4; ISBN13: 978-3-540-26278-7. Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent years,...
Springer, 1997. — 168 p. So far, a common approach in software engineering has been to apply during the design phase a variety of structured techniques like top-down design, decomposition, and abstraction in order to cope with the complexity of large software systems. Only after the design is completed does intensive testing in the implementation phase ensure reliability,...
Springer, 2009. — 349 p. The growing complexity of modern software systems increases the difficulty of ensuring the overall dependability of software-intensive systems. Complexity of environments, in which systems operate, high dependability requirements that systems have to meet, as well as the complexity of infrastructures on which they rely make system design a true...
MIT Press, 2013. — 440 p. — ISBN13: 978-0262026659. The technology of mechanized program verification can play a supporting role in many kinds of research projects in computer science, and related tools for formal proof-checking are seeing increasing adoption in mathematics and engineering. This book provides an introduction to the Coq software for writing and checking...
MIT Press, 2013. — 440 p. — ISBN13: 978-0262026659. The technology of mechanized program verification can play a supporting role in many kinds of research projects in computer science, and related tools for formal proof-checking are seeing increasing adoption in mathematics and engineering. This book provides an introduction to the Coq software for writing and checking...
Cham: Springer, 2015. — 220 p. This book describes the methodology and accompanying technology for reducing the costs of validation of changes by introducing automatic techniques to analyze and test software increments. It builds a unified approach to efficient and reliable validation of changes and upgrades, and may be used as a research monograph and a reference book....
2nd edition. — The MIT Press, 2018. — 424 p. — ISBN 9780262038836. An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems. Model checking is a verification technology that provides an algorithmic means of determining whether an abstract model—representing, for...
Springer, 2018. — 1210 p. Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from research traditions in mathematical logic, programming languages, hardware design, and theoretical computer science, model checking is now widely used for the verification of hardware and software in industry....
Springer, 2011. — 204 p. — ISBN: 978-3-642-13620-7. Poor performance is one of the main quality-related shortcomings that cause software projects to fail. Thus, the need to address performance concerns early during the software development process is fully acknowledged, and there is a growing interest in the research and software industry communities towards techniques, methods...
Providence: American Mathematical Society, 2010. — 294 p. This volume contains three contributions in the field of logic and computation that reflect current trends towards an interactive account of the meaning of proofs and programs. The contributions can be read independently and use or introduce fundamental tools in the field: categories, realizability, abstract machines....
Princeton University Press, 2019. — 226 p. — (Applied Mathematics, 67). — ISBN: 978-0-691-18130-1. An essential introduction to the analysis and verification of control systems software The verification of control systems software is critical to a host of technologies and industries, from aeronautics and medical technology to the cars we drive—the failure of controller software...
Pearson, 2004. - 658 p. ISBN: 8871922042 Italian Traduzione della seconda edizione inglese, questo testo presenta, con uno stile conciso e accurato, i principi fondamentali dell'ingegneria del software, illustrandone l'applicazione durante le differenti fasi dello sviluppo di un prodotto applicativo. Il leit-motiv che lega la trattazione dei diversi capitoli è l'enfasi che gli...
Second Edition, 2003, 604 p. This book provides selective, in-depth coverage of the fundamentals of software engineering by stressing principles and methods through rigorous formal and informal approaches. In contrast to other books which are based on the lifecycle model of software development, the authors emphasize identifying and applying fundamental principles that are...
Berlin: Springer, 2008. — 238 p. Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model checking community has achieved many breakthroughs, bridging the gap between theoretical computer science and hardware and software engineering, and it is reaching out to new challenging areas such as system biology and...
Wiley-ISTE, 2006. — 418 p. — ISBN10: 1905209347. This title provides a clear overview of the main methods, and has a practical focus that allows the reader to apply their knowledge to real-life situations. The following are just some of the techniques covered: UML, Z, TLA+, SAZ, B, OMT, VHDL, Estelle, SDL and LOTOS.
Springer, 2023. — 251 p. Introduction First-Order Logic and Set Theory Booleans Propositional Logic First-Order Logic Set Theory Functions and Relations System Modelling History and Background Finite State Machines Finite State Machines in NUSMV Defining NUSMV Modules Composition of Multiple Modules Finite State Machines in PROMELA Defining PROMELA Processes Composition of...
Springer, 1997. — 288 p. Formal methods in computer science aim at a scientific foundation on which methods and tools for practical system construction can be based. Practice requires methods for the specification of software systems, tools for checking specifications for syntactic consistency, and support for generation of code from specifications, as well as tools for proving...
Revised edition. — The MIT Press, 2012. — 376 p. — ISBN10: 0262017156; ISBN13: 978-0262017152. In Software Abstractions Daniel Jackson introduces an approach to software design that draws on traditional formal methods but exploits automated tools to find flaws as early as possible. This approach-which Jackson calls "lightweight formal methods" or "agile modeling"-takes from...
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...
The University, Manchester, England, 1990. — 361 p. A practical guide to software development using DVM, a mathematically based technique for formal specification and correctness reasoning. This edition uses BSI (draft) standard VDM notation, emphasizes the formal approach to specification and design and explains formal proofs for data types.
New York: Knowledge Software, Ltd, 2020. — 454 p. This book discusses what is currently known about software engineering, based on an analysis of all the publicly available data. This aim is not as ambitious as it sounds, because there is not a great deal of data publicly available. The intent is to provide material that is useful to professional developers working in industry;...
Springer, 2024. — 708 p. — (Computer Science Foundations and Applied Logic). — ISBN 978-3-031-55607-4. Frama-C is a popular open-source toolset for analysis and verification of C programs, largely used for teaching, experimental research, and industrial applications. With the growing complexity and ubiquity of modern software, there is increasing interest in code analysis tools...
Springer, 2024. — 708 p. Frama-C is a popular open-source toolset for analysis and verification of C programs, largely used for teaching, experimental research, and industrial applications. With the growing complexity and ubiquity of modern software, there is increasing interest in code analysis tools at various levels of formalization to ensure safety and security of software...
New York: Springer, 2009. — 201 p. This book advocates the integrated and tool supported use of all available verification methods to improve software correctness. The following major software verification techniques and their supporting tools, based on sound mathematical models, are discussed: Correctness by construction, using the Vienna Development Method-Specification Language...
Springer, 2017. — 220 p. — (Embedded Systems). — ISBN10: 1461422655. — ISBN13: 978-1461422655. This book provides comprehensive coverage of verification and debugging techniques for embedded software, which is frequently used in safety critical applications (e.g., automotive), where failures are unacceptable. Since the verification of complex systems needs to encompass the...
World Scientific Publishing Company, 2006. — 368 p. — (Component-based Software Development). — ISBN-10: 981270017X, ISBN-13: 978-0878935468.
The range of components technology is both wide and diverse, but some common understanding is emerging through the ideas of model-based development. These include the notions of interfaces, contracts, services, connectors and...
Delhi: PHI Learning Private Limited, 2018. — 614 p. Preface to the First Edition Evolution—From an Art Form to an Engineering Discipline Evolution of an Art into an Engineering Discipline Evolution Pattern for Engineering Disciplines A Solution to the Software Crisis Software Development Projects Programs versus Products Types of Software Development Projects Software Projects...
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...
Manning Publications, 2018. — 304 p. Writing Great Specifications is an example-rich tutorial that teaches you how to write good Gherkin specification documents that take advantage of the benefits of specification by example. Foreword written by Gojko Adzic. About the Technology The clearest way to communicate a software specification is to provide examples of how it should...
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...
New York: Addison-Wesley, 1999. — 407 p. Cleanroom Software Engineering Fundamentals Cleanroom Overview Economic Production of High-Quality Software Cleanroom Foundations Cleanroom Technologies The Cleanroom Process Relationship of Cleanroom to Other Practices Cleanroom Project Experience Suggested Reading Cleanroom Management by Incremental Development Benefits of Incremental...
Springer, 2022. — 536 p. — (Texts in Theoretical Computer Science. An EATCS Series). — ISBN 3030387992. Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point. The first part of this graduate-level introduction to formal methods develops an...
Springer, 2012. — 598 p. As its title promises, this book provides foundations for software specification and formal software development from the perspective of work on algebraic specification. It concentrates on developing basic concepts and studying their fundamental properties rather than on demonstrating how these concepts may be used in the practice of software...
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...
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...
NY: Apress, 2022. — 144 p. — ISBN 13 — 9781484279779 Get introduced to software verification and proving correctness using the Microsoft Research-backed programming language, Dafny. While some other books on this topic are quite mathematically rigorous, this book will use as little mathematical symbols and rigor as possible, and explain every concept using plain English. It's...
Amazon Digital Services, 2018. — 835 p. Software engineering is the branch of systems engineering concerned with the development of large and complex software intensive systems. It focuses on: the real-world goals for, services provided by, and constraints on such systems; the precise specification of system structure and behaviour, and the implementation of these specifications;...
Amazon Digital Services, 2018. — 835 p. Software engineering is the branch of systems engineering concerned with the development of large and complex software intensive systems. It focuses on: the real-world goals for, services provided by, and constraints on such systems; the precise specification of system structure and behaviour, and the implementation of these specifications;...
Комментарии