Please use this identifier to cite or link to this item:
Authors: Ludewig, Jochen
Title: Languages, methods, and tools for software specification
Issue Date: 1989 Konferenzbeitrag 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
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.