Student Thesis STUD-1570

BibliographyMaerz, Peter: Bewertung und Analyse der Spezifikationssprache SpecCharts.
University of Stuttgart, Faculty of Computer Science, Student Thesis No. 1570 (1996).
176 pages, german.
CR-SchemaD.2.1 (Software Engineering Requirements/Specifications)
D.2.10 (Software Engineering Design)
D.3.2 (Language Classifications)
KeywordsSpecCharts; Spezifikation; Spezifikationssprache; VHDL; xspeccharts
Abstract

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.

Full text and
other links
PostScript (5492002 Bytes)
Access to students' publications restricted to the faculty due to current privacy regulations
Department(s)University of Stuttgart, Institute of Parallel and Distributed High-Performance Systems, Integrated Systems Engineering
Entry dateNovember 18, 1996
   Publ. Department   Publ. Institute   Publ. Computer Science