Revisión sistemática a la literatura para determinar los enfoques de la investigación en verificación formal del software

Ubicación en Biblioteca USB Medellín (San Benito): CD-1922t.

Autores:

Morales Valencia, David Alejandro

Tipo de recurso:

Fecha de publicación:

2011

Institución:

Universidad de San Buenaventura

Repositorio:

Repositorio USB

Idioma:

spa

OAI Identifier:

oai:bibliotecadigital.usb.edu.co:10819/537

Acceso en línea:

http://hdl.handle.net/10819/537

Palabra clave:

Ingeniería de software
Investigación
Software
Verificación formal
Métodos formales
Técnicos de ingeniería

Rights

License

http://purl.org/coar/access_right/c_abf2