FORMALIZACIÓN DE CASOS DE USO USANDO TLA+

Thesis
FORMALIZACIÓN DE CASOS DE USO USANDO TLA+

dc.contributor.department	Ciencias
dc.contributor.guia	Dombrovskaia, Lioubov
dc.contributor.other	VISCONTI ZAMORA, MARCELLO
dc.coverage.spatial	Campus Casa Central Valparaíso
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
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

Now showing 1 - 1 of 1