Memoria del WICC 2013, realizado el 18 y 19 de abril de 2013 en Paraná (Entre Ríos). El Workshop de Investigadores en Ciencias de la Computación es organizado, a partir de 1999, por la Red de Universidades Nacionales con Carreras…

Este documento se organiza de la siguiente manera:
• En el capitulo 1 se describe la problemática en la que se inserta el tema propuesto, se realiza una breve descripción del contexto de la investigación, objetivos y motivaciones.
• Los…

Los métodos formales han alcanzado un uso más masivo en la construcción de sistemas reales, ya que ayudan a aumentar la calidad del software y la fiabilidad. Las especificaciones formales pueden ser usadas a lo largo de todo el ciclo…