Verifying OCL specifications of UML models : tool support and compositionality


Marcel Kyas
Bok Engelsk 2006
Utgitt
Berlin : Lehmanns Media , 2006
Omfang
x, 199 s.
Opplysninger
Avhandling (Ph.D.) - Universiteit Leiden, 2005
Emner
ISBN
3865411428

Bibliotek som har denne