Diploma Thesis DIP-1654

BibliographyRichter, Martin: Konzeption und Implementierung von Verfahren zur (halb-)automatischen Pruefung natuerlichsprachlicher Spezifikationen.
University of Stuttgart, Faculty of Computer Science, Diploma Thesis No. 1654 (1998).
75 pages, german.
CR-SchemaD.2.1 (Software Engineering Requirements/Specifications)
D.2.2 (Software Engineering Tools and Techniques)
I.2.7 (Natural Language Processing)
I.7.5
KeywordsSpezifikation; Pruefung; Maengel; ADMIRE
Abstract

In dem Bericht geht es um die Erarbeitung von Verfahren zur Pruefung natuerlichsprachlicher Anforderungsspezifikationen, die mit dem Werkzeug ADMIRE erstellt wurden. Die Pruefungen zielen ab auf die Identifizierung typischer Maengel, wie sie bei einer Spezifikationserstellung immer wieder auftreten, z.B. Unvollstaendigkeit, widerspruechliche oder mehrdeutige Anforderungen usw. Die beschriebenen Verfahren sind halbautomatisch, d.h. sie schlagen moegliche Maengel aufgrund gefundener Indizien hin vor. Die endgueltige Entscheidung, ob ein bestimmter Mangel tatsaechlich vorliegt, muss vom Benutzer getroffen werden.

Full text and
other links
PostScript (843374 Bytes)
Access to students' publications restricted to the faculty due to current privacy regulations
Department(s)University of Stuttgart, Institute of Computer Science, Software Engineering
Entry dateSeptember 30, 1998
   Publ. Computer Science