Egon Börger and Alexander Raschke: Modeling companion for software practitioners

  title={Egon B{\"o}rger and Alexander Raschke: Modeling companion for software practitioners},
  author={Jonathan P. Bowen},
  journal={Formal Aspects of Computing},
  • Jonathan P. Bowen
  • Published 22 October 2018
  • Computer Science
  • Formal Aspects of Computing
There are many formal methods potentially available for a software practitioner; so many that it can be difficult to evaluate which is best or appropriate for a specific software engineering project. In computer science academia, small examples are typically presented in papers promoting different formal methods. In practical application, scaling is a huge issue. If a technique does not scale it will be of no interest in practice. Model checking is one approach that has… Expand
2 Citations


Abstract State Machines. A Method for High-Level System Design and Analysis
This chapter discusses ASM Design and Analysis Method, which focuses on the design of ASMs based on the principles of Hierarchical System Design, as well as some of the techniques used in structured programming. Expand
Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
The most inspiring book today from a very professional writer in the world, abstract state machines b and z, which can steal the market and book lovers to always run out of this book. Expand