Invited Talk: ASM Formalware in the Software Engineering Cycle
Software is becoming more and more complex. As you move down the product cycle — from market requirements to product definition, specification, design, implementation, documentation, testing, and support — the cost of error correction escalates dramatically. We aim to improve on the various stages by means of high-level yet executable models. This is based on the abstract state machine approach http://www.eecs.umich.edu/gasm/.