A Translation of UML Components into Formal Specifications - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2003

A Translation of UML Components into Formal Specifications

Résumé

no abstract
Fichier non déposé

Dates et versions

hal-00457195 , version 1 (16-02-2010)

Identifiants

  • HAL Id : hal-00457195 , version 1

Citer

Liang Peng, Annya Réquilé Romanczuk, Jean-Claude Royer. A Translation of UML Components into Formal Specifications. TOOLS East Europe 2002, 2003, Sofia, Bulgaria. pp.60-75. ⟨hal-00457195⟩
195 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More