Languages, methods, and tools for software specification
Jochen Ludewig · OPUS Publication Server of the University of Stuttgart (University of Stuttgart) · 1989
Specification systems consist of methods, languages, and tools; the languages may be more or less formal. In this paper, the general ideas of semi-formal specification systems are presented, and some examples are shown.