ESPRESO - ein System zur Erstellung der Spezifikation von Prozeßrechner-Software

Ludewig, Jochen

Bitte benutzen Sie diese Kennung, um auf die Ressource zu verweisen: http://dx.doi.org/10.18419/opus-8179

Langanzeige der Metadaten

DC Element	Wert	Sprache
dc.contributor.author	Ludewig, Jochen	de
dc.date.accessioned	2014-04-09	de
dc.date.accessioned	2016-03-31T11:45:26Z	-
dc.date.available	2014-04-09	de
dc.date.available	2016-03-31T11:45:26Z	-
dc.date.issued	1980	de
dc.identifier.other	410247421	de
dc.identifier.uri	http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-91753	de
dc.identifier.uri	http://elib.uni-stuttgart.de/handle/11682/8196	-
dc.identifier.uri	http://dx.doi.org/10.18419/opus-8179	-
dc.description.abstract	Etwa 1978/79 wurde im lDT die Sprache PCSL entwickelt und ein System zu ihrer Verarbeitung bereitgestellt. PCSL ist durch drei Merkmale gekennzeichnet: 1. Der vorgesehene Anwendungsbereich ist die Erstellung der Spezifikation für Prozeßrechner-Software. 2. Die zugrundeliegenden Konzepte sind anwendungsorientiert, aber restriktiv zugunsten einfacher, klarer Strukturen, wodurch letztlich die Zuverlässigkeit der Programme verbessert wird. 3. Die Spezifikationssprache ist abgestimmt auf den sogenannten Generalized Analyzer, der vom ISDOS-Project, University of Michigan, zur Verfügung gestellt worden war. Mit seiner Hilfe können Spezifikationen geprüft, gespeichert und dokumentiert werden. Bei der Definition von PCSL und ersten Anwendungsversuchen entstand der Wunsch, die Ideen von PCSL in ein völlig neu zu entwickelndes System einzubringen, das von der ISDOS-Software unabhängig ist und dadurch wesentlich mehr Freiheit bietet, die eigenen Vorstellungen zu realisieren. So entstand ESPRESO.	de
dc.language.iso	de	de
dc.rights	info:eu-repo/semantics/openAccess	de
dc.subject.classification	Softwarespezifikation , Prozessdatenverarbeitung	de
dc.subject.ddc	620	de
dc.title	ESPRESO - ein System zur Erstellung der Spezifikation von Prozeßrechner-Software	de
dc.type	bookPart	de
ubs.fakultaet	Fakultätsübergreifend / Sonstige Einrichtung	de
ubs.institut	Sonstige Einrichtung	de
ubs.opusid	9175	de
ubs.publikation.source	Hommel, Günter (Hrsg.): Vergleich verschiedener Spezifikationsverfahren am Beispiel einer Paketverteilanlage. Bd. 1. Karlsruhe : Kernforschungszentrum, 1980 (PDV-Berichte 186,1), S. 6/1-6/18	de
ubs.publikation.typ	Buchbeitrag	de
Enthalten in den Sammlungen:	15 Fakultätsübergreifend / Sonstige Einrichtung

Dateien zu dieser Ressource:

Datei	Beschreibung	Größe	Format
lud9.pdf		5,21 MB	Adobe PDF	Öffnen/Anzeigen

Zur Kurzanzeige

Alle Ressourcen in diesem Repositorium sind urheberrechtlich geschützt.

Universität Stuttgart

OPUS - Online Publikationen der Universität Stuttgart