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
|
Utgitt | Berlin : Lehmanns Media , 2006
|
---|---|
Omfang | x, 199 s.
|
Opplysninger | Avhandling (Ph.D.) - Universiteit Leiden, 2005
|
Emner | |
ISBN | 3865411428
|