Stand der Forschung und Technik auf dem Gebiet der rechnerunterstützten Spezifikation von Prozessrechner-Software

Ludewig, Jochen

Stand der Forschung und Technik auf dem Gebiet der rechnerunterstützten Spezifikation von Prozessrechner-Software

dc.contributor.author	Ludewig, Jochen	de
dc.date.accessioned	2014-07-07	de
dc.date.accessioned	2016-03-31T11:45:36Z
dc.date.available	2014-07-07	de
dc.date.available	2016-03-31T11:45:36Z
dc.date.issued	1983	de
dc.date.updated	2014-07-07	de
dc.description.abstract	Das Thema "Spezifikation" wurde von den Informatikern identifiziert und bearbeitet im Zusammenhang mit der Entdeckung des Gebietes "Software-Engineering". Dies gilt auch für die Spezifikation solcher Systeme, die nur teilweise aus Software bestehen oder bei denen die Unterscheidung zwischen Hard- und Software noch nicht gemacht wurde. Daher soll hier versucht werden, das Gebiet von der Software-Spezifikation her anzugehen. Nach einem kurzen Abriss der Motivation für Spezifikationssysteme und ihrer Geschichte werden die in diesem Zusammenhang wichtigen Begriffe diskutiert. Auch die übliche Einteilung des Software-Entstehungsprozesses, der "softwarelife-cycle", wird angesprochen. Für die einzelnen Komponenten der Spezifikationssysteme haben sich Lösungen herauskristallisiert, die in vielen Systemen zu finden sind. Diese werden gegenübergestellt und diskutiert. Dann werden der aktuelle Stand und die Trends skizziert. Am Schluss stehen einige Erfahrungssätze zur Einführung eines Spezifikationssystems.	de
dc.identifier.other	409941964	de
dc.identifier.uri	http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-93508	de
dc.identifier.uri	http://elib.uni-stuttgart.de/handle/11682/8263
dc.identifier.uri	http://dx.doi.org/10.18419/opus-8246
dc.language.iso	de	de
dc.rights	info:eu-repo/semantics/openAccess	de
dc.subject.classification	Softwarespezifikation , Prozessdatenverarbeitung	de
dc.subject.ddc	004	de
dc.title	Stand der Forschung und Technik auf dem Gebiet der rechnerunterstützten Spezifikation von Prozessrechner-Software	de
dc.type	conferenceObject	de
ubs.fakultaet	Fakultätsübergreifend / Sonstige Einrichtung	de
ubs.institut	Sonstige Einrichtung	de
ubs.opusid	9350	de
ubs.publikation.source	Spezifikation von Realzeit-Systemen : Konzepte, Lösungen und Erfahrungen; 21. März 1983. Zürich : SGA, 1983 (Tagung der SGA 54), S. 1-27	de
ubs.publikation.typ	Konferenzbeitrag	de

Files

Original bundle

Now showing 1 - 1 of 1

Name:: lud16.pdf
Size:: 4 MB
Format:: Adobe Portable Document Format

Download

License bundle

Now showing 1 - 1 of 1

Name:: license.txt
Size:: 1021 B
Format:: Plain Text
Description:

Download

Collections

15 Fakultätsübergreifend / Sonstige Einrichtung