Repositorio UTM
Please use this identifier to cite or link to this item: http://repositorio.utm.mx:8080/jspui/handle/123456789/213
Title: Métodos formales aplicados a la industria del software
Authors: Ambrosio, Miriam
Fernández y Fernández, Carlos Alberto
Keywords: métodos formales, industria, software
Issue Date: Jan-2011
Publisher: Universidad Tecnológica de la Mixteca
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.
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.
URI: http://repositorio.utm.mx:8080/jspui/handle/123456789/213
Appears in Collections:2011

Files in This Item:
File Description SizeFormat 
2011-TCyT-CAFF.pdf429.71 kBAdobe PDFView/Open
facebook


This item is licensed under a Creative Commons License Creative Commons