Please use this identifier to cite or link to this item: http://dx.doi.org/10.18419/opus-8177
Full metadata record
DC FieldValueLanguage
dc.contributor.authorLudewig, Jochende
dc.contributor.authorStreng, Wolfgangde
dc.date.accessioned2014-04-09de
dc.date.accessioned2016-03-31T11:45:26Z-
dc.date.available2014-04-09de
dc.date.available2016-03-31T11:45:26Z-
dc.date.issued1978de
dc.identifier.other410460265de
dc.identifier.urihttp://nbn-resolving.de/urn:nbn:de:bsz:93-opus-91648de
dc.identifier.urihttp://elib.uni-stuttgart.de/handle/11682/8194-
dc.identifier.urihttp://dx.doi.org/10.18419/opus-8177-
dc.description.abstractAufgrund von Fehleranalysen und Erfahrungen bei der Entwicklung großer Software-Systeme hat sich die Einsicht verbreitet, daß eine Erhöhung der Zuverlässigkeit vor allem durch eine Formalisierung und Methodisierung der Spezifikation und des Entwurfs zu erreichen ist. Erst durch formalisierte Beschreibungshilfsmittel wird eine rechnergestützte Software-Entwicklung und -Prüfung ermöglicht. Bisher ist der Anwender bei der Formulierung seiner Anforderungen auf natürliche Sprachen angewiesen. Dies führt häufig zu unvollständigen, mehrdeutigen und sogar widerspruchsvollen Spezifikationen, die dann die Basis für die Software-Entwicklung bilden. Um zu prüfbaren Spezifikations- und Entwurfsbeschreibungen zu gelangen, wurden rechnergestützte Software-Entwicklungssysteme entworfen, die auf einem formalen Systembeschreibungsmodell beruhen. Angestrebt wird ein integriertes Werkzeug von aufeinander abgestimmten Hilfsmitteln zur Überdeckung des gesamten Entwicklungszyklus.de
dc.language.isodede
dc.rightsinfo:eu-repo/semantics/openAccessde
dc.subject.classificationSoftwareentwicklung , PSL <Programmiersprache>de
dc.subject.ddc620de
dc.titleDas Entwurfssystem PSL/PSA und seine Erweiterung für Prozeß-Automatisierungde
dc.typeconferenceObjectde
dc.date.updated2014-08-06de
ubs.fakultaetFakultätsübergreifend / Sonstige Einrichtungde
ubs.institutSonstige Einrichtungde
ubs.opusid9164de
ubs.publikation.sourceHommel, Günter (Hrsg.): Verfahren und Hilfsmittel für Spezifikation und Entwurf von Prozeßautomatisierungssystemen. Karlsruhe : Ges. für Kernforschung, 1978 (PDV-Berichte 154), S. 147-192de
ubs.publikation.typKonferenzbeitragde
Appears in Collections:15 Fakultätsübergreifend / Sonstige Einrichtung

Files in This Item:
File Description SizeFormat 
lud4.pdf5,57 MBAdobe PDFView/Open


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