Bitte benutzen Sie diese Kennung, um auf die Ressource zu verweisen:
http://dx.doi.org/10.18419/opus-8247
| Autor(en): | Ludewig, Jochen |
| Titel: | Specification of a specification language |
| Erscheinungsdatum: | 1982 |
| Dokumentart: | Konferenzbeitrag |
| Erschienen in: | 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 |
| URI: | http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-93547 http://elib.uni-stuttgart.de/handle/11682/8264 http://dx.doi.org/10.18419/opus-8247 |
| Zusammenfassung: | 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. |
| 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.