Buscar
Mostrando ítems 61-61 de 61
Reduciendo la ambigüedad en el modelo del dominio mediante especificaciones formales ligeras en VDM++
(Universidad Inca Garcilaso de la Vega, 2011-10)
Acceso abierto
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 ...