Repositorio UTM
Por favor, use este identificador para citar o enlazar este ítem: http://repositorio.utm.mx:8080/jspui/handle/123456789/213
Registro completo de metadatos
Campo DC Valor Lengua/Idioma
dc.rights.licenseAtribución No Comercial Sin Derivadases
dc.contributor.advisorAmbrosio, Miriam-
dc.contributor.authorFernández y Fernández, Carlos Alberto-
dc.creatorCARLOS ALBERTO FERNANDEZ Y FERNANDEZ;254190es
dc.date.accessioned2019-07-05T16:13:59Z-
dc.date.available2019-07-05T16:13:59Z-
dc.date.issued2011-01-
dc.identifier.citationFerná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.urihttp://repositorio.utm.mx:8080/jspui/handle/123456789/213-
dc.description.abstractUno 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.isospaen
dc.publisherUniversidad Tecnológica de la Mixtecaes
dc.relation.ispartofREPOSITORIO NACIONAL CONACYTes
dc.rightsopenAccessen
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0en
dc.subjectmétodos formales, industria, softwarees
dc.subject.other7 INGENIERIA Y TECNOLOGIAes
dc.titleMétodos formales aplicados a la industria del softwarees
dc.typearticleen
dc.creator.adscriptionInstituto de Computaciónes
dc.type.statuspublishedVersionen
Aparece en las colecciones: 2011

Ficheros en este ítem:
Fichero Descripción Tamaño Formato  
2011-TCyT-CAFF.pdf429.71 kBAdobe PDFVisualizar
facebook


Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons Creative Commons