Verification and Validation of UML/OCL Object Componenets Models

Arifa Bhutto

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

158 Downloads (Pure)
OriginalsprogEngelsk
ForlagAalborg Universitetsforlag
Antal sider57
ISBN (Elektronisk)978-87-7210-194-1
StatusUdgivet - 2018
NavnPh.d.-serien for Det Ingeniør- og Naturvidenskabelige Fakultet, Aalborg Universitet
ISSN2446-1636

Bibliografisk note

PhD supervisor:
Associate Prof. D.M. Akber Hussain, Aalborg University, Denmark

Citer dette

Bhutto, A. (2018). Verification and Validation of UML/OCL Object Componenets Models. Aalborg Universitetsforlag. Ph.d.-serien for Det Ingeniør- og Naturvidenskabelige Fakultet, Aalborg Universitet
Bhutto, Arifa. / Verification and Validation of UML/OCL Object Componenets Models. Aalborg Universitetsforlag, 2018. 57 s. (Ph.d.-serien for Det Ingeniør- og Naturvidenskabelige Fakultet, Aalborg Universitet).
@phdthesis{9054661390a94bdb842c57e99783fa89,
title = "Verification and Validation of UML/OCL Object Componenets Models",
author = "Arifa Bhutto",
note = "PhD supervisor: Associate Prof. D.M. Akber Hussain, Aalborg University, Denmark",
year = "2018",
language = "English",
series = "Ph.d.-serien for Det Ingeni{\o}r- og Naturvidenskabelige Fakultet, Aalborg Universitet",
publisher = "Aalborg Universitetsforlag",

}

Bhutto, A 2018, Verification and Validation of UML/OCL Object Componenets Models. Ph.d.-serien for Det Ingeniør- og Naturvidenskabelige Fakultet, Aalborg Universitet, Aalborg Universitetsforlag.

Verification and Validation of UML/OCL Object Componenets Models. / Bhutto, Arifa.

Aalborg Universitetsforlag, 2018. 57 s. (Ph.d.-serien for Det Ingeniør- og Naturvidenskabelige Fakultet, Aalborg Universitet).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

TY - BOOK

T1 - Verification and Validation of UML/OCL Object Componenets Models

AU - Bhutto, Arifa

N1 - PhD supervisor: Associate Prof. D.M. Akber Hussain, Aalborg University, Denmark

PY - 2018

Y1 - 2018

M3 - Ph.D. thesis

T3 - Ph.d.-serien for Det Ingeniør- og Naturvidenskabelige Fakultet, Aalborg Universitet

BT - Verification and Validation of UML/OCL Object Componenets Models

PB - Aalborg Universitetsforlag

ER -

Bhutto A. Verification and Validation of UML/OCL Object Componenets Models. Aalborg Universitetsforlag, 2018. 57 s. (Ph.d.-serien for Det Ingeniør- og Naturvidenskabelige Fakultet, Aalborg Universitet).