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

Zusammenfassung
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.
  • Vollständige Referenz
  • BibTeX
Mutz, M., (2004). Metriken und Regeln für eine durchgängige und modellbasierte SW-Entwicklung im Automobilbereich. In: Dadam, P. & Reichert, M. (Hrsg.), Informatik 2004, Informatik verbindet, Band 2, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI). Bonn: Gesellschaft für Informatik e.V.. (S. 18-22).
@inproceedings{mci/Mutz2004,
author = {Mutz, Martin},
title = {Metriken und Regeln für eine durchgängige und modellbasierte SW-Entwicklung im Automobilbereich},
booktitle = {Informatik 2004, Informatik verbindet, Band 2, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI)},
year = {2004},
editor = {Dadam, Peter AND Reichert, Manfred} ,
pages = { 18-22 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
GI-Proceedings.51-6.pdf500.4Kb PDF Öffnen

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

Mehr Information

ISBN: 3-88579-380-6
ISSN: 1617-5468
Datum: 2004
Sprache: de (de)
Typ: Text/Conference Paper
Sammlungen

Zur Langanzeige