| dc.contributor.author | Wiesbrock, Hans-Werner | |
| dc.contributor.author | Dörr, Heiko | |
| dc.contributor.author | Holberg, Hans Jürgen | |
| dc.contributor.editor | Schubert, Sigrid E. | |
| dc.contributor.editor | Reusch, Bernd | |
| dc.contributor.editor | Jesse, Norbert | |
| dc.date.accessioned | 2019-11-28T09:31:25Z | |
| dc.date.available | 2019-11-28T09:31:25Z | |
| dc.date.issued | 2002 | |
| dc.identifier.isbn | 3-88579-348-2 | |
| dc.identifier.issn | 1617-5468 | |
| dc.identifier.uri | http://dl.gi.de/handle/20.500.12116/30316 | |
| dc.description.abstract | Um die hohen Qualitätsansprüche an Software im Fahrzeug zu sichern, wird der Einsatz eines Model Checkers empfohlen. Es werden Erfahrungen aus der Evaluation heute verfügbarer Werkzeuge präsentiert. Der Einsatz dieser Technologie wird durch die inhärente Schwierigkeit, die geforderten Eigenschaften an das Modell mathematisch zu präzisieren, erschwert. Um den Benutzer darin zu unterstützen wird eine Klassifikation geeigneter Mustereigenschaften zusammen mit einem Konzept eines Pattern Wizard vorgestellt, so dass der Anwender nach konkreten Handlungsanweisungen zur geeigneten Formulierung seiner Abfragen kommt. | de |
| dc.language.iso | de | |
| dc.publisher | Gesellschaft für Informatik e.V. | |
| dc.relation.ispartof | Informatik bewegt: Informatik 2002 - 32. Jahrestagung der Gesellschaft für Informatik e.v. (GI) | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-19 | |
| dc.title | Model Checking im Automotivbereich | de |
| dc.type | Text/Conference Paper | |
| dc.pubPlace | Bonn | |
| mci.reference.pages | 819-823 | |
| mci.conference.sessiontitle | Regular Research Papers | |
| mci.conference.location | Dortmund | |
| mci.conference.date | 30. September - 3. Oktober 2002 | |
