The guided tour introduces and demonstrates the specification and refinement techniques of FOCUS. Their most significant aspects are briefly explained and illustrated by small examples. However, these explanations are not very detailed. Thus, based on the guided tour alone, it is hardly possible to gain a deep understanding of FOCUS. In the rest of this book we go through FOCUS for a second time. This time all details are carefully explained.
Weitere Kapitel dieses Buchs durch Wischen aufrufen
- Springer New York