000			00619nam a2200193Ia 4500
999			_c22504 _d22504
003			OSt
005			20181023043908.0
008			181022s9999||||xx |||||||||||||| ||spa||
040			_cTranscribing agency
082			_a71.0419.IS
100			_aCHAPOÑAN PUMA, KAREN A.
245		0	_aPROPUESTA METODOLÓGICA BASADA EN TÉCNICAS GRAFICAS Y FORMALES PARA LA ESPECIFICACIÓN DE REQUERIMIENTOS DE UN AMBIENTE CORPORATIVO
260			_aAREQUIPA
260			_bUNIVERSIDAD CATOLICA DE SANTA MARIA. PROGRAMA PROFESIONAL DE INGENIERIA DE SISTEMAS
260			_c2009
300			_a118 PP
300			_c30 cm
505			_aREPRESENTACIÓN MENTAL DE LOS CONCEPTOS, OBJETOS Y PERSONAS IMPLICADAS EN UNA TAREA DE UNA INTERFAZ DISEÑO Y VERIFICACIÓN DE SISTEMAS DISTRIBUIDOS MEDIANTE LA APLICACIÓN COMBINADA DE MÉTODOS FORMALES INGENIERÍA DE REQUISITOS EN APLICACIONES PARA LA WEB PROPIEDADES MÉTRICAS DE MAPAS AUTOORGANIZADOS: APLICACIÓN AL DESPLIEGUE DE GRAFOS TEORÍA DE GRAFOS TIPOS DE ENLACES REPRESENTACIÓN DE GRAFOS MÉTODOS DE GRÁFICOS TÉCNICA FORMAL CLASIFICACIÓN DE TÉCNICAS FORMALES ESTRATEGIAS DE ACERCAMIENTO DE LOS MÉTODOS FORMALES CON LENGUAJES GRÁFICOS INGENIERÍA DE REQUISITOS ANÁLISIS Y NEGOCIACIÓN ESPECIFICACIONES MANTENIMIENTO DEFINICIÓN DE TÉRMINOS
650			_aTÉCNICAS GRAFICAS
856			_u _yNo Disponible
942			_cTM005 _2ddc