Mostra el registre d'ítem simple

Verificació i validació d'esquemes conceptuals UML/OCL amb operacions

dc.contributorTeniente López, Ernest
dc.contributor.authorOriol Hilari, Xavier
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació
dc.date.accessioned2012-07-11T14:19:53Z
dc.date.available2012-07-11T14:19:53Z
dc.date.issued2012-06-14
dc.identifier.urihttp://hdl.handle.net/2099.1/15673
dc.description.abstractEn aquest projecte es construeix una eina per l'anàlisi d'esquemes conceptuals amb operacions basat en la reducció del problema a un problema de lògica de 1r ordre. A través d'uns tests predefinits i l'opció de definir-ne de propis, un usuari pot provar la correcció d'un esquema.
dc.language.isocat
dc.publisherUniversitat Politècnica de Catalunya
dc.subjectÀrees temàtiques de la UPC::Informàtica::Sistemes d'informació
dc.subject.lcshUML (Computer science)
dc.subject.lcshComputer software--Testing
dc.subject.otherverificació
dc.subject.othervalidació
dc.subject.otheresquema
dc.subject.otherconceptual
dc.subject.otherUML
dc.subject.otherOCL
dc.subject.othercomportament
dc.subject.otherverification
dc.subject.othervalidation
dc.subject.otherschema
dc.subject.otherconceptual
dc.subject.otherbehaviour
dc.titleVerificació i validació d'esquemes conceptuals UML/OCL amb operacions
dc.typeMaster thesis (pre-Bologna period)
dc.subject.lemacUML (Informàtica)
dc.subject.lemacProgramari--Verificació
dc.identifier.slug82308
dc.rights.accessOpen Access
dc.date.updated2012-06-25T22:07:52Z
dc.audience.educationlevelEstudis de primer/segon cicle
dc.audience.mediatorFacultat d'Informàtica de Barcelona
dc.audience.degreeENGINYERIA INFORMÀTICA (Pla 2003)


Fitxers d'aquest items

Thumbnail
Nom:
82308.pdf
Mida:
4,440Mb
Format:
PDF
Visualitza/Obre

Aquest ítem apareix a les col·leccions següents

Mostra el registre d'ítem simple