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