Metriken und Regeln für eine durchgängige und modellbasierte SW-Entwicklung im Automobilbereich

dc.contributor.author	Mutz, Martin
dc.contributor.editor	Dadam, Peter
dc.contributor.editor	Reichert, Manfred
dc.date.accessioned	2019-10-11T11:37:40Z
dc.date.available	2019-10-11T11:37:40Z
dc.date.issued	2004
dc.identifier.isbn	3-88579-380-6
dc.identifier.issn	1617-5468
dc.identifier.uri	http://dl.gi.de/handle/20.500.12116/28772
dc.description.abstract	Im Folgenden wird ein prototypisches Werkzeug zur Überprüfung der Einhaltung von Modellierungsregeln vorgestellt. Der Prototyp wurde im Rahmen eines Automotive-Projekts entwickelt und eingesetzt. Mit Hilfe des Programms können Modellierungsregeln in Java und OCL definiert werden, um Inkonsistenzen, Inkompatibilitäten sowie Designfehler in zustandsbasierten Modellen zu analysieren. Anschließend kann die Qualität der Zustandsautomaten durch Metriken bewertet werden.	de
dc.language.iso	de
dc.publisher	Gesellschaft für Informatik e.V.
dc.relation.ispartof	Informatik 2004, Informatik verbindet, Band 2, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI)
dc.relation.ispartofseries	Lecture Notes in Informatics (LNI) - Proceedings, Volume P-51
dc.title	Metriken und Regeln für eine durchgängige und modellbasierte SW-Entwicklung im Automobilbereich	de
dc.type	Text/Conference Paper
dc.pubPlace	Bonn
mci.reference.pages	18-22
mci.conference.sessiontitle	Regular Research Papers
mci.conference.location	Ulm
mci.conference.date	20.-24. September 2004