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

En el grupo de Ingeniería de Software (Gris) del Instituto de Computación de la Facultad de Ingeniería de la Universidad de la República Uruguay, el eje central de las actividades está constituído por el Programa de ...

En este artículo se presentan conceptos teóricos básicos de la Ingeniería de Software Empírica, así como también técnicas y herramientas de experimentación. La experimentación es un método que se usa para corresponder ideas ...

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

La ingeniería del software es un enfoque sistemático disciplinado y cuantificable para la construcción, operación y mantenimiento del software. Dicha ingeniería se encuentra dividida en fases denominadas, fases del ciclo ...

La ingeniería del software es un enfoque sistemático disciplinado y cuantificable para la construcción, operación y mantenimiento del software. Dicha ingeniería se encuentra dividida en fases denominadas, fases del ciclo ...

Numerosos estudios demuestran que los errores en los sistemas de software que son consecuencia de errores de requisitos, cuestan 100 veces más repararlos que los errores de programación. Por ello, es aconsejable descubrir ...

Este trabajo presenta una solución para la aplicación simultánea de un subconjunto de reglas contextuales (un formalismo de reescritura para el análisis y etiquetado de segmentos de texto), basada en técnicas de estado ...