TU Chemnitz auf der REConf 2008

Titel des Vortrags: SpecScribe – Eine Spezifikationsplattform zur formalen Spezifikationserfassung und -verarbeitung

Track: Wissenschaftstrack

Level: Fortgeschrittene

Raum: PARIS

Tag und Uhrzeit: Montag, 10. März 2008, 19:15-20:00 Uhr

Inhalt: Requirements Management Systeme eignen sich sehr gut, um große Spezifikationen, die von mehre-ren Personen bearbeitet und genutzt werden, zu verwalten. Im Vortrag wird die Spezifikationsplattform SpecScribe vorgestellt, die das Konzept von RMS umsetzt. Bei SpecScribe handelt es sich um ein grafisches Werkzeug, mit dem Anforderungen und deren Abhängigkeiten formalisiert aufgenommen und verwaltet können. Die Ziele vom SpecScribe sind, die Spezifikation auf Konsistenz und Vollständigkeit zu prüfen, nachfolgende Entwurfsschritte soweit wie möglich zu unterstützen und den Fortschritt der Produktentwicklung zu dokumentieren und zu visualisieren. Für die Implementierung und Verifikation, können aus den Anforderungen Referenzmodelle, Quelltexte und Verifikationsskripte generiert werden. In allen Entwurfsschritten können durch Verfolgen der Abhängigkeiten und Erfassung der Erfüllung der Anforderungen Aussagen getroffen werden, wie viel vom Produkt spezifiziert, imp-lementiert und verifiziert ist.

Uwe Proß schloss 1990 eine Lehre als Elektroinstallateur ab. Von 1996-2002 studierte Herr Proß Elektrotechnik mit Spezialisierungsrichtung Informationstechnik an der Technischen Universität Chemnitz und der University of South Australia. Seit 2002 ist Herr Proß als wissenschaftlicher Mitarbeiter an der Professur Schaltkreis- und Systementwurf an der TU Chemnitz tätig, wo er sich mit formaler Spezifikation und rekonfigurierbaren Anwendungen beschäftigt.