Studienarbeit STUD-1570

Bibliograph.
Daten
Maerz, Peter: Bewertung und Analyse der Spezifikationssprache SpecCharts.
Universität Stuttgart, Fakultät Informatik, Studienarbeit Nr. 1570 (1996).
176 Seiten, deutsch.
CR-Klassif.D.2.1 (Software Engineering Requirements/Specifications)
D.2.10 (Software Engineering Design)
D.3.2 (Language Classifications)
KeywordsSpecCharts; Spezifikation; Spezifikationssprache; VHDL; xspeccharts
Kurzfassung

Die vorliegende Studienarbeit "Bewertung und Analyse der Spezifikationssprache SpecCharts" untersucht die Sprache SpecCharts und das zugehörige Werkzeug xspeccharts. SpecCharts ist eine graphisch orientierte Spezifikationssprache, die verschiedene Konzepte wie Nebenläufigkeit, Zustandsübergänge und auch die Beschreibung von Abläufen mittels VHDL umfaßt Nach einer Einführung in die grundlegenden Konzepte der Sprache werden Vor- und Nachteile von SpecCharts anhand einer Beispielspezifikation ausführlich diskutiert und Lösungsmöglichkeiten für noch bestehende Probleme erarbeitet. Dazu wird eine Liste von Kriterien aufgestellt, die eine umfassende Bewertung der Güte einer Spezifikationssprache erlaubt. Ferner wird untersucht, inwieweit das Werkzeug xspeccharts die Sprache SpecCharts umsetzen kann und mit welchen Methoden die Leistungsfähigkeit des Werkzeugs verbessert werden kann. Schließlich werden Erfahrungen, die in der sechsmonatigen Arbeit mit der Sprache und dem Werkzeug gesammelt wurden, wiedergegeben.

Volltext und
andere Links
PostScript (5492002 Bytes)
Zugriff auf studentische Arbeiten aufgrund vorherrschender Datenschutzbestimmungen nur innerhalb der Fakultät möglich
Abteilung(en)Universität Stuttgart, Institut für Parallele und Verteilte Höchstleistungsrechner, Integrierter Systementwurf
Eingabedatum18. November 1996
   Publ. Informatik