Please use this identifier to cite or link to this item:
doi:10.22028/D291-39589 | Title: | SPESY : Eine integrierte Softwareentwicklungs- und Verifikationsumgebung |
| Author(s): | Schölles, V. Beierle, Christoph Voß, Angelika |
| Language: | German |
| Year of Publication: | 1985 |
| Place of publication: | Kaiserslautern |
| DDC notations: | 004 Computer science, internet |
| Publikation type: | Report |
| Abstract: | SPESY ist die Unterstützungsumgebung eines integrierten Softwareentwicklungs- und Verifikationssystems. Nach einer Einführung werden alle dem SPESY-Benutzer zur Verfügung stehende Kommandos beschrieben und das Verhalten des Systems an Hand von Dialogprotokollen erläutert. SPESY is the support environment of an integrated software development and verification system. Following an introduction, all commands being available for the user are described. The system's behaviour is illustrated using session protocols. |
| Link to this record: | urn:nbn:de:bsz:291--ds-395897 hdl:20.500.11880/35791 http://dx.doi.org/10.22028/D291-39589 |
| Series name: | Memo SEKI : SEKI-Projekt / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI |
| Series volume: | 85,9 |
| Date of registration: | 9-May-2023 |
| Notes: | In der GND existiert kein Normdatensatz für die Person, die sie eindeutig als solche identifiziert. Alternative oder damit in Verbindung stehende Schreibweise(n): Voß Angi, Voss Angi, Voss Angelika. |
| Faculty: | SE - Sonstige Einrichtungen |
| Department: | SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz |
| Professorship: | SE - Sonstige |
| Collections: | SciDok - Der Wissenschaftsserver der Universität des Saarlandes |
Files for this record:
| File | Description | Size | Format | |
|---|---|---|---|---|
| SEKI-MEMO-85-09_Schölles-Beierle-Voß_SPESY-Eine-integrierte-Softwareentwicklungs-und-Verifikationsumgebung.pdf | 34,52 MB | Adobe PDF | View/Open |
Items in SciDok are protected by copyright, with all rights reserved, unless otherwise indicated.