PROPUESTA METODOLÓGICA BASADA EN TÉCNICAS GRAFICAS Y FORMALES PARA LA ESPECIFICACIÓN DE REQUERIMIENTOS DE UN AMBIENTE CORPORATIVO
- AREQUIPA UNIVERSIDAD CATOLICA DE SANTA MARIA. PROGRAMA PROFESIONAL DE INGENIERIA DE SISTEMAS 2009
- 118 PP 30 cm
REPRESENTACIÓ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