Una coinstitución para la lógica de comportamiento abstracto

Una coinstitución para la lógica de comportamiento abstracto

Show other versions (2)

Recientemente, la especificación de un problema en ciencias de la computación –un paso intermedio entre el problema dado y su aplicación como un sistema de software que garantiza su solución– utiliza el álgebra universal y la teoría de coálgebras para su descripción. Esta etapa incluye componentes s...

Full description

Bibliographic Details
Main Authors: Jaime Andrés Castaño Perea, Guillermo Ortiz Rico
Format: Article
Language:Spanish
Published: Universidad Industrial de Santander 2014-10-01
Series:Revista Integración
Subjects:
Especificación
categoría
álgebra
coálgebra
relación de satisfacción
institución
Online Access:https://revistas.uis.edu.co/index.php/revistaintegracion/article/view/4383

Similar Items

Similar Items