Tables and Diagrams

Readability, understandability, expressivity, and flexibility are first class goals for specification languages. The judgment as to what degree a language has these attributes depends on the background, expertise, and experiences of the persons making the judgment. In practice, presenting specifications by diagrams or tables is considered a significant help. The objective of this chapter is to show that FOCUS combines well with such more pragmatic specification and description techniques.