Industrial Use from Model to the Code
|Price||$109.73 - $194.46
|Format||Paper book / ebook (PDF)|
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.
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 Block...
Price: $29.99 | Publisher: Apress | Release: 2018
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
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
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 algorithms, an...
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
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
by James Epperson
An Introduction to Numerical Methods and Analysis, Second Edition reflects the latest trends in the field, includes new material and revised exercises, and offers a unique emphasis on applications. The author clearly explains how to both construct and evaluate approximations for accuracy and performance, which are key skills in a variety ...
Price: $52.99 | Publisher: Wiley | Release: 2013