Bitte benutzen Sie diese Kennung, um auf die Ressource zu verweisen:
http://dx.doi.org/10.18419/opus-8258
Langanzeige der Metadaten
DC Element | Wert | Sprache |
---|---|---|
dc.contributor.author | Ludewig, Jochen | de |
dc.contributor.author | Glinz, Martin | de |
dc.contributor.author | Matheis, Hans | de |
dc.date.accessioned | 2014-07-09 | de |
dc.date.accessioned | 2016-03-31T11:45:38Z | - |
dc.date.available | 2014-07-09 | de |
dc.date.available | 2016-03-31T11:45:38Z | - |
dc.date.issued | 1985 | de |
dc.identifier.other | 412812401 | de |
dc.identifier.uri | http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-94447 | de |
dc.identifier.uri | http://elib.uni-stuttgart.de/handle/11682/8275 | - |
dc.identifier.uri | http://dx.doi.org/10.18419/opus-8258 | - |
dc.description.abstract | Der Beitrag erörtert die Frage, welche Ansätze zur Spezifikation grundsätzlich in Frage kommen, und begründet, warum in der industriellen Praxis das Prinzip der halbformalen Spezifikation auf der Basis anschaulicher Modelle vorteilhaft ist. Die Beispiele und die am Schluss wiedergegebenen Erfahrungen stammen aus unserer Arbeit mit dem Spezifikationssystem SPADES, das auf dem Prinzip der halbformalen Beschreibung beruht. | de |
dc.language.iso | de | de |
dc.rights | info:eu-repo/semantics/openAccess | de |
dc.subject.classification | Softwarespezifikation , Software Engineering | de |
dc.subject.ddc | 004 | de |
dc.title | Software-Spezifikation durch halbformale, anschauliche Modelle | de |
dc.type | conferenceObject | de |
ubs.fakultaet | Fakultätsübergreifend / Sonstige Einrichtung | de |
ubs.institut | Sonstige Einrichtung | de |
ubs.opusid | 9444 | de |
ubs.publikation.source | Hansen, Hans Robert (Hrsg.): Übersichtsbeiträge und Fachgespräche zu den Themenschwerpunkten Softwaretechnologie, Standardsoftware, Büroautomation, Bildschirmtext : GI/OCG/ÖGI-Jahrestagung 1985. Berlin : Springer, 1985 (Informatik-Fachberichte 108). - ISBN 3-540-15697-6, S.193-204 | 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 | |
---|---|---|---|---|
lud31.pdf | 16,33 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repositorium sind urheberrechtlich geschützt.