Specification Languages

  • Raymond Turner


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.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag GmbH Germany, part of Springer Nature 2018

Authors and Affiliations

  • Raymond Turner
    • 1
  1. 1.School of Computer Science & Electronic EngineeringUniversity of EssexColchesterUK

Personalised recommendations