Representación de las primitivas conceptuales de UML 2.2 en lógica de predicados de primer orden
La Ingeniería de Software utiliza modelos de procesos de desarrollo de software y un conjunto de técnicas y metodologías para definir, analizar y diseñar sistemas de información. Una de esas técnicas es el Lenguaje Unificado de Modelado (UML). UML se caracteriza por ser un lenguaje semiformal, gener...
- Autores:
- Tipo de recurso:
- Article of journal
- Fecha de publicación:
- 2019
- Institución:
- Universidad Católica de Pereira
- Repositorio:
- Repositorio Institucional - RIBUC
- Idioma:
- spa
- OAI Identifier:
- oai:repositorio.ucp.edu.co:10785/9921
- Acceso en línea:
- https://revistas.ucp.edu.co/index.php/entrecienciaeingenieria/article/view/758
http://hdl.handle.net/10785/9921
- Palabra clave:
- Rights
- openAccess
- License
- Derechos de autor 2019 Entre Ciencia e Ingeniería