Bitte benutzen Sie diese Kennung, um auf die Ressource zu verweisen:
http://dx.doi.org/10.18419/opus-3342
| Autor(en): | Ludewig, Jochen |
| Titel: | Languages, methods, and tools for software specification |
| Erscheinungsdatum: | 1989 |
| Dokumentart: | Konferenzbeitrag |
| Erschienen in: | Zalewski, Janusz (Hrsg.): Hardware and software for real time process control : proceedings of the IFIP WG 5.4/IFAC/EWICS Working Conference on Hardware and Software for Real Time Process Control, Warsaw, Poland, 30 May - 1 June. Amsterdam : North-Holland, 1989. - ISBN 0-444-87127-6, S. 225-256 |
| URI: | http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-94048 http://elib.uni-stuttgart.de/handle/11682/3359 http://dx.doi.org/10.18419/opus-3342 |
| Zusammenfassung: | Specification systems consist of methods, languages, and tools; the languages may be more or less formal. In this paper, the general ideas of semi-formal specification systems are presented, and some examples are shown. |
| Enthalten in den Sammlungen: | 05 Fakultät Informatik, Elektrotechnik und Informationstechnik |
Dateien zu dieser Ressource:
| Datei | Beschreibung | Größe | Format | |
|---|---|---|---|---|
| lud47.pdf | 7 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repositorium sind urheberrechtlich geschützt.