Anforderungen auf Konsistenz überprüft - Formalisierung hilft

Abstract
Im Requirements Engineering sind Fragestellungen bzgl. der Eindeutigkeit, Widerspruchsfreiheit und Vollständigkeit Herausforderungen, die in herkömmlichen, manuell textbasierten Vorgehensweisen nur schwer zu beherrschen sind. Dieser Beitrag beschreibt für reaktive Systeme und Anforderungen, wie sie typischerweise in eingebetteten Systemen vorkommen, den Anwendungsfall der automatischen Modellunabhängigen Überprüfung von Mengen von Requirements hinsichtlich Widerspruchsfreiheit und Vollständigkeit durch Verwendung von in graphischer Darstellung repräsentierter Anforderungen durch formale Methoden.
  • Citation
  • BibTeX
Segelken, M., (2012). Anforderungen auf Konsistenz überprüft - Formalisierung hilft. In: Jähnichen, S., Küpper, A. & Albayrak, S. (Hrsg.), Software Engineering 2012. Bonn: Gesellschaft für Informatik e.V.. (S. 47-48).
@inproceedings{mci/Segelken2012,
author = {Segelken, Marc},
title = {Anforderungen auf Konsistenz überprüft - Formalisierung hilft},
booktitle = {Software Engineering 2012},
year = {2012},
editor = {Jähnichen, Stefan AND Küpper, Axel AND Albayrak, Sahin} ,
pages = { 47-48 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
47.pdf44.93Kb PDF View/Open

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Send Feedback

More Info

ISBN: 978-3-88579-292-5
ISSN: 1617-5468
xmlui.MetaDataDisplay.field.date: 2012
Language: de (de)
Content Type: Text/Conference Paper
Collections

Show full item record