L'environnement FoCaLiZe au service d'UML/OCL
No Thumbnail Available
Date
2018-11-03
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
126 p. : ill. ; 30 cm (+ CD-Rom)
Keywords
Méthodes graphiques ; UML (informatique) ; Théorie des ensembles ; OCL (informatique)