Enfoque basado en modelos para la detección y localización de errores en diagramas de actividad SySML utilizando redes de Petri e información de trazabilidad, caso de estudio: Framework HiLeS
Magíster en Ingeniería de Sistemas y Computación
- Autores:
-
Cáliz Ospino, Rodolfo Arturo
- Tipo de recurso:
- Fecha de publicación:
- 2014
- Institución:
- Universidad de los Andes
- Repositorio:
- Séneca: repositorio Uniandes
- Idioma:
- spa
- OAI Identifier:
- oai:repositorio.uniandes.edu.co:1992/12415
- Acceso en línea:
- http://hdl.handle.net/1992/12415
- Palabra clave:
- Ingeniería de software
Lenguajes descriptivos para equipos de computador
Redes de Petri
Framework (Computadores)
Ingeniería
- Rights
- openAccess
- License
- http://creativecommons.org/licenses/by-nc-nd/4.0/