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
| Autor: | |
|---|---|
| Tipo de recurso: | tesis de maestría |
| Estado: | Versión publicada |
| Fecha de publicación: | 2014 |
| País: | Colombia |
| Institución: | Universidad de los Andes |
| Repositorio: | Séneca: repositorio Uniandes |
| Idioma: | español |
| OAI Identifier: | oai:repositorio.uniandes.edu.co:1992/12415 |
| Acceso en línea: | http://hdl.handle.net/1992/12415 |
| Access Level: | acceso abierto |
| Palabra clave: | Ingeniería de software Lenguajes descriptivos para equipos de computador Redes de Petri Framework (Computadores) Ingeniería |
| Sumario: | Magíster en Ingeniería de Sistemas y Computación |
|---|