Verhaltensverifikation und Visualisierung von UML-Modellen
 |
|
Описание:
Die Komplexitat von Softwaresystemen hat in den letzten Jahren enorm zugenommen, wodurch das Programmieren, Verstehen und Modifizieren der Programme fur die Softwareentwickler und -warter immer schwieriger wird. Als standardisierte Sprache zur Darstellung der statischen und dynamischen Aspekte eines Systems hat sich die UML zu einem wichtigen Hilfsmittel bei der Analyse, dem Entwurf, dem Testen und Warten von Softwaresystemen etabliert. Viele Hersteller und Entwickler haben deshalb eine Vielzahl von UML-basierten Modellierungstools entwickelt, mit denen Softwaresysteme effizient konzipiert und entwickelt werden konnen. Dennoch gibt es kaum Ansatze zur Simulation bzw. Verifikation der entwickelten UML-Diagramme in den gangigen Tools. Dies wurde jedoch zu einer Verminderung des Fehlverhaltens von Programmen und zu einer Vereinfachung bei der Erfassung, Entwicklung und Wartung komplexer Softwaresysteme beitragen. In dieser Arbeit werden Konzepte zur Verifikation und Visualisierung der...Похожие книги
 | Entwicklung einer Unternehmensstrategie in der Wohnungswirtschaft Автор: Ekkehard Korbel Год: 2010 |
 | Die Rolle der Volksrepublik China in einer multipolaren Welt Автор: Manuel Mei?ner Год: 2010 |
 | Messung und Beurteilung des Kulturwandels Автор: Christoph Stadelmann Год: 2010 |
 | Robert Walser und die Neue Zeit Год: 2010 |
 | Erarbeitung eines flexiblen Testansatzes fur eine J2EE-Anwendung Автор: Alexander Rudorf Год: 2010 |
 | Ethnographie Feldforschung im Dilemma des Erkenntnistransfers Автор: Brigitte Fey Год: 2010 |