Электронная книга: Jean-Louis Boulanger «Static Analysis of Software. The Abstract Interpretation»
|
The existing literature currently available to students and researchers is very general, covering only the formal techniques of static analysis. This book presents real examples of the formal techniques called«abstract interpretation» currently being used in various industrial fields: railway, aeronautics, space, automotive, etc. The purpose of this book is to present students and researchers, in a single book, with the wealth of experience of people who are intrinsically involved in the realization and evaluation of software-based safety critical systems. As the authors are people currently working within the industry, the usual problems of confidentiality, which can occur with other books, is not an issue and so makes it possible to supply new useful information (photos, architectural plans, real examples). Издательство: "John Wiley&Sons Limited"
ISBN: 9781118602843 электронная книга Купить за 13970.48 руб и скачать на Litres |
Другие книги автора:
| Книга | Описание | Год | Цена | Тип книги |
|---|---|---|---|---|
| Formal Methods. Industrial Use from Model to the Code | 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… — John Wiley&Sons Limited, электронная книга Подробнее... | электронная книга | ||
| Industrial Use of Formal Methods. Formal Verification | At present the literature gives students and researchers of the very general books on the formal technics. The purpose of this book is to present in a single book, a return of experience on the used… — John Wiley&Sons Limited, электронная книга Подробнее... | электронная книга | ||
| Safety of Computer Architectures | It is currently quite easy for students or designers/engineers to find very general books on the various aspects of safety, reliability and dependability of computer system architectures, and partial… — John Wiley&Sons Limited, электронная книга Подробнее... | электронная книга | ||
| Formal Methods Applied to Industrial Complex Systems. Implementation of the B Method | This book presents real-world examples of formal techniques in an industrial context. It covers formal methods such as SCADE and/or the B Method, in various fields such as railways, aeronautics, and… — John Wiley&Sons Limited, электронная книга Подробнее... | электронная книга | ||
| Safety Management of Software-based Equipment | A review of the principles of the safety of software-based equipment, this book begins by presenting the definition principles of safety objectives. It then moves on to show how it is possible to… — John Wiley&Sons Limited, электронная книга Подробнее... | электронная книга | ||
| Formal Methods Applied to Industrial Complex Systems | A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, ControlBuild, Matelo, etc. in various fields, such as railways, aeronautics, and the automotive… — John Wiley&Sons Limited, электронная книга Подробнее... | электронная книга | ||
| CENELEC 50128 and IEC 62279 Standards | CENELEC EN 50128 and IEC 62279 standards are applicable to the performance of software in the railway sector. The 2011 version of the 50128 standard firms up the techniques and methods to be… — John Wiley&Sons Limited, электронная книга Подробнее... | электронная книга |
См. также в других словарях:
Static code analysis — is the analysis of computer software that is performed without actually executing programs built from that software (analysis performed on executing programs is known as dynamic analysis). In most cases the analysis is performed on some version… … Wikipedia
Static program analysis — This article is about certain software quality assessment methods. For the statistical method, see Static analysis. Static program analysis (also Static code analysis or SCA) is the analysis of computer software that is performed without actually … Wikipedia
analysis — /euh nal euh sis/, n., pl. analyses / seez /. 1. the separating of any material or abstract entity into its constituent elements (opposed to synthesis). 2. this process as a method of studying the nature of something or of determining its… … Universalium
Software bug — To report a MediaWiki error on Wikipedia, see Wikipedia:Bug reports. A software bug is the common term used to describe an error, flaw, mistake, failure, or fault in a computer program or system that produces an incorrect or unexpected result, or … Wikipedia
Dynamic program analysis — is the analysis of computer software that is performed by executing programs built from that software system on a real or virtual processor. For dynamic program analysis to be effective, the target program must be executed with sufficient test… … Wikipedia
DMS Software Reengineering Toolkit — Developer(s) Semantic Designs Website semanticdesigns.com/Products/DMS/DMSToolkit.html The DMS Software Reengineering Toolkit[1] is a proprietary set of program transformation tools available for automating custom source program analysis,… … Wikipedia
