Buscar
Mostrando ítems 1-2 de 2
Reduciendo la ambigüedad en el modelo del dominio mediante invariantes OCL
(Universidad Inca Garcilaso de la Vega, 2009-11)
Acceso abierto
Uno de los principales inconvenientes en la especificación de requerimientos de software es que los diagramas pueden estar sujetos a interpretaciones subjetivas. Esto podría llevar a implementaciones que corren el riesgo ...
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 ...