Bitte benutzen Sie diese Kennung, um auf die Ressource zu verweisen:
http://dx.doi.org/10.18419/opus-8247
Langanzeige der Metadaten
| DC Element | Wert | Sprache |
|---|---|---|
| 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 | 1982 | de |
| dc.identifier.other | 410183504 | de |
| dc.identifier.uri | http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-93547 | de |
| dc.identifier.uri | http://elib.uni-stuttgart.de/handle/11682/8264 | - |
| dc.identifier.uri | http://dx.doi.org/10.18419/opus-8247 | - |
| dc.description.abstract | ESPRESO is a recently developed specification system for process control software. It consists of a specification language and a software system which serves as a tool to check, manage, and evaluate specifications. The language was precisely defined by an Extended Attribute Grammar and by a mapping into a programming language. The definition turned out to be most valuable not only for the implementation of the tool but also for the improvement of the language itself. As a by-product of this work, a better understanding of the nature of a specification language was achieved. | en |
| dc.language.iso | en | de |
| dc.rights | info:eu-repo/semantics/openAccess | de |
| dc.subject.classification | Softwarespezifikation , Softwareentwicklung | de |
| dc.subject.ddc | 004 | de |
| dc.title | Specification of a specification language | en |
| dc.type | conferenceObject | de |
| ubs.fakultaet | Fakultätsübergreifend / Sonstige Einrichtung | de |
| ubs.institut | Sonstige Einrichtung | de |
| ubs.opusid | 9354 | de |
| ubs.publikation.source | Hasegawa, Toshiharu (Hrsg.): Real time programming 1981 : proceedings of the IFAC/IFIP workshop, Kyoto, Japan, 31. Aug. - 2. Sept. 1981. Oxford : Pergamon Pr., 1982, S. 63-68 | de |
| ubs.publikation.typ | Konferenzbeitrag | de |
| Enthalten in den Sammlungen: | 15 Fakultätsübergreifend / Sonstige Einrichtung | |
Dateien zu dieser Ressource:
| Datei | Beschreibung | Größe | Format | |
|---|---|---|---|---|
| lud13.pdf | 1,51 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repositorium sind urheberrechtlich geschützt.