Software Resultado de investigación

1. 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.

 

2. 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.