2001 | OriginalPaper | Chapter
Basics
Authors : Manfred Broy, Ketil Stølen
Published in: Specification and Development of Interactive Systems
Publisher: Springer New York
Included in: Professional Book Archive
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
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.