TY - GEN AU - RIOS TERCERO, OCTAVIO ARIOSTO. ED - CENTRO NACIONAL DE INVESTIGACION Y DESARROLLO TECNOLOGICO (MEXICO). TI - ESPECIFICACION FORMAL DE PROCESOS DE NEGOCIOS A PARTIR DELMODELO DE FLUJO DE PRODUCTOS DE TRABAJO/ AV - T QA76.73 .O28 R35 PY - 2001/// CY - CUERNAVACA, MOR.: PB - EL AUTOR KW - 1.IRIS (INGENIERIA DE REQUISITOS DE SOFTWARE) KW - 2.OASIS(LENGUAJE FORMAL) KW - 3.MAESTRIA EN CIENCIAS EN CIENCIAS COMPUTACIONALES N1 - BIBLIOGRAFIA: P. 117-119; TESIS (M.C.C.C.) -- CENIDET, 2001 ER -