- AutorIn
- Ralph Miarka
- Titel
- Formal Specification and Verification of Knowledge and its Application
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:15-qucosa2-164810
- Übersetzter Titel (DE)
- Formale Wissensspezifikation und -verifikation und deren Anwendung
- Schriftenreihe
- Abschluss- und Qualifikationsarbeiten aus der Fakultät für Mathematik und Informatik
- Datum der Einreichung
- 29.07.1998
- Abstract (DE)
- Software muß zuverlässiger werden. Es ist allgemein anerkannt, daß formale Methoden, sofern sie richtig angewandt werden, die Sicherheit und Stabilität von Software verbessern können. Jedoch werden formale Methoden noch selten für industrielle Projekte genutzt. Das Ziel dieser Arbeit ist die Untersuchung, ob und wie Methoden, Werkzeuge und Ergebnisse aus dem Bereich der Wissensrepr äsentation auf das Gebiet der formalen Spezifikation übertragen werden können. Zuerst vergleichen wir Ziele, Konzepte und Probleme der Wissenrepräsentation mit denen der formalen Spezifikation. Danach untersuchen wir einige Eigenschaften von Spezifikationen und Wissensbasen, wie zum Beispiel Konsistenz, Vollständigkeit und Korrektheit. Weiterhin betrachten wir ein Werkzeug zur Spezifikation von wissensbasierten Systemen, welches selbst ein Wissensrepräsentationssystem ist. Abschließend ordnen wir diese Arbeit in die Standard Siemens Entwicklungsmethode (stdSEM) ein.
- Freie Schlagwörter (DE)
- Wissenrepräsentation, formale Spezifikation, Siemens Entwicklungsmethode
- Klassifikation (DDC)
- 000
- BetreuerIn Hochschule / Universität
- Prof. Dr. Heinrich Herre
- BetreuerIn - externe Einrichtung
- Dr. Peter Hrandek
- Den akademischen Grad verleihende / prüfende Institution
- Universität Leipzig, Leipzig
- Version / Begutachtungsstatus
- angenommene Version / Postprint / Autorenversion
- URN Qucosa
- urn:nbn:de:bsz:15-qucosa2-164810
- Veröffentlichungsdatum Qucosa
- 20.10.2017
- Dokumenttyp
- Diplomarbeit
- Sprache des Dokumentes
- Englisch