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.

 

3. Configurable Content Analizer.  v03161 (Java).

Herramienta para el análisis comparativo de contenidos de texto entre de varios documentos pdf. A multidocument content analizer for pdf files. 

C. Ponce, J. Hochstetter, C. Cares