Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
doi:10.22028/D291-39589 Dateien zu diesem Datensatz:
| Datei | Beschreibung | Größe | Format | |
|---|---|---|---|---|
| SEKI-MEMO-85-09_Schölles-Beierle-Voß_SPESY-Eine-integrierte-Softwareentwicklungs-und-Verifikationsumgebung.pdf | 34,52 MB | Adobe PDF | Öffnen/Anzeigen |
| Titel: | SPESY : Eine integrierte Softwareentwicklungs- und Verifikationsumgebung |
| VerfasserIn: | Schölles, V. Beierle, Christoph Voß, Angelika |
| Sprache: | Deutsch |
| Erscheinungsjahr: | 1985 |
| Erscheinungsort: | Kaiserslautern |
| DDC-Sachgruppe: | 004 Informatik |
| Dokumenttyp: | Forschungsbericht (Report zu Forschungsprojekten) |
| 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 zu diesem Datensatz: | urn:nbn:de:bsz:291--ds-395897 hdl:20.500.11880/35791 http://dx.doi.org/10.22028/D291-39589 |
| Schriftenreihe: | Memo SEKI : SEKI-Projekt / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI |
| Band: | 85,9 |
| Datum des Eintrags: | 9-Mai-2023 |
| Bemerkung/Hinweis: | 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. |
| Fakultät: | SE - Sonstige Einrichtungen |
| Fachrichtung: | SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz |
| Professur: | SE - Sonstige |
| Sammlung: | SciDok - Der Wissenschaftsserver der Universität des Saarlandes |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.