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...
Furkejuvvon:
| Publikašuvnnas: | Revista Virtual Universidad Católica del Norte |
|---|---|
| Váldodahkki: | |
| Materiálatiipa: | Artigo |
| Giella: | Espanhol |
| Almmustuhtton: |
Fundación Universitaria Católica del Norte
2010
|
| Fáttát: | |
| Liŋkkat: | https://www.redalyc.org/articulo.oa?id=194214476008 |
| Fáddágilkorat: |
Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!
|