Ludewig, Jochen2014-07-072016-03-312014-07-072016-03-311989410240052http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-94048http://elib.uni-stuttgart.de/handle/11682/3359http://dx.doi.org/10.18419/opus-3342Specification 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.eninfo:eu-repo/semantics/openAccessSoftwarespezifikation , Softwareentwicklung004conferenceObject