Formal Methods
Industrial Use from Model to the Code
| Price | $109.73 - $194.46
|
| Rating |  |
| Author | Jean-Louis Boulanger |
| Publisher | Wiley |
| Published | 2012 |
| Pages | 384 |
| Language | English |
| Format | Paper book / ebook (PDF) |
| ISBN-10 | 184821362X |
| ISBN-13 | 9781848213623 |
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 applications or be usable in an industrial setting.
Current literature only gives students and researchers very general overviews of formal methods. The purpose of this book is to present feedback from experience on the use of "formal methods" (such as proof and model-checking) in industrial examples within the transportation domain.
- Jean-Louis Boulanger (2 books)
Similar Books
Theories of Programming and Formal Methods
by Zhiming Liu, Jim Woodcock, Huibiao Zhu
This Festschrift volume, dedicated to He Jifeng on the occasion of his 70th birthday in September 2013, includes 24 refereed papers by leading researchers, current and former colleagues, who congratulated at a celebratory symposium held in Shanghai, China, in the course of the 10th International Colloquium on Theoretical Aspects of Comput...
Price: $65.14 | Publisher: Springer | Release: 2013
by Vishnu Pendyala
Examine the problem of maintaining the quality of big data and discover novel solutions. You will learn the four V's of big data, including veracity, and study the problem from various angles. The solutions discussed are drawn from diverse areas of engineering and math, including machine learning, statistics, formal methods, and the ...
Price: $32.99 | Publisher: Apress | Release: 2018
Models and Analysis for Distributed Systems
by Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci
Nowadays, distributed systems are increasingly present, for public software applications as well as critical systems. software applications as well as critical systems. This title and Distributed Systems: Design and Algorithms - from the same editors - introduce the underlying concepts, the associated design techniques and the related sec...
Price: $112.14 | Publisher: Wiley | Release: 2011
Unifying Theories of Programming and Formal Engineering Methods 
by Zhiming Liu, Jim Woodcock, Huibiao Zhu
This book presents 5 tutorial lectures by leading researchers given at the ICTAC 2013 Software Engineering School on Unifying Theories of Programming and Formal Engineering Methods, held in Shanghai, China in August 2013.The lectures are aimed at postgraduate students, researchers, academics, and industrial engineers. They cover topics su...
Price: $59.64 | Publisher: Springer | Release: 2013
Introduction to Financial Mathematics
by Arash Fahim
Introduction to Financial Mathematics: Concepts and Computational Methods serves as a primer in financial mathematics with a focus on conceptual understanding of models and problem solving. It includes the mathematical background needed for risk management, such as probability theory, optimization, and the like. The goal of the book is to...
Free ebook | Publisher: Self-publishing | Release: 2019
by David Harel, Yishai Feldman
The best selling 'Algorithmics' presents the most important, concepts, methods and results that are fundamental to the science of computing. It starts by introducing the basic ideas of algorithms, including their structures and methods of data manipulation. It then goes on to demonstrate how to design accurate and efficient algo...
Price: $72.98 | Publisher: Addison-Wesley | Release: 2004
by Bonnie Biafore
Learn best practices and proven methods from project management professionals - and apply these skills as you work with Microsoft Project. In this practical guide, project management expert Bonnie Biafore shows you how to manage projects efficiently and effectively, sharing the real-world experiences of project managers in several industr...
Price: $17.67 | Publisher: O'Reilly Media | Release: 2011
Combining Pattern Classifiers, 2nd Edition
by Ludmila I. Kuncheva
A unified, coherent treatment of current classifier ensemble methods, from fundamentals of pattern recognition to ensemble feature selection, now in its second editionThe art and science of combining pattern classifiers has flourished into a prolific discipline since the first edition of Combining Pattern Classifiers was published in 2004...
Price: $97.16 | Publisher: Wiley | Release: 2014