El diseño, especificación, validación y construcción de sistemas distribuidos representa un reto de complejidad elevada tanto desde el punto de vista matemático como de ingeniería. Aunando a esto, el impacto que tienen ...

La industria de la construcción en Chile está inserta en un marco económico caracterizado por el aumento en la demanda de proyectos industriales e inmobiliarios, escasez de mano de obra y un escenario post terremoto que ...

El presente proyecto describe la investigación y la aplicación de las diferentes teorías que se involucran en el diseño de Controladores Robustos con realimentación de salida. El diseño utiliza los conceptos de formulación ...

El presente estudio pretende realizar el diseño y la especificación de un conjunto de menús adaptivos con el objetivo de mejorar la experiencia de navegación de usuarios en dispositivos móviles. Se pretende que desarrolladores ...

Correctitud (Correctness): Un programa es funcionalmente correcto si se comporta de acuerdo a la especificación de las funciones (especificación de requerimientos funcionales) que debería proveer. Esta definición de ...

Una de las herramientas más utilizadas para modelar los requerimientos funcionales es el Modelo del Dominio. Muchas veces, dependiendo de la complejidad de los requerimientos a ser modelados, no es posible que dicho modelo ...