Pons, Claudia Fabiana

PAMPERO : precise assistant for the modeling process in an environment with refinement orientation - ^p Datos electrónicos (1 archivo : 2823 KB) .

Este documento es producción intelectual de la Facultad de Informática-UNLP (Colección BIPA / Biblioteca.) -- Formato de archivo: PDF. -- Disponible también en línea (Cons. 3/04/2008)



DIF-M2716


PROCESO DE DESARROLLO DE SOFTWARE
MÉTODOS FORMALES
REFINAMIENTO DE PROGRAMAS
HERRAMIENTAS DE SOFTWARE