Static Analysis of Software
The Abstract Interpretation
| Price | $144.99 - $215.83
|
| Rating |  |
| Author | Jean-Louis Boulanger |
| Publisher | Wiley |
| Published | 2011 |
| Pages | 342 |
| Language | English |
| Format | Paper book / ebook (PDF) |
| ISBN-10 | 1848213204 |
| ISBN-13 | 9781848213203 |
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.
- Jean-Louis Boulanger (2 books)
Similar Books
An Introduction to the Analysis of Algorithms, 2nd Edition 
by Robert Sedgewick, Philippe Flajolet
Despite growing interest, basic information on methods and models for mathematically analyzing algorithms has rarely been directly accessible to practitioners, researchers, or students. An Introduction to the Analysis of Algorithms, 2ond Edition, organizes and presents that knowledge, fully introducing primary techniques and results in th...
Price: $62.99 | Publisher: Addison-Wesley | Release: 2013
The Art of Software Testing, 3rd Edition
by Glenford J. Myers, Corey Sandler, Tom Badgett
The hardware and software of computing have changed markedly in the three decades since the first edition of The Art of Software Testing, but this book's powerful underlying analysis has stood the test of time. Whereas most books on software testing target particular development techniques, languages, or testing methods, The Art of S...
Price: $134.99 | Publisher: Wiley | Release: 2011
by Liudong Xing, Gregory Levitin, Chaonan Wang
This book focuses on hot issues of dynamic system reliability, systematically introducing the reliability modeling and analysis methods for systems with imperfect fault coverage, systems with function dependence, systems subject to deterministic or probabilistic common-cause failures, systems subject to deterministic or probabilistic comp...
Price: $107.51 | Publisher: Wiley | Release: 2019
Software Development From A to Z
by Olga Filipova, Rui Vilao
Understand the big picture of the software development process. We use software every day - operating systems, applications, document editing programs, home banking - but have you ever wondered who creates software and how it's created? This book guides you through the entire process, from conception to the finished product with the ...
Price: $31.32 | Publisher: Apress | Release: 2018
Practical Forensic Analysis of Artifacts on iOS and Android Devices
by Mohammed Moreb
Leverage foundational concepts and practical skills in mobile device forensics to perform forensically sound criminal investigations involving the most complex mobile devices currently available on the market. Using modern tools and techniques, this book shows you how to conduct a structured investigation process to determine the nature o...
Price: $41.49 | Publisher: Apress | Release: 2022
Fundamentals of Software Architecture
by Mark Richards, Neal Ford
Salary surveys worldwide regularly place software architect in the top 10 best jobs, yet no real guide exists to help developers become architects. Until now. This book provides the first comprehensive overview of software architecture's many aspects. Aspiring and existing architects alike will examine architectural characteristics, ...
Price: $33.39 | Publisher: O'Reilly Media | Release: 2020
The Nature of Software Development
by Ron Jeffries
You need to get value from your software project. You need it "free, now, and perfect." We can't get you there, but we can help you get to "cheaper, sooner, and better." This book leads you from the desire for value down to the specific activities that help good Agile projects deliver better softwa...
Price: $21.07 | Publisher: The Pragmatic Programmers | Release: 2015
by Kevin Brock
Software developers work rhetorically to make meaning through the code they write. In some ways, writing code is like any other form of communication; in others, it proves to be new, exciting, and unique. In Rhetorical Code Studies, Kevin Brock explores how software code serves as meaningful communication through which software developers...
Price: $50.00 | Free ebook | Publisher: Self-publishing | Release: 2019