Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Verifikation im Vorgehensmodell anhand eines Beispiels

 
: Fricke, O.; Borusan, A.; Vesper, T.; Kindler, E.

Ehrig, H.; Reisig, W.; Weber, H. ; Deutsche Forschungsgemeinschaft -DFG-, Forschergruppe Petrinetz-Technologie:
Move-on-Workshop der DFG-Forschergruppe Petrinetz-Technologie 1997 : Berlin, 3. und 4. April 1997
Berlin: Leiter der Fachbibliothek Informatik, 1997 (TU Berlin. Forschungsberichte des Fachbereichs Informatik 97,21)
pp.97-120
Deutsche Forschungsgemeinschaft, Forschergruppe Petrinetz-Technologie (Move-on-Workshop) <1997, Berlin>
German
Conference Paper
Fraunhofer ISST ()
Methode; Technik; verification; Vorgehensmodell

Abstract
"Verifikation im Vorgehensmodell" ist der Name einer Kooperation im Rahmen der DFG-Forschergruppe "Petrinetz-Technologie". In dieser Kooperation wird untersucht, an welchen Stellen im Software-Entwicklungs-Prozeß formale Verifikation eingesetzt werden kann und welche Methoden und Techniken dafür geeignet sind insbesondere im Hinblick auf den Einsatz in Verbindung mit Petrinetzen. Im Papier stellen wir grob die verschiedenen Tätigkeiten der Software-Entwicklung anhand eines Beispiels dar und legen Begriffe für die Tätigkeiten und ihre Ergebnisse fest. Dann zeigen wir, an welchen Stellen sich Verifikation anbietet. Wir konzentrieren uns hier auf die frühen Phasen der Software-Entwicklung, weil einerseits Petrinetze für diese Phasen besonders gut geeignet erscheinen und andererseits Verifikation in den frühen Phasen am gewinnbringendsten eingesetzt werden kann. Wir stellen damit eine "Landkarte" für die weiteren Arbeiten in der Kooperation "Verifikation im Vorgehensmodell" bereit.

: http://publica.fraunhofer.de/documents/PX-39716.html