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.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 |
Aparece en las colecciones: | 2011 |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | |
---|---|---|---|---|
2011-TCyT-CAFF.pdf | 429.71 kB | Adobe PDF | Visualizar |
Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons