Languages, methods, and tools for software specification

dc.contributor.author	Ludewig, Jochen	de
dc.date.accessioned	2014-07-07	de
dc.date.accessioned	2016-03-31T08:01:31Z
dc.date.available	2014-07-07	de
dc.date.available	2016-03-31T08:01:31Z
dc.date.issued	1989	de
dc.description.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.	en
dc.identifier.other	410240052	de
dc.identifier.uri	http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-94048	de
dc.identifier.uri	http://elib.uni-stuttgart.de/handle/11682/3359
dc.identifier.uri	http://dx.doi.org/10.18419/opus-3342
dc.language.iso	en	de
dc.rights	info:eu-repo/semantics/openAccess	de
dc.subject.classification	Softwarespezifikation , Softwareentwicklung	de
dc.subject.ddc	004	de
dc.title	Languages, methods, and tools for software specification	en
dc.type	conferenceObject	de
ubs.fakultaet	Fakultät Informatik, Elektrotechnik und Informationstechnik	de
ubs.institut	Institut für Softwaretechnologie	de
ubs.opusid	9404	de
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	de
ubs.publikation.typ	Konferenzbeitrag	de

Files

Now showing 1 - 1 of 1

Now showing 1 - 1 of 1