Métodos formales e Ingeniería de Software
Los métodos formales surgieron como puntos de vista analíticos con los que es posible verificar el desarrollo de sistemas mediante la lógica y las matemáticas, lo que aporta grandes ventajas para mejorar la calidad de los programas y por tanto la Ingeniería de Software. En este campo del conocimient...
Guardat en:
| Publicat a: | Revista Virtual Universidad Católica del Norte |
|---|---|
| Autor principal: | |
| Format: | Artigo |
| Idioma: | Espanhol |
| Publicat: |
Fundación Universitaria Católica del Norte
2010
|
| Matèries: | |
| Accés en línia: | https://www.redalyc.org/articulo.oa?id=194214476008 |
| Etiquetes: |
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|