Métodos formales aplicados a la industria del software

Fernández y Fernández, Carlos Alberto

Please use this identifier to cite or link to this item: http://repositorio.utm.mx:8080/jspui/handle/123456789/213

Full metadata record

DC Field	Value	Language
dc.rights.license	Atribución No Comercial Sin Derivadas	es
dc.contributor.advisor	Ambrosio, Miriam	-
dc.contributor.author	Fernández y Fernández, Carlos Alberto	-
dc.creator	CARLOS ALBERTO FERNANDEZ Y FERNANDEZ;254190	es
dc.date.accessioned	2019-07-05T16:13:59Z	-
dc.date.available	2019-07-05T16:13:59Z	-
dc.date.issued	2011-01	-
dc.identifier.citation	Fernández, C., Ambrosio, M. (2011). Métodos formales aplicados a la industria del software. TEMAS DE CIENCIA Y TECNOLOGÍA, 15(43), 3-12.	es
dc.identifier.uri	http://repositorio.utm.mx:8080/jspui/handle/123456789/213	-
dc.description.abstract	Uno de las ideas más difundidas sobre el uso de métodos formales es su nula aplicación en la industria sotware. Si bien es cierto que su adopción ha sido lenta, existen casos de importantes empresas que han tenido éxito al aplicarlos en proyectos reales. En el presente artículo se mencionan algunos de estos ejemplos donde se han aplicando distintos métodos formales, tanto en la industria de software y hardware, incluyendo la situación en nuestro país y las perspectivas a futuro.	es
dc.language.iso	spa	en
dc.publisher	Universidad Tecnológica de la Mixteca	es
dc.relation.ispartof	REPOSITORIO NACIONAL CONACYT	es
dc.rights	openAccess	en
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/4.0	en
dc.subject	métodos formales, industria, software	es
dc.subject.other	7 INGENIERIA Y TECNOLOGIA	es
dc.title	Métodos formales aplicados a la industria del software	es
dc.type	article	en
dc.creator.adscription	Instituto de Computación	es
dc.type.status	publishedVersion	en
Appears in Collections:	2011

Files in This Item:

File	Description	Size	Format
2011-TCyT-CAFF.pdf		429.71 kB	Adobe PDF	View/Open

Show simple item record

This item is licensed under a Creative Commons License