Pasar al contenido principal

Software

cabuplot

Herramienta de diagramación de mapas categóricos de doble eje para estudios de mapeos o revisiones sistemáticas.

O. Ancán and M. Reyes, "Cabuplot: Categorical Bubble Plot for systematic mapping studies." DCI-UFRO, Dec. 2020

Acceder  a la Herramienta

Use Case Verificator, UC2 v0.1 (Prolog).

F. Bautista & C. Cares: .  Referred in "A logic-based Service for Verifying Use Case Models", COMPUTATION TOOLS 2017, Athens, Greece.

Optimal Security Controls, ACSUFRO v01171 (ASP - Clingo).

C.  Cares & M. Diéguez:. Referred in "An Answer Set Solution for Information Security Management", COMPUTATION TOOLS 2017, Athens, Greece.

Analizador de licitaciones de software (Java).

C.  Cares, J. Hochstetter & C. Ponce.