Métodos formales aplicados a la industria del software
Fuente:
Universidad Tecnológica de la Mixteca
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...
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | article |
| Langue: | espagnol |
| Publié: |
Universidad Tecnológica de la Mixteca
2011
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1877695574265823233 |
|---|---|
| author | Fernández y Fernández, Carlos Alberto |
| author_facet | Fernández y Fernández, Carlos Alberto |
| author_sort | Fernández y Fernández, Carlos Alberto |
| collection | Repositorio Institucional UTM |
| description | 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. |
| format | article |
| id | utm-123456789-213 |
| institution | Universidad Tecnológica de la Mixteca |
| language | Spanish |
| publishDate | 2011 |
| publisher | Universidad Tecnológica de la Mixteca |
| record_format | dspace |
| spelling | Métodos formales aplicados a la industria del software CARLOS ALBERTO FERNANDEZ Y FERNANDEZ;254190 Fernández y Fernández, Carlos Alberto Ambrosio, Miriam métodos formales, industria, software 7 INGENIERIA Y TECNOLOGIA 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. 2019-07-05T16:13:59Z 2019-07-05T16:13:59Z 2011-01 article publishedVersion 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. http://repositorio.utm.mx:8080/jspui/handle/123456789/213 spa REPOSITORIO NACIONAL CONACYT openAccess Atribución No Comercial Sin Derivadas http://creativecommons.org/licenses/by-nc-nd/4.0 application/pdf Universidad Tecnológica de la Mixteca |
| spellingShingle | Métodos formales aplicados a la industria del software Fernández y Fernández, Carlos Alberto métodos formales, industria, software 7 INGENIERIA Y TECNOLOGIA |
| title | Métodos formales aplicados a la industria del software |
| title_full | Métodos formales aplicados a la industria del software |
| title_fullStr | Métodos formales aplicados a la industria del software |
| title_full_unstemmed | Métodos formales aplicados a la industria del software |
| title_short | Métodos formales aplicados a la industria del software |
| title_sort | métodos formales aplicados a la industria del software |
| topic | métodos formales, industria, software 7 INGENIERIA Y TECNOLOGIA |
| topic_facet | métodos formales, industria, software 7 INGENIERIA Y TECNOLOGIA |
| url | http://repositorio.utm.mx/handle/123456789/213 |