Please use this identifier to cite or link to this item: http://dx.doi.org/10.18419/opus-3342
Authors: Ludewig, Jochen
Title: Languages, methods, and tools for software specification
Issue Date: 1989
metadata.ubs.publikation.typ: Konferenzbeitrag
metadata.ubs.publikation.source: Zalewski, Janusz (Hrsg.): Hardware and software for real time process control : proceedings of the IFIP WG 5.4/IFAC/EWICS Working Conference on Hardware and Software for Real Time Process Control, Warsaw, Poland, 30 May - 1 June. Amsterdam : North-Holland, 1989. - ISBN 0-444-87127-6, S. 225-256
URI: http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-94048
http://elib.uni-stuttgart.de/handle/11682/3359
http://dx.doi.org/10.18419/opus-3342
Abstract: 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.
Appears in Collections:05 Fakultät Informatik, Elektrotechnik und Informationstechnik

Files in This Item:
File Description SizeFormat 
lud47.pdf7 MBAdobe PDFView/Open


Items in OPUS are protected by copyright, with all rights reserved, unless otherwise indicated.