Integration von Model-Driven Development und formaler Verifikation in den Softwareentwicklungsprozess - eine Fallstudie mit einem 3D-Tracking-System

dc.contributor.author	Ammann, Christian
dc.date.accessioned	2023-03-21T10:46:28Z
dc.date.available	2023-03-21T10:46:28Z
dc.date.issued	2010
dc.description.abstract	Bei modellgetriebener Softwareentwicklung werden Modelle entwickelt und aus diesen ausführbare Software generiert. Durch die Verknüpfung mit formaler Verifikation können Fehler in den Modellen gefunden und so der Ansatz der modellgetriebenen Softwareentwicklung verbessert werden. Diese Arbeit untersucht anhand von zwei Fallstudien, wie aktuelle Forschungsergebnisse im Bereich der Modellierung und Verifikation auf Verhaltensebene in den Softwareentwicklungsprozess integriert werden können.	de
dc.identifier.pissn	0720-8928
dc.identifier.uri	https://dl.gi.de/handle/20.500.12116/41049
dc.language.iso	de
dc.publisher	Geselllschaft für Informatik e.V.
dc.relation.ispartof	Softwaretechnik-Trends Band 30, Heft 4
dc.title	Integration von Model-Driven Development und formaler Verifikation in den Softwareentwicklungsprozess - eine Fallstudie mit einem 3D-Tracking-System	de
dc.type	Text/Journal Article
gi.citation.publisherPlace	Bonn
gi.conference.sessiontitle	Technische Beiträge

Dateien

1 - 1 von 1