Bitte benutzen Sie diese Kennung, um auf die Ressource zu verweisen:
http://dx.doi.org/10.18419/opus-8177
Autor(en): | Ludewig, Jochen Streng, Wolfgang |
Titel: | Das Entwurfssystem PSL/PSA und seine Erweiterung für Prozeß-Automatisierung |
Erscheinungsdatum: | 1978 |
Dokumentart: | Konferenzbeitrag |
Erschienen in: | Hommel, 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-192 |
URI: | http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-91648 http://elib.uni-stuttgart.de/handle/11682/8194 http://dx.doi.org/10.18419/opus-8177 |
Zusammenfassung: | Aufgrund 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. |
Enthalten in den Sammlungen: | 15 Fakultätsübergreifend / Sonstige Einrichtung |
Dateien zu dieser Ressource:
Datei | Beschreibung | Größe | Format | |
---|---|---|---|---|
lud4.pdf | 5,57 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repositorium sind urheberrechtlich geschützt.