A Framework for the Validation and Test of UML Distributed Software

16/07/98


Cliquez ici pour démarrer


Table des matières

A Framework for the Validation and Test of UML Distributed Software

The context

Existing techniques & tools

Difficulties in using FDTs

Modeling with the UML

UML concepts & notation

Integration of validation in the OO life-cycle

UMLAUT and the real world

The VALOODS Framework

UML Static Transformations

Statechart Transformations

Compilation to a reactive system

Validation & Test of the Model

Validation & Test of the Model

Conclusions & Perspectives

 Auteur:CONQ Stéphane

Messagerie: jezequel@irisa.fr

Page d'accueil: http://www.irisa.fr/prive/jezequel