Verifying OCL specifications of UML models : tool support and compositionality / Marcel Kyas - Nederlandse Bibliografie Totaal (NBT) - Fedor - Netwerk Digitaal Erfgoed

Verifying OCL specifications of UML models : tool support and compositionality / Marcel Kyas

Verifying OCL specifications of UML models : tool support and compositionality / Marcel Kyas

http://data.bibliotheken.nl/id/nbt/p292973543

4bd358748014e496680295659cf36006

mainEntity

Verifying OCL specifications of UML models : tool support and compositionality / Marcel Kyas

http://data.bibliotheken.nl/id/nbt/p292973543

about

author

bookFormat

description

Proefschrift Universiteit Leiden

http://www.w3.org/2001/XMLSchema#string

inLanguage

en

http://www.w3.org/2001/XMLSchema#string

isBasedOn

isPartOf

IPA dissertation series

isbn

3865411428

http://www.w3.org/2001/XMLSchema#string

9783865411426

http://www.w3.org/2001/XMLSchema#string

mainEntityOfPage

4bd358748014e496680295659cf36006

name

Verifying OCL specifications of UML models : tool support and compositionality

http://www.w3.org/2001/XMLSchema#string

numberOfPages

199

http://www.w3.org/2001/XMLSchema#integer

publication

45f7c377a7398b3146d264a4a746f77e

sameAs

type

label

Verifying OCL specifications o ...... compositionality / Marcel Kyas

http://www.w3.org/2001/XMLSchema#string