15 Fakultätsübergreifend / Sonstige Einrichtung
Permanent URI for this collectionhttps://elib.uni-stuttgart.de/handle/11682/16
Browse
3 results
Search Results
Item Open Access PCSL - a process control software specification language(1980) Ludewig, JochenThis paper presents PCSL, a language for specification and design of process control software, and sketches analysis and reports based on this language. As an example, a system for process-data-collection is specified using PCSL. PCSL, DSL and EPOS are reviewed with respect to PCSL. Finally, the current state of the project is depicted. The appendix contains a short version of the PCSL-definition.Item Open Access Überblick und Vergleich verschiedener Mittel für die Spezifikation und den Entwurf von Software(1978) Ludewig, Jochen; Streng, WolfgangDieser Bericht enthält eine Sichtung und Auswertung relevanter Verfahren für die Spezifikation und den Entwurf von Software. Dabei wird ein einheitliches Beschreibungsschema angewandt. Die einzelnen Ansätze werden nach verschiedenen Kriterien vergleichend gegenübergestellt.Item Open Access Prüfmittel für die rechnergestützte Software-Entwicklung(1978) Ludewig, Jochen; Streng, WolfgangAusgehend von einer allgemeinen Charakterisierung einer bestimmten Klasse von Entwicklungssystemen wird ein Ansatz für ein einfaches Beschreibungsmodell für Systeme angegeben. Ein solches Modell ist die Voraussetzung, um die Beschreibung der Anforderungen und des Entwurfs eines Systems zu formalisieren . Dieses Modell bildet die Grundlage für den dann folgenden Vergleich der Beschreibungsmodelle und Prüfmittel dreier bekannter Entwicklungssysteme: SSES, PSL/PSA und SREP. Abschließend wird die Schnittstelle derartiger Systeme zu einem automatischen Testsystem diskutiert.