Verifying OCL specifications of UML models : tool support and compositionality

Søk kun i bestemt felt Avgrens på brukernivå barn, voksen osv

Avgrens på format. (Bok, DVD, Lydbok, etc.) Avgrens på språk

Fra år

Til år


Utgitt	Berlin : Lehmanns Media , 2006
Omfang	x, 199 s.
Opplysninger	Avhandling (Ph.D.) - Universiteit Leiden, 2005
Emner	Objektorienterte systemer Unified Modeling Language Verifikasjon
ISBN	3865411428

Biblioteksøk