Specification is a heterogeneous enterprise with layers of complexity, generality and degrees of detail. In practice, specifications are expressed in a host of languages and formalisms. These range from the vernacular through to specialized specification languages. Some of them are graphical in content (e.g., portions of UML), and many others are based upon some logical notation. There are also algebraic approaches that employ algebraic or model-theoretic structures.
Unable to display preview. Download preview PDF.