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...
Na minha lista:
| Publicado no: | Revista Virtual Universidad Católica del Norte |
|---|---|
| Autor principal: | |
| Formato: | Artigo |
| Idioma: | Espanhol |
| Publicado em: |
Fundación Universitaria Católica del Norte
2010
|
| Assuntos: | |
| Acesso em linha: | https://www.redalyc.org/articulo.oa?id=194214476008 |
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|