Buscar
Mostrando ítems 1-10 de 141
Reduciendo la ambigüedad en el modelo del dominio mediante especificaciones formales ligeras en VDM++
(Universidad Inca Garcilaso de la Vega, 2011-10)
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 ...
Formal specifications using VDM
(2009-02-05)
DAMONTE, Gerardo H. The Constitution of Political Actors. Peasant Communities, Mining, and Mobilization in Bolivian and Peruvian Andes. Saarbrücken-Berlin: VDM Verlag, 2008, 349 pp.
(Pontifical Catholic University of Peru, 2010)
DAMONTE, Gerardo H. The Constitution of Political Actors. Peasant Communities, Mining, and Mobilization in Bolivian and Peruvian Andes. Saarbrücken-Berlin: VDM Verlag, 2008, 349 pp.
(Pontificia Universidad Católica del Perú. Fondo EditorialPE, 2010)