Buscar
Mostrando ítems 31-31 de 31
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 ...