FORMALIZACIÓN DE CASOS DE USO USANDO TLA+

Thesis
FORMALIZACIÓN DE CASOS DE USO USANDO TLA+

dc.contributor.advisor	Dombrovskaia, Lioubov
dc.contributor.department	Universidad Técnica Federico Santa María. UTFSM. Casa Central
dc.contributor.other	VISCONTI ZAMORA, MARCELLO
dc.creator	Guzmán Fuenzalida, Carlos Rodrigo
dc.date.accessioned	2024-10-02T13:17:01Z
dc.date.available	2024-10-02T13:17:01Z
dc.date.issued	2006
dc.description	Digitalizada desde la versión papel
dc.description.abstract	[Resumen del autor] Los errores cometidos en la etapa de especificación de requerimientos son los más problemáticos y los más costosos de reparar en el desarrollo de un producto de software. Existe un consenso en la comunidad científica que es en esta eta
dc.description.degree	MAGÍSTER EN CIENCIAS DE LA INGENIERÍA INFORMÁTICA	es_CL
dc.format.medium	Papel/Digitalizada
dc.identifier.barcode	3560900133515
dc.identifier.uri	https://repositorio.usm.cl/handle/123456789/20448
dc.language.iso	es
dc.publisher	Universidad Técnica Federico Santa María
dc.rights.accessRights	B - Solamente disponible para consulta en sala (opción por defecto)
dc.source.uri	http://www.usm.cl
dc.subject	INGENIERIA DE SOFTWARE
dc.subject	SOFTWARE PARA COMPUTADOR
dc.title	FORMALIZACIÓN DE CASOS DE USO USANDO TLA+
dc.type	Tesis de Postgrado
dspace.entity.type	Tesis
usm.campus.sede	BC

Now showing 1 - 1 of 1