Concise Guide to Formal Methods : Theory, Fundamentals and Industry Applications /
| Autor principal: | |
|---|---|
| Autor Corporativo: | |
| Formato: | eBook |
| Lenguaje: | English |
| Publicado: |
Cham :
Springer International Publishing : Imprint: Springer,
2017.
|
| Edición: | 1st ed. 2017. |
| Colección: | Undergraduate Topics in Computer Science,
|
| Materias: |
Tabla de Contenidos:
- Software Engineering
- Software Reliability and Dependability
- Overview of Formal Methods
- Sets, Relations and Functions
- A Short History of Logic
- Propositional and Predicate Logic
- Advanced Topics in Logic
- Z Formal Specification Language
- Vienna Development Method
- Irish School of VDM
- Unified Modelling Language
- Dijkstra, Hoare and Parnas
- Automata Theory
- Model Checking
- The Nature of Theorem Proving
- Probability and Statistics
- Industrial Tools for Formal Methods
- Technology Transfer to Industry
- Epilogue.