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

Ludewig, Jochen

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

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.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.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.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

Files

Original bundle

Now showing 1 - 1 of 1

Name:: lud9.pdf
Size:: 5.09 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