Anforderungen auf Konsistenz überprüft - Formalisierung hilft

dc.contributor.author	Segelken, Marc
dc.contributor.editor	Jähnichen, Stefan
dc.contributor.editor	Küpper, Axel
dc.contributor.editor	Albayrak, Sahin
dc.date.accessioned	2018-11-19T13:24:14Z
dc.date.available	2018-11-19T13:24:14Z
dc.date.issued	2012
dc.description.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.	de
dc.identifier.isbn	978-3-88579-292-5
dc.identifier.pissn	1617-5468
dc.identifier.uri	https://dl.gi.de/handle/20.500.12116/18365
dc.language.iso	de
dc.publisher	Gesellschaft für Informatik e.V.
dc.relation.ispartof	Software Engineering 2012
dc.relation.ispartofseries	Lecture Notes in Informatics (LNI) - Proceedings, Volume P-198
dc.title	Anforderungen auf Konsistenz überprüft - Formalisierung hilft	de
dc.type	Text/Conference Paper
gi.citation.endPage	48
gi.citation.publisherPlace	Bonn
gi.citation.startPage	47
gi.conference.date	27. Februar - 2. März 2012
gi.conference.location	Berlin
gi.conference.sessiontitle	Regular Research Papers

Dateien

1 - 1 von 1