Notas sobre el uso de Métodos formales en los procesos de desarrollo de software.

Tamaño: px
Comenzar la demostración a partir de la página:

Download "Notas sobre el uso de Métodos formales en los procesos de desarrollo de software."

Transcripción

1 Notas sobre el uso de Métodos formales en los procesos de desarrollo de software. Hugo A. López A. Abstract Formal methods have emerged as analytical approaches where software programs can be verified by means of powerful mathematical theories. This approach presents several advantages comparing to informal methodologies, in terms of the quality of software, size of the proofs, reduced validation cost and reduced time-to-market. However, these methods have not been successfully received by the software development industry, and there exists several inconveniences that delay the acceptance in the near future. This paper discuss some of the advantages of the use of formal methods as software methodologies, as well as present current challenges that formal methods face in order to settle as one recognized software methodology Resumen Los métodos formales han emergido como enfoques analíticos en donde el desarrollo de software puede ser verificado por medio de poderosas teorías matemáticas, presentando ventajas en la calidad del software, tiempo de desarrollo, tamaño y complejidad de las pruebas. Sin embargo, aún existen muchos inconvenientes para la correcta implantación de los métodos formales como una métodologia de desarrollo de software comúnmente aceptada en ingeniería de software. Este articulo discute algunas de las ventajas del uso de métodos formales como metodologías de desarrollo, así como plantea los retos a vencer para una masificación de este enfoque. 1. Introducción La calidad del software es una de las problemáticas más importantes en los procesos de desarrollo de software. Garantizar el correcto funcionamiento bajo situaciones no determinadas es una tarea que tiene que ser realizada con cuidado extremo. En algunos casos, este tipo de pruebas son de mayor importancia, ya que involucran ambientes sensibles e información crítica en donde es necesario garantizar que cada uno de los componentes involucrados (hardware, software y componentes humanos) actúe de manera correcta ante situaciones específicas, con una variedad de ejemplos que cubren áreas tan diversas como planeación de tráfico [2], aplicaciones militares [12] y sistemas médicos [15], entre muchas otras [4]. Uno de los principales problemas que aqueja la ingeniería de software se sitúa en la definición de requerimientos. Ambigüedad, vaguedad o incompompletitud en los requerimientos son siquiera algunos de los retos que los desarrolladores tienen que enfrentar al hacer un análisis detallado del sistema [23]. Los modelos formales presentan una alternativa práctica para solucionar estos problemas. Constituyen un enfoque analítico para la especificación, diseño y verificación de sistemas de hardware y software. Su característica principal es la rigurosidad en la que sus modelos se encuentran basados, con fundamentos en sólidos principios matemáticos que permiten definir con precisión y sin temor a ambigüedades las necesidades de un sistema. Gracias a estos fundamentos, el software generado mediante métodos formales puede ser verificado mediante el cumplimiento de propiedades

2 derivadas de la especificación. Este enfoque ha resultado ser exitoso frente a otras tendencias, encontrando errores en diseño que difícilmente habrían podido ser considerados usando otras técnicas. Este artículo pretende introducir al lector en el uso de métodos formales para el desarrollo de software, presentando una serie de consideraciones necesarias al tomar la decisión de incluir dichas metodologías en el proceso de desarrollo de una organización. El artículo plantea la siguiente estructura: en el capitulo 2 se introducirán los métodos formales para el desarrollo de software, en el capítulo 3 se presentará un comparativo entre las características de los modelos formales en relación al proceso de desarrollo de software. En el capitulo 4 se presentarán una serie de preguntas que ayudarán a identificar al lector si las metodologías formales se ajustan a sus necesidades especificas. Finalmente, en el capitulo 5 se presenta una discusión final. 2. Qué son los métodos formales? Los métodos formales (FM, por sus siglas en inglés) representan un conjunto de tendencias de desarrollo de software y hardware en donde la especificación, verificación y diseño de componentes se realiza mediante notaciones, lenguajes, herramientas y técnicas basadas en teorías con sólida fundamentación matemática. El uso de notaciones y lenguajes formales permite plantear de manera clara los requerimientos de un sistema, generando especificaciones que definen el comportamiento en términos del qué debe hacer y no del cómo lo hace. Gracias al correcto proceso de especificación, propiedades derivadas de cada modulo pueden ser verificadas mediante técnicas de razonamiento asociadas a los modelos formales, como probadores de teoremas y verificadores de modelos. A partir de las especificaciones, la implementación de un sistema puede ser generada de manera casi automática. Es necesario bajar en el grado de abstracción de las especificaciones mediante técnicas como refinamiento o concretización (reification). En este proceso, denominado diseño formal, es necesario garantizar que cada nivel de abstracción generado cumple con las propiedades verificadas en los grados en las abstracciones de más alto nivel. En los niveles más bajos es posible encontrar notaciones y estructuras muy cercanas a los lenguajes de programación, generando del último nivel una implementación que puede ser verificada e instanciada en un lenguaje de programación. Teniendo en cuenta los niveles de abstracción y las características propias de cada sistema, una variedad significativa de modelos han sido propuestos. En los procesos de especificación, tres grandes corrientes pueden ser identificadas: Lenguajes basados en modelos y estados (e.g., VDM [16], Z [26] o sus posteriores extensiones en el método B [27]), Lenguajes de especificación para sistemas concurrentes (el caso de CSP [13] o el cálculo π [21] ) o especificaciones para sistemas temporales (e.g., TLZ[19], LOTOS [9] y los cálculos basados en tcc [25, 22]). Para los procesos de verificación, dos grandes enfoques son reconocidos: los verificadores de modelos, que realizan una busqueda exhaustiva sobre los estados posibles de una especificación para encontrar posibles fallas no consideradas, y los probadores de teoremas, en donde la especificación y sus propiedades deseables se formalizan como formulas lógicas, y se prueban mediante una serie de axiomas y reglas de inferencia presentes en cada probador. Los métodos formales difieren en la manera y tiempos de cada una de las fases del ciclo de vida del software. Su utilización requiere mayor tiempo en el desarrollo de especificación y la construcción de diseños correctos, lo que aumenta el tiempo de las fases de análisis y diseño; sin embargo, los 2

3 métodos usados, correctos por construcción, disminuyen el tiempo de verificación del software, al requerir una cantidad de casos de prueba mucho más reducida que cubre todo el panorama de prueba, a diferencia de validaciones en base a simulaciones que son incompletas e ineficientes. 3. Ventajas e Inconvenientes Si bien los métodos formales constituyen un acercamiento alternativo a las metodologías de desarrollo de software, existen un número de diferencias significativas que deben de ser consideradas al pensar en instaurar los métodos formales en un equipo de desarrollo de software: 3.1. Entrenamiento Los métodos formales requieren de un nivel avanzado en matemáticas. Más que seguir una notación específica, el mayor problema se presenta en los modelos mentales del equipo desarrollador. Típicamente, los modelos de elicitación de requerimientos plantean sus metas en lenguaje natural, en busca de un correcto entendimiento entre el cliente y el equipo de desarrollo. Sin embargo, la traducción de los pliegos de requerimientos a especificaciones formales tienden a resultar fallidas, generando sólo especificaciones ambigüas e incompletas. Es necesario un entrenamiento a nivel de todo el equipo de desarrollo, de manera que cualquiera se encuentre en capacidad de definir y entender especificaciones por si mismo Pluralidad de Modelos Una de las dificultades en usar modelos formales es la ausencia de una metodología única para el desarrollo de software. Diversos modelos han sido propuestos desde las matemáticas, cada uno especialmente diseñado para las necesidades de un entorno específico: Refinamiento y maquinas de estados finitos para modelos secuenciales, redes de Petri y álgebras de procesos para computación distribuida, lógicas temporales lineales y ramificadas para computación dinámica y modelos de eventos para computación en tiempo real son sólo algunas de las múltiples ramas existentes. Esta multiplicidad de enfoques tiene ventajas y desventajas: Es posible aprovechar cada uno de los formalismos para expresar con mayor nivel de claridad una especificación de un sistema; sin embargo, la misma pluralidad de modelos exige un conocimiento experto en cada uno de los modelos existentes para lograr el mayor aprovechamiento de los metodos formales en la especificación de dichos sistemas El lado obscuro de las matemáticas. Una de las mayores dificultades que han tenido que enfrentar los métodos formales para la instauración dentro de los procesos productivos de la ingeniería de software tiene que ver con las herramientas mismas. Las notaciones son difíciles de entender para la mayoría de los ingenieros involucrados y hasta el momento son pocas las herramientas con la madurez suficiente para modelar sistemas realmente complejos. Actualmente existen esfuerzos para sobrellevar estos inconvenientes: la integración de cálculos de procesos y UML parece una tendencia prometedora para que herramientas de tipo CASE puedan brindar entornos de verificación mucho más cercanos al común de los ingenieros de software [18, 17, 7]. Sobre las herramientas para verificación, el proceso continuo de desarrollo de frameworks como LOTOS, the Concurrency Workbench [5] o FDR[20] ha permitido que los errores presentes en versiones anteriores sean solucionados; sin embargo, es necesaria 3

4 un mayor uso por parte de la comunidad, de manera que la experiencia adquirida entre los usuarios finales y los desarrolladores permitan solucionar errores y plantear nuevas características que permitan cerrar el abismo existente entre ellos. 4. Dos enfoques, una sola ingeniería Ciertamente la inclusión de los modelos formales como metodología de desarrollo de software es hasta ahora, uno de los tópicos más discutidos en las ciencias de la computación. Dos grandes corrientes pueden ser reconocidas actualmente. Los grupos a favor, plantean dentro de sus razones más importantes la generación de sistemas correctos en ambientes en donde un fallo puede resultar crítico para la estabilidad de un sistema, los beneficios de un costo ostensiblemente menor, el aumento en la documentación, y la reducción de errores en los procesos de desarrollo de software. Sus detractores plantean el aumento en el tiempo de producción, falta de experticia por parte del personal, falta de usabilidad en las herramientas formales, y dificultad en aplicaciones con cambios constantes en sus diseños. Si bien ambos grupos tienen razones de peso para plantear una posición, y muchas de las virtudes encontradas en el uso de modelos formales pueden conseguirse bajo otros modelos de desarrollo riguroso (the Capability Maturity Model Integration CMMI [3] es un ejemplo de ello), el uso de modelos formales en muchos casos puede o no ser conveniente. Para esto es importante definir una serie de características importantes en la escogencia del enfoque de desarrollo para un sistema de software: Modelo Fenomenológico: Identifica los fundamentos científicos de la aplicación a desarrollar de acuerdo al fenómeno estudiado, de manera que el modelo formal pueda considerar sus aspectos más relevantes en los procesos de abstracción. Por ejemplo: al desarrollar una aplicación para balística, el modelo fenomenológico esta guiado por la mecánica clásica. Mientras que una aplicación de redes estará fundamentada en teorías de tráfico y Conmutación. Modelo Computacional de la aplicación: Define la estructura en alto nivel en donde los procesos de cómputo se llevarán a cabo. Pueden identificarse modelos secuenciales, distribuidos, concurrentes o de tiempo real. Los cuales identificarán el modelo formal más apropiado para expresar la aplicación. Características del ambiente de ejecución: Identifica las características físicas y sociales en las cuales el sistema debe estar en capacidad de operar, definiendo el nivel de detalle requerido en la verificación del sistema. Por ejemplo, una aplicación relacionada con la seguridad debe garantizar gran confianza respecto a los posibles ataques en su ambiente de ejecución, mientras que una aplicación de realidad virtual debe permitir al usuario un amplio grado de interacción con el sistema. Aplicación Objetivo: Es necesario identificar cuál es la necesidad principal del sistema, como criterio decisorio en la selección de los métodos formales: Aparentemente, el correcto funcionamiento, y el alto desempeño pueden verse beneficiados usando estas técnicas; sin embargo, la facilidad de uso, o las aplicaciones con alta tendencia al cambio en sus requerimientos se ven beneficiadas con otros modelos, como los modelos orientados a objetos. 5. Discusión Si bien el uso de los métodos formales presupone una rigurosidad en los procesos, es importante aclarar que su uso no es el único que define un proceso maduro en el desarrollo de software; así mismo, el simple hecho de usar modelos formales no garantiza que las implementaciones generadas 4

5 tengan la total confianza esperada, para esto es necesario seguir la rigurosidad de todo proceso de desarrollo, verificando que los modelos cumplan con las propiedades especificadas. Actualmente, los metodos formales han sido principalmente utilizados en las etapas de análisis y diseño. Existen algunos casos documentados en donde el proceso completo de desarrollo ha sido guiado desde una perspectiva formal: el sistema para tráfico aéreo CDIS [11], el sistema aeronáutico para Lookheed [8] y la verificación de procesadores [1]. Sin embargo, podría decirse que falta mucho para lograr una aceptación general de estos métodos dentro del proceso de desarrollo. son necesarios métodos integradores en donde el ingeniero de software pueda realizar especificaciones de manera intuitiva, de manera que estos modelos puedan traducirse a formalismos matemáticos verificables. Adicionalmente, métodos formales en donde solo las partes más críticas del sistema se vean beneficiadas por las pruebas formales, sin afectar la consistencia del resto del sistema son deseables para facilitar los procesos de desarrollo. Finalmente, una educación con mayor profundidad en habilidades matemáticas es necesaria para poder implantar los métodos formales como estándares de desarrollo de software. Referencias [1] P. Black, K. Hall, M. Jones, T. Larson, and P. Windley. A brief introduction to formal methods. In IEEE 1996 Custom Integrated Circuits Conference (CICC 96), pages , May [2] J. P. Bowen and M. G. Hinchey. The use of industrial-strength formal methods. pages , August [3] Mary Beth Chrissis, Mike Konrad, and Sandy Shrum. CMMI Guidlines for Process Integration and Product Improvement. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, [4] E. M. Clarke and J.M. Wing. Formal methods: state of the art and future directions. ACM Computing Surveys, 28(4): , [5] Rance Cleaveland, Joachim Parrow, and Bernhard Steffen. The concurrency workbench: a semantics-based tool for the verification of concurrent systems. ACM Trans. Program. Lang. Syst., 15(1):36 72, [6] E. F. Codd. A relational model of data for large shared data banks. Commun. ACM, 26(1):64 69, [7] David Crocker. Perfect developer: A tool for object-oriented formal specification and refinement. In Tools Exhibition Notes at Formal Methods Europe, [8] Martin Croxford and James Sutton. Breaking through the v and v bottleneck. In Ada-Europe, pages , [9] P. Van Eijk and Michel Diaz, editors. Formal Description Technique Lotos: Results of the Esprit Sedos Project. Elsevier Science Inc., New York, NY, USA, [10] Formal Methods Europe. Choosing a formal method. Available at [11] Anthony Hall. Using formal methods to develop an atc information system. IEEE Softw., 13(2):66 76,

6 [12] Constance Heitmeyer, Dino Mandrioli, and Politecnico Milano. Formal Methods for Real-Time Computing. John Wiley & Sons, Inc., New York, NY, USA, [13] C. A. R. Hoare. Communicating Sequential Processes. Commun. ACM, 26(1): , [14] M. Jackson. Formal methods and traditional engineering. J. Syst. Softw., 40(3): , [15] Jonathan Jacky, Jonathan Unger, Michael Patrick, David Reid, and Ruedi Risler. Experience with z developing a control program for a radiation therapy machine. In Jonathan P. Bowen, Michael G. Hinchey, and David Till, editors, ZUM, volume 1212 of Lecture Notes in Computer Science, pages Springer, [16] Cliff B. Jones. Systematic Software Development using VDM. Prentice-Hall, Upper Saddle River, NJ 07458, USA, [17] Katerina Korenblat and Corrado Priami. Extraction of pi-calculus specifications from uml sequence and state diagrams. Technical report, University of Trento, [18] Vitus S. W. Lam and Julian A. Padget. On execution semantics of uml statechart diagrams using the pi-calculus. In Ban Al-Ani, Hamid R. Arabnia, and Youngsong Mun, editors, Software Engineering Research and Practice, pages CSREA Press, [19] Leslie Lamport. Tlz. In Z User Workshop, pages , [20] Gavin Lowe. Breaking and fixing the needham-schroeder public-key protocol using fdr. Software - Concepts and Tools, 17(3):93 102, [21] Robin Milner. Communicating and Mobile systems. The Pi Calculus. Cambridge University Press, [22] Catuscia Palamidessi and Frank Valencia. A temporal concurrent constraint programming calculus. In Toby Walsh, editor, Proc. of the 7th International Conference on Principles and Practice of Constraint Programming, volume 2239, pages LNCS, Springer-Verlag, [23] Roger S. Pressman. Software Engineering: A Practitioner s Approach. McGraw-Hill Higher Education, [24] Hossein Saiedian. An invitation to formal methods. Computer, 29(4):16 17, [25] Vijay A. Saraswat, Radha Jagadeesan, and Vineet Gupta. Timed default concurrent constraint programming. Journal of Symbolic Computation, 22(5/6): , [26] J. M. Spivey. The Z notation: a reference manual. Prentice-Hall, Inc., Upper Saddle River, NJ, USA, [27] J. B. Wordsworth. Software engineering with B. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA,

14. Ingeniería de software. Ing. Alejandro Adorjan

14. Ingeniería de software. Ing. Alejandro Adorjan 14. Ing. Alejandro Adorjan : un enfoque en ingeniería de requerimientos Introducción La ingeniería de software es una disciplina que estudia la aplicación de la teoría, el conocimiento y la práctica de

Más detalles

Metodología Orientada a Objetos Clave 43100007 Maestría en Sistemas Computacionales

Metodología Orientada a Objetos Clave 43100007 Maestría en Sistemas Computacionales Metodología Orientada a Objetos Clave 43100007 Maestría en Sistemas Computacionales Modulo 03 UML: Vista de Casos de Uso Artefacto: Actores Catedrático MSC. Jose Juan Aviña Grimaldo e-mail josejuan_avina@gmail.com

Más detalles

Elementos requeridos para crearlos (ejemplo: el compilador)

Elementos requeridos para crearlos (ejemplo: el compilador) Generalidades A lo largo del ciclo de vida del proceso de software, los productos de software evolucionan. Desde la concepción del producto y la captura de requisitos inicial hasta la puesta en producción

Más detalles

SÍNTESIS Y PERSPECTIVAS

SÍNTESIS Y PERSPECTIVAS SÍNTESIS Y PERSPECTIVAS Los invitamos a observar, a identificar problemas, pero al mismo tiempo a buscar oportunidades de mejoras en sus empresas. REVISIÓN DE CONCEPTOS. Esta es la última clase del curso.

Más detalles

Metodologías de diseño de hardware

Metodologías de diseño de hardware Capítulo 2 Metodologías de diseño de hardware Las metodologías de diseño de hardware denominadas Top-Down, basadas en la utilización de lenguajes de descripción de hardware, han posibilitado la reducción

Más detalles

Dirección General de Educación Superior Tecnológica

Dirección General de Educación Superior Tecnológica Dirección General de Educación Superior Tecnológica 1. Datos Generales de la asignatura Nombre de la asignatura: Clave de la asignatura: Créditos (Ht-Hp_ créditos): Carrera: Verificación y Validación del

Más detalles

Enginyeria del Software III

Enginyeria del Software III Enginyeria del Software III Sessió 3. L estàndard ISO/IEC 15504 Antònia Mas Pichaco 1 Introducción El proyecto SPICE representa el mayor marco de colaboración internacional establecido con la finalidad

Más detalles

Ingeniero de Sistemas, Universidad Católica Santa María, Arequipa, Perú (1998)

Ingeniero de Sistemas, Universidad Católica Santa María, Arequipa, Perú (1998) Universidad Católica San Pablo Facultad de Ingeniería y Computación Programa Profesional de Ciencia de la Computación SILABO CS392. Tópicos en Ingeniería de Software (Electivo) 2013-2 1. DATOS GENERALES

Más detalles

Diferencias entre nivel 2 y nivel 3 y una estrategia de implantación

Diferencias entre nivel 2 y nivel 3 y una estrategia de implantación CMMI DEV Diferencias entre nivel 2 y nivel 3 y una estrategia de implantación Cecilia Rigoni Gerente de Caelum, Information & Quality Technologies. Vocal del Comité CSTIC de la AEC El modelo CMMI DEV,

Más detalles

Capítulo 5. Cliente-Servidor.

Capítulo 5. Cliente-Servidor. Capítulo 5. Cliente-Servidor. 5.1 Introducción En este capítulo hablaremos acerca de la arquitectura Cliente-Servidor, ya que para nuestra aplicación utilizamos ésta arquitectura al convertir en un servidor

Más detalles

CMMI (Capability Maturity Model Integrated)

CMMI (Capability Maturity Model Integrated) CMMI (Capability Maturity Model Integrated) El SEI (software engineering institute) a mediados de los 80 desarrolló el CMM (modelo de madurez de la capacidad de software). CMMI: CMM integrado, una mezcla

Más detalles

UNIVERSIDAD AUTÓNOMA DE YUCATÁN FACULTAD DE MATEMÁTICAS MISIÓN

UNIVERSIDAD AUTÓNOMA DE YUCATÁN FACULTAD DE MATEMÁTICAS MISIÓN UNIVERSIDAD AUTÓNOMA DE YUCATÁN FACULTAD DE MATEMÁTICAS MISIÓN Formar profesionales altamente capacitados, desarrollar investigación y realizar actividades de extensión, en Matemáticas y Computación, así

Más detalles

3.1 INGENIERIA DE SOFTWARE ORIENTADO A OBJETOS OOSE (IVAR JACOBSON)

3.1 INGENIERIA DE SOFTWARE ORIENTADO A OBJETOS OOSE (IVAR JACOBSON) 3.1 INGENIERIA DE SOFTWARE ORIENTADO A OBJETOS OOSE (IVAR JACOBSON) 3.1.1 Introducción Este método proporciona un soporte para el diseño creativo de productos de software, inclusive a escala industrial.

Más detalles

capitulo3 MARCO TEÓRICO Para el diseño de la reubicación de los procesos se hará uso de la Planeación

capitulo3 MARCO TEÓRICO Para el diseño de la reubicación de los procesos se hará uso de la Planeación capitulo3 MARCO TEÓRICO Para el diseño de la reubicación de los procesos se hará uso de la Planeación Sistemática de Layout, SLP por sus siglas en inglés. Se hará uso de la simulación para comparar el

Más detalles

GUIA SOBRE LOS REQUISITOS DE LA DOCUMENTACION DE ISO 9000:2000

GUIA SOBRE LOS REQUISITOS DE LA DOCUMENTACION DE ISO 9000:2000 1 INTRODUCCIÓN Dos de los objetivos más importantes en la revisión de la serie de normas ISO 9000 han sido: desarrollar un grupo simple de normas que sean igualmente aplicables a las pequeñas, a las medianas

Más detalles

Patrones de software y refactorización de código

Patrones de software y refactorización de código Patrones de software y refactorización de código Introducción y antecedentes de los patrones de software Los patrones permiten construir sobre la experiencia colectiva de ingenieros de software habilidosos.

Más detalles

QUE PASA CON LOS CERTIFICADOS VIGENTES EN ISO 9001:2000 AL MOMENTO DE QUE ENTRE LA VERSIÓN 2008?

QUE PASA CON LOS CERTIFICADOS VIGENTES EN ISO 9001:2000 AL MOMENTO DE QUE ENTRE LA VERSIÓN 2008? QUE PASA CON LOS CERTIFICADOS VIGENTES EN ISO 9001:2000 AL MOMENTO DE QUE ENTRE LA VERSIÓN 2008? Las empresas que actualmente tienen un certificado vigente con la versión del 2000 tendrán 24 meses contados

Más detalles

PRUEBAS DE SOFTWARE TECNICAS DE PRUEBA DE SOFTWARE

PRUEBAS DE SOFTWARE TECNICAS DE PRUEBA DE SOFTWARE PRUEBAS DE SOFTWARE La prueba del software es un elemento crítico para la garantía de la calidad del software. El objetivo de la etapa de pruebas es garantizar la calidad del producto desarrollado. Además,

Más detalles

Empresa Financiera Herramientas de SW Servicios

Empresa Financiera Herramientas de SW Servicios Empresa Financiera Herramientas de SW Servicios Resulta importante mencionar que ésta es una empresa cuya actividad principal está enfocada a satisfacer las necesidades financieras de los clientes, a través

Más detalles

Tópicos Avanzados de Análisis y Diseño INGENIERIA DE SOFTWARE ING. MA. MARGARITA LABASTIDA ROLDÁN

Tópicos Avanzados de Análisis y Diseño INGENIERIA DE SOFTWARE ING. MA. MARGARITA LABASTIDA ROLDÁN Tópicos Avanzados de Análisis y Diseño INGENIERIA DE SOFTWARE ING. MA. MARGARITA LABASTIDA ROLDÁN Proceso de Negocio (Business Process) Conjunto estructurado, medible de actividades para producir un producto.

Más detalles

El Cliente y El Ingeniero de Software

El Cliente y El Ingeniero de Software El Cliente y El Ingeniero de Software Juan Sebastián López Restrepo Abstract. The continuing evolution of technologies have made the software technology used more and more increasing, this trend has created

Más detalles

PRODUCTIVIDAD DE PROYECTOS DE DESARROLLO DE SOFTWARE: FACTORES DETERMINANTES E INDICADORES

PRODUCTIVIDAD DE PROYECTOS DE DESARROLLO DE SOFTWARE: FACTORES DETERMINANTES E INDICADORES PRODUCTIVIDAD DE PROYECTOS DE DESARROLLO DE SOFTWARE: FACTORES DETERMINANTES E INDICADORES Raúl Palma G. y Guillermo Bustos R. Escuela de Ingeniería Industrial Universidad Católica de Valparaíso Casilla

Más detalles

El Proceso de Desarrollo de Software. Diseño de Software Avanzado Departamento de Informática

El Proceso de Desarrollo de Software. Diseño de Software Avanzado Departamento de Informática El Proceso de Desarrollo de Software La Ingeniería del Software Ingeniería... La profesión en la que el conocimiento de las ciencias naturales y matemáticas, ganado con estudio, experiencia y práctica,

Más detalles

10 PRÁCTICAS BASALES DE LA GESTIÓN DE PROYECTOS INFORMÁTICOS EN CUBA

10 PRÁCTICAS BASALES DE LA GESTIÓN DE PROYECTOS INFORMÁTICOS EN CUBA 10 PRÁCTICAS BASALES DE LA GESTIÓN DE PROYECTOS INFORMÁTICOS EN CUBA Visión desde el Modelo de Calidad para el Desarrollo de Aplicaciones Informáticas AUTORES MsC. Anisbert Suárez Batista Ing. Maikel Muñoz

Más detalles

Técnicas de Auditoría BIENVENIDOS XIMENA BECHARA RAMÍREZ CONSULTORA EMPRESARIAL JUNIO 2008 OBJETIVOS DEL CURSO

Técnicas de Auditoría BIENVENIDOS XIMENA BECHARA RAMÍREZ CONSULTORA EMPRESARIAL JUNIO 2008 OBJETIVOS DEL CURSO BIENVENIDOS XIMENA BECHARA RAMÍREZ CONSULTORA EMPRESARIAL JUNIO 2008 OBJETIVOS DEL CURSO Proporcionar el conocimiento necesario de los métodos y técnicas para la preparación de auditoria interna. Desarrollar

Más detalles

EN TIEMPO DE CRISIS ES NECESARIO INVERTIR EN LOS SISTEMAS INTEGRADOS DE GESTION. Autor: Oscar Jony Muriel Narváez. Compañía:

EN TIEMPO DE CRISIS ES NECESARIO INVERTIR EN LOS SISTEMAS INTEGRADOS DE GESTION. Autor: Oscar Jony Muriel Narváez. Compañía: EN TIEMPO DE CRISIS ES NECESARIO INVERTIR EN LOS SISTEMAS INTEGRADOS DE GESTION. Autor: Oscar Jony Muriel Narváez Compañía: Tropical Ingeniería y Consultoría Email: omuriel@tropicalingenieria.com Bogotá,

Más detalles

Administración de Proyectos de Software - PMI. Tema: Cierre de Proyectos. Autor: Mario Hernández

Administración de Proyectos de Software - PMI. Tema: Cierre de Proyectos. Autor: Mario Hernández Administración de Proyectos de Software - PMI Tema: Cierre de Proyectos Autor: Mario Hernández Proceso de Cierre de Proyecto o Fase La fase de cierre se inicia cuando se completa la ejecución del proyecto

Más detalles

Figure 7-1: Phase A: Architecture Vision

Figure 7-1: Phase A: Architecture Vision Fase A Figure 7-1: Phase A: Architecture Vision Objetivos: Los objetivos de la fase A son: Enfoque: Desarrollar una visión de alto nivel de las capacidades y el valor del negocio para ser entregado como

Más detalles

Programa de Estudio: Ingeniería en Sistemas Computacionales.

Programa de Estudio: Ingeniería en Sistemas Computacionales. Ingeniería en Sistemas Computacionales 1. DEFINICIÓN DEL PROGRAMA EDUCATIVO. La ingeniería en sistemas computacionales es una disciplina que estudia los fenómenos reales con el propósito de analizar, modelar

Más detalles

Verificación. 3.1 Marco de Referencia para el desarrollo de software

Verificación. 3.1 Marco de Referencia para el desarrollo de software Verificación 3.1 Marco de Referencia para el desarrollo de software Verificación es la acción de verificar (comprobar o examinar la verdad de algo). La verificación suele ser el proceso que se realiza

Más detalles

Procesos Críticos en el Desarrollo de Software

Procesos Críticos en el Desarrollo de Software Metodología Procesos Críticos en el Desarrollo de Software Pablo Straub AgileShift Imagine una organización de desarrollo de software que consistentemente cumple los compromisos con sus clientes. Imagine

Más detalles

implantación Fig. 1. Ciclo de vida tradicional

implantación Fig. 1. Ciclo de vida tradicional 1. Ciclo de vida tradicional de los sistemas de software En ingeniería de software, la descripción tradicional del ciclo de vida del software está basada en un modelo conocido como el modelo de cascada

Más detalles

INGENIERÍA DEL SOFTWARE

INGENIERÍA DEL SOFTWARE INGENIERÍA DEL SOFTWARE Sesión No. 2 Nombre: Procesos de ingeniería del software INGENIERÍA DEL SOFTWARE 1 Contextualización La ingeniería de software actualmente es muy importante, pues con los avances

Más detalles

UN ENTORNO A MEDIDA PARA EL DISEÑO Y LA SIMULACIÓN DE MAQUINARIA POR COMPUTADOR

UN ENTORNO A MEDIDA PARA EL DISEÑO Y LA SIMULACIÓN DE MAQUINARIA POR COMPUTADOR UN ENTORNO A MEDIDA PARA EL DISEÑO Y LA SIMULACIÓN DE MAQUINARIA POR COMPUTADOR Manuel González y Javier Cuadrado Departamento de Ingeniería Industrial II, Campus de Esteiro, 15403 Ferrol Universidad de

Más detalles

Mantenimiento Autónomo y Desarrollo Organizacional

Mantenimiento Autónomo y Desarrollo Organizacional Mantenimiento Autónomo y Desarrollo Organizacional Por: Humberto Álvarez Laverde Director ceroaverias.com www.ceroaverias.com El mantenimiento autónomo se debe considerar como un instrumento para intervenir

Más detalles

El Software. Es lo que se conoce como el ciclo de vida del software.

El Software. Es lo que se conoce como el ciclo de vida del software. El Software Hace referencia a los programas y toda la información asociada y materiales necesarios para soportar su instalación, operación, reparación, y mejora. Para construir un nuevo elemento software

Más detalles

Desarrollo de un ciclo de mejora Construcción de un método de diagnóstico

Desarrollo de un ciclo de mejora Construcción de un método de diagnóstico Desarrollo de un ciclo de mejora Construcción de un método de diagnóstico Alicia Mon, Marcelo Estayno, Andrea Arancio {aliciamon, mestayno, andrea.arancio}@fibertel.com.ar G.I.S. UNLaM 1 Resumen. Las pequeñas

Más detalles

Describir una metodología sistemática de análisis de los procesos organizacionales y cómo estos pueden ser apoyados por las TI.

Describir una metodología sistemática de análisis de los procesos organizacionales y cómo estos pueden ser apoyados por las TI. Procesos de Negocio Objetivos Describir una metodología sistemática de análisis de los procesos organizacionales y cómo estos pueden ser apoyados por las TI. Identificar y analizar los procesos de negocios,

Más detalles

Administración del conocimiento y aprendizaje organizacional.

Administración del conocimiento y aprendizaje organizacional. Capítulo 2 Administración del conocimiento y aprendizaje organizacional. 2.1 La Importancia Del Aprendizaje En Las Organizaciones El aprendizaje ha sido una de las grandes necesidades básicas del ser humano,

Más detalles

Unidades temáticas de Ingeniería del Software. Fases del proceso de desarrollo 4ª edición (2008)

Unidades temáticas de Ingeniería del Software. Fases del proceso de desarrollo 4ª edición (2008) Unidades temáticas de Ingeniería del Software Fases del proceso de desarrollo 4ª edición (2008) Facultad de Informática organización del desarrollo El ciclo de vida del software abarca el proceso de desarrollo,

Más detalles

CAPITULO I. Introducción. En la actualidad, las empresas están tomando un papel activo en cuanto al uso de sistemas y

CAPITULO I. Introducción. En la actualidad, las empresas están tomando un papel activo en cuanto al uso de sistemas y CAPITULO I Introducción 1.1 Introducción En la actualidad, las empresas están tomando un papel activo en cuanto al uso de sistemas y redes computacionales. La tecnología ha ido evolucionando constantemente

Más detalles

4. SUMILLA 1. CMMI v 1.2 2. People Software Process & Team Software Process 3. Estándares ISO/IEC 4. Técnicas de Prueba de Software

4. SUMILLA 1. CMMI v 1.2 2. People Software Process & Team Software Process 3. Estándares ISO/IEC 4. Técnicas de Prueba de Software Universidad Católica San Pablo Facultad de Ingeniería y Computación Programa Profesional de Ciencia de la Computación SILABO CS391. Calidad de Software (Obligatorio) 2014-2 1. DATOS GENERALES 1.1 CARRERA

Más detalles

Definición de un Proceso de Implantación de Sistemas

Definición de un Proceso de Implantación de Sistemas Definición de un Proceso de Implantación de Sistemas Alicia Mon, Marcelo Estayno, Fernando López Gil, Eduardo De María 1 1 Grupo de Ingeniería de Software (G.I.S.) / Departamento de Sistemas / Universidad

Más detalles

forma de entrenar a la nuerona en su aprendizaje.

forma de entrenar a la nuerona en su aprendizaje. Sistemas expertos e Inteligencia Artificial,Guía5 1 Facultad : Ingeniería Escuela : Computación Asignatura: Sistemas expertos e Inteligencia Artificial Tema: SISTEMAS BASADOS EN CONOCIMIENTO. Objetivo

Más detalles

Estándares para planes de calidad de software. Escuela de Ingeniería de Sistemas y Computación Desarrollo de Software II Agosto Diciembre 2008

Estándares para planes de calidad de software. Escuela de Ingeniería de Sistemas y Computación Desarrollo de Software II Agosto Diciembre 2008 Estándares para planes de calidad de software Escuela de Ingeniería de Sistemas y Computación Desarrollo de Software II Agosto Diciembre 2008 DIFERENCIA ENTRE PRODUCIR UNA FUNCION Y PRODUCIR UNA FUNCION

Más detalles

1 GLOSARIO. Actor: Es un consumidor (usa) del servicio (persona, sistema o servicio).

1 GLOSARIO. Actor: Es un consumidor (usa) del servicio (persona, sistema o servicio). 1 GLOSARIO A continuación se definen, en orden alfabético, los conceptos básicos que se han abordado a lo largo del desarrollo de la metodología para la gestión de requisitos bajo la Arquitectura Orientada

Más detalles

Unidad 1. Fundamentos en Gestión de Riesgos

Unidad 1. Fundamentos en Gestión de Riesgos 1.1 Gestión de Proyectos Unidad 1. Fundamentos en Gestión de Riesgos La gestión de proyectos es una disciplina con la cual se integran los procesos propios de la gerencia o administración de proyectos.

Más detalles

Gestión y Desarrollo de Requisitos en Proyectos Software

Gestión y Desarrollo de Requisitos en Proyectos Software Gestión y Desarrollo de Requisitos en Proyectos Software Ponente: María Jesús Anciano Martín Objetivo Objetivo Definir un conjunto articulado y bien balanceado de métodos para el flujo de trabajo de Ingeniería

Más detalles

CAPÍTULO 4. FORMA DE EVALUACIÓN CMM. 4.1 Evolución de los métodos de valoración del SEI

CAPÍTULO 4. FORMA DE EVALUACIÓN CMM. 4.1 Evolución de los métodos de valoración del SEI CAPÍTULO 4. FORMA DE EVALUACIÓN CMM Tanto para el programa ALTA como para este trabajo de tesis, es importante conocer no sólo el modelo de Capacidad de Madurez, sino la forma en que se evalúa el nivel

Más detalles

Gestión de la Configuración

Gestión de la Configuración Gestión de la ÍNDICE DESCRIPCIÓN Y OBJETIVOS... 1 ESTUDIO DE VIABILIDAD DEL SISTEMA... 2 ACTIVIDAD EVS-GC 1: DEFINICIÓN DE LOS REQUISITOS DE GESTIÓN DE CONFIGURACIÓN... 2 Tarea EVS-GC 1.1: Definición de

Más detalles

PROGRAMACIÓN ORIENTADA A OBJETOS Master de Computación. II MODELOS y HERRAMIENTAS UML. II.2 UML: Modelado de casos de uso

PROGRAMACIÓN ORIENTADA A OBJETOS Master de Computación. II MODELOS y HERRAMIENTAS UML. II.2 UML: Modelado de casos de uso PROGRAMACIÓN ORIENTADA A OBJETOS Master de Computación II MODELOS y HERRAMIENTAS UML 1 1 Modelado de casos de uso (I) Un caso de uso es una técnica de modelado usada para describir lo que debería hacer

Más detalles

GERENCIA DE INTEGRACIÓN

GERENCIA DE INTEGRACIÓN GERENCIA DE INTEGRACIÓN CONTENIDO Desarrollo del plan Ejecución del plan Control de cambios INTRODUCCIÓN La gerencia de integración del proyecto incluye los procesos requeridos para asegurar que los diversos

Más detalles

Dirección General de Educación Superior Tecnológica

Dirección General de Educación Superior Tecnológica Dirección General de Educación Superior Tecnológica 1. Datos Generales de la asignatura Nombre de la asignatura: Clave de la asignatura: Créditos (Ht-Hp_ Hp_ créditos): Carrera: Cómputo en la nube TIF-1402

Más detalles

Plan de estudios ISTQB: Nivel Fundamentos

Plan de estudios ISTQB: Nivel Fundamentos Plan de estudios ISTQB: Nivel Fundamentos Temario 1. INTRODUCCIÓN 2. FUNDAMENTOS DE PRUEBAS 3. PRUEBAS A TRAVÉS DEL CICLO DE VIDA DEL 4. TÉCNICAS ESTÁTICAS 5. TÉCNICAS DE DISEÑO DE PRUEBAS 6. GESTIÓN DE

Más detalles

El Proceso Unificado de Desarrollo de Software

El Proceso Unificado de Desarrollo de Software El Proceso de Desarrollo de Software Ciclos de vida Métodos de desarrollo de software El Proceso Unificado de Desarrollo de Software 1 Fases principales del desarrollo de software Captura de requisitos:

Más detalles

CAPÍTULO 2. MODELOS Y ESTÁNDARES DE CALIDAD DE SOFTWARE

CAPÍTULO 2. MODELOS Y ESTÁNDARES DE CALIDAD DE SOFTWARE CAPÍTULO 2. MODELOS Y ESTÁNDARES DE CALIDAD DE SOFTWARE 2.1 Ingeniería de Software Los modelos y estándares de calidad de software forman parte de la ingeniería de software. Es por eso que comenzaremos

Más detalles

MODELOS DE SIMULACIÓN

MODELOS DE SIMULACIÓN MODELOS DE SIMULACIÓN En general, se llama modelo a la imagen o representación de un sistema, generalmente simplificada e incompleta. Y se llama simulación a la experimentación con un modelo para extraer

Más detalles

Competencias generales vinculadas a los distintos módulos Módulo de Formación Básica

Competencias generales vinculadas a los distintos módulos Módulo de Formación Básica Competencias generales vinculadas a los distintos módulos Módulo de Formación Básica C1. Capacidad para la resolución de los problemas matemáticos que puedan plantearse en la ingeniería. Aptitud para aplicar

Más detalles

Instalación de Sistemas de Automatización y Datos

Instalación de Sistemas de Automatización y Datos UNIVERSIDADE DE VIGO E. T. S. Ingenieros Industriales 5º Curso Orientación Instalaciones y Construcción Instalación de Sistemas de Automatización y Datos José Ignacio Armesto Quiroga http://www www.disa.uvigo.es/

Más detalles

6 Anexos: 6.1 Definición de Rup:

6 Anexos: 6.1 Definición de Rup: 6 Anexos: 6.1 Definición de Rup: Es un producto del proceso de ingeniería de software que proporciona un enfoque disciplinado para asignar tareas y responsabilidades dentro de una organización del desarrollo.

Más detalles

Unidad de Competencia I Elementos de Competencia Requerimientos de información

Unidad de Competencia I Elementos de Competencia Requerimientos de información REQUISITOS: Administración de Proyectos de Software I c/práctica Profesional II HORAS: 3 CRÉDITOS: 5.68 PROGRAMA(S) EDUCATIVO(S) QUE LA RECIBE(N): Ingeniero en Software PLAN: 2009 FECHA DE REVISIÓN: Noviembre

Más detalles

MODELOS DE CALIDAD EN EL DESARROLLO DE SOFTWARE

MODELOS DE CALIDAD EN EL DESARROLLO DE SOFTWARE MODELOS DE CALIDAD EN EL DESARROLLO DE SOFTWARE INTRODUCCIÓN Los Modelos de Calidad son herramientas que guían a las Organizaciones a la Mejora Continua y la Competitividad dando les especificaciones de

Más detalles

Orientación acerca del enfoque basado en procesos para los sistemas de gestión de la calidad

Orientación acerca del enfoque basado en procesos para los sistemas de gestión de la calidad Orientación acerca del enfoque basado en procesos para los sistemas de gestión de la calidad Documento: ISO/TC 176/SC 2/N 544R Mayo 2001 ISO Traducción aprobada el 2001-05-31 Prólogo de la versión en español

Más detalles

LICENCIATURA EN CONTADURIA PUBLICA LISTADO DE MATERIAS CONTENIDO PLAN: 2004-2

LICENCIATURA EN CONTADURIA PUBLICA LISTADO DE MATERIAS CONTENIDO PLAN: 2004-2 LICENCIATURA EN CONTADURIA PUBLICA PLAN: 2004-2 Formar integralmente profesionales en Contaduría Pública con calidad y pertinencia social, con actitud creativa, analítica y propositiva, capaces de generar

Más detalles

TALLER: CALIFICACIÓN DE EQUIPOS Y SISTEMAS

TALLER: CALIFICACIÓN DE EQUIPOS Y SISTEMAS TALLER: CALIFICACIÓN DE EQUIPOS Y SISTEMAS QFB. ELIZABETH MARTÍNEZ FLORES TERRA FARMA S.A DE C.V. Documento propiedad de su autor. Prohibida su reproducción por cualquier medio para fines distintos a la

Más detalles

Propuesta de Proyecto de Trabajo de Grado. Tema: Herramienta de Soporte a la Ingeniería de Requerimientos para Aplicaciones Web

Propuesta de Proyecto de Trabajo de Grado. Tema: Herramienta de Soporte a la Ingeniería de Requerimientos para Aplicaciones Web Propuesta de Proyecto de Trabajo de Grado Tema: Herramienta de Soporte a la Ingeniería de Requerimientos para Aplicaciones Web Alumnos: Daniel Eduardo Rivas López (erivas17@gmail.com) o C.I: 3.211.767

Más detalles

Tecnológico de Estudios Superiores de Coacalco. Instituto Tecnológico Superior de Comalcalco, Fresnillo, Santiago Papasquiaro y Zapopan.

Tecnológico de Estudios Superiores de Coacalco. Instituto Tecnológico Superior de Comalcalco, Fresnillo, Santiago Papasquiaro y Zapopan. 1. DATOS DE LA ASIGNATURA Nombre de la asignatura: Carrera: Clave de la asignatura: Horas teoría-horas práctica-créditos Modelo de Desarrollo Integral (CMMI) Ingeniería en Sistemas Computacionales ISS-1104

Más detalles

1. INTRODUCCIÓN 1.1 INGENIERÍA

1. INTRODUCCIÓN 1.1 INGENIERÍA 1. INTRODUCCIÓN 1.1 INGENIERÍA Es difícil dar una explicación de ingeniería en pocas palabras, pues se puede decir que la ingeniería comenzó con el hombre mismo, pero se puede intentar dar un bosquejo

Más detalles

GUÍA TÉCNICA PARA LA DEFINICIÓN DE COMPROMISOS DE CALIDAD Y SUS INDICADORES

GUÍA TÉCNICA PARA LA DEFINICIÓN DE COMPROMISOS DE CALIDAD Y SUS INDICADORES GUÍA TÉCNICA PARA LA DEFINICIÓN DE COMPROMISOS DE CALIDAD Y SUS INDICADORES Tema: Cartas de Servicios Primera versión: 2008 Datos de contacto: Evaluación y Calidad. Gobierno de Navarra. evaluacionycalidad@navarra.es

Más detalles

CAPÍTULO 1 CONCEPTOS CLAVE. NO ES una profesión NO ES NO ES. NO ES manufactura en casa DEFINICIÓN DEL TELETRABAJO LO QUE NO ES TELETRABAJO

CAPÍTULO 1 CONCEPTOS CLAVE. NO ES una profesión NO ES NO ES. NO ES manufactura en casa DEFINICIÓN DEL TELETRABAJO LO QUE NO ES TELETRABAJO DEFINICIÓN En Colombia, el teletrabajo se encuentra definido en la Ley 1221 de 2008 como: Una forma de organización laboral, que consiste en el desempeño de actividades remuneradas o prestación de servicios

Más detalles

AUTOMATIZACION DE LA ENTREGA DE CEDULAS EN LA REGISTRADURIA 1. Sistema para Administración y Control de la Información en las Registradurías del

AUTOMATIZACION DE LA ENTREGA DE CEDULAS EN LA REGISTRADURIA 1. Sistema para Administración y Control de la Información en las Registradurías del AUTOMATIZACION DE LA ENTREGA DE CEDULAS EN LA REGISTRADURIA 1 Julieth Giraldo Blandón Mauricio Pareja Bolívar Leonardo Serna Guarín 2 Sistema para Administración y Control de la Información en las Registradurías

Más detalles

Orientación acerca de los requisitos de documentación de la Norma ISO 9001:2000

Orientación acerca de los requisitos de documentación de la Norma ISO 9001:2000 Orientación acerca de los requisitos de documentación de la Norma ISO 9001:2000 Documento: ISO/TC 176/SC 2/N 525R Marzo 2001 ISO Traducción aprobada el 2001-05-31 Prólogo de la versión en español Este

Más detalles

Introducción. Metadatos

Introducción. Metadatos Introducción La red crece por momentos las necesidades que parecían cubiertas hace relativamente poco tiempo empiezan a quedarse obsoletas. Deben buscarse nuevas soluciones que dinamicen los sistemas de

Más detalles

Modelo para el Aseguramiento de Calidad en el Desarrollo de Software Libre

Modelo para el Aseguramiento de Calidad en el Desarrollo de Software Libre Modelo para el Aseguramiento de Calidad en el Desarrollo de Software Libre Cenditel, Mayo 2011 Licencia de Uso Copyright (c) 2010, Alvarez J., Solé S., Briceño R., Fundación CENDITEL. La Fundación CENDITEL

Más detalles

PLAN DIRECTOR DE SERVICIOS MÓVILES DE VALOR AÑADIDO EN LA ADMINISTRACIÓN PÚBLICA

PLAN DIRECTOR DE SERVICIOS MÓVILES DE VALOR AÑADIDO EN LA ADMINISTRACIÓN PÚBLICA PLAN DIRECTOR DE SERVICIOS MÓVILES DE VALOR AÑADIDO EN LA ADMINISTRACIÓN PÚBLICA Manager LaneFour Strategy & Management Manager LaneFour Strategy & Management Palabras clave Plan Director, Mobile Government/Administración

Más detalles

INGENIERÍA DE SOFTWARE CICLOS DE VIDA Y METODOLOGIAS

INGENIERÍA DE SOFTWARE CICLOS DE VIDA Y METODOLOGIAS INGENIERÍA DE SOFTWARE CICLOS DE VIDA Y METODOLOGIAS Rubby Casallas, Andrés Yie Departamento de Sistemas y Computación Facultad de Ingeniería Universidad de los Andes Agenda Contexto Ciclos de vida: Modelo

Más detalles

Difusión de la voz del cliente en las operaciones de la empresa: el uso de six-sigma para gestionar el conocimiento Juan Carlos G. Landero, Ph.D.

Difusión de la voz del cliente en las operaciones de la empresa: el uso de six-sigma para gestionar el conocimiento Juan Carlos G. Landero, Ph.D. Número 45. Mayo 2013 Difusión de la voz del cliente en las operaciones de la empresa: el uso de six-sigma para gestionar el conocimiento Juan Carlos G. Landero, Ph.D. 1 Resumen En un contexto de máxima

Más detalles

MANUAL DEL TRABAJO FIN DE GRADO EN FISIOTERAPIA GUÍA PARA LOS TUTORES

MANUAL DEL TRABAJO FIN DE GRADO EN FISIOTERAPIA GUÍA PARA LOS TUTORES 2011 MANUAL DEL TRABAJO FIN DE GRADO EN FISIOTERAPIA GUÍA PARA LOS TUTORES Universidad de Zaragoza Escuela de Ciencias de la Salud Grado en Fisioterapia Trabajo Fin de Grado 1. Introducción Qué es el Trabajo

Más detalles

Ingeniería de Software

Ingeniería de Software Ingeniería de Software Agustín J. González ElO329: Diseño y Programación Orientados a Objeto Adaptado de: material asignatura CS169,Software Engineering, UC Berkeley, entre otras fuentes. Definiciones

Más detalles

CMMI Capability Maturity Model Integration Modelo integrado de madurez de la capacidad

CMMI Capability Maturity Model Integration Modelo integrado de madurez de la capacidad CMMI Capability Maturity Model Integration Modelo integrado de madurez de la capacidad Robin Alberto Castro Gil rcastro@icesi.edu.co Geovany Trejos Salas gtrejos@icesi.edu.co Monitoreo y control de proyectos

Más detalles

ISO 9000:2000. Roberto Aprili Justiniano Rodrigo Ramírez Pérez. Roberto Aprili, Rodrigo Ramírez

ISO 9000:2000. Roberto Aprili Justiniano Rodrigo Ramírez Pérez. Roberto Aprili, Rodrigo Ramírez ISO 9000:2000 Roberto Aprili Justiniano Rodrigo Ramírez Pérez Motivación Cada uno es para eso (Bajo ciertas Condiciones) Todo mundo piensa que ellos entienden eso (excepto lo que ellos quisieran explicar)

Más detalles

Metodologías Ágiles Desde una Perspectiva de Project Management. Fernando Contreras Velásquez Project Management & Engineering Services.

Metodologías Ágiles Desde una Perspectiva de Project Management. Fernando Contreras Velásquez Project Management & Engineering Services. Metodologías Ágiles Desde una Perspectiva de Project Management Fernando Contreras Velásquez Project Management & Engineering Services. Ing. Fernando Contreras Velásquez: PMP, PMI-SP, PMI-RMP Acerca del

Más detalles

comunidades de práctica

comunidades de práctica 1. Introducción CoSpace es una plataforma web diseñada para proporcionar un espacio virtual de interacción y colaboración entre formadores en comunidades virtuales. Se originó como resultado de las necesidades

Más detalles

Lo que miden los niveles de dominio

Lo que miden los niveles de dominio NIVELES DE DESEMPEÑO PISA XI. ESTANDARES CURRICULARES Y APRENDIZAJES ESPERADOS XI.1. PISA. Un referente internacional El Programa para la Evaluación Internacional de Alumnos de la OCDE (PISA, por sus siglas

Más detalles

LOS RETOS DE LA ENSEÑANZA EN LA INGENIERÍA 1

LOS RETOS DE LA ENSEÑANZA EN LA INGENIERÍA 1 LOS RETOS DE LA ENSEÑANZA EN LA INGENIERÍA 1 Horacio Ramírez de Alba* En este escrito se presenta un panorama de la profesión de la ingeniería y su relación con el desarrollo del país, y a partir de ello

Más detalles

Hacer Realidad BPM en su Organización ADOPTAR BPM A PARTIR DE UN PROYECTO O NECESIDAD DE AUTOMATIZACIÓN

Hacer Realidad BPM en su Organización ADOPTAR BPM A PARTIR DE UN PROYECTO O NECESIDAD DE AUTOMATIZACIÓN ADOPTAR BPM A PARTIR DE UN PROYECTO O NECESIDAD DE AUTOMATIZACIÓN OBJETIVOS GENERALES 1. Identificar, diseñar, automatizar y habilitar la mejora continua de los procesos relacionados a la necesidad o proyecto

Más detalles

La Necesidad de Modelar. Diseño de Software Avanzado Departamento de Informática

La Necesidad de Modelar. Diseño de Software Avanzado Departamento de Informática La Necesidad de Modelar Analogía Arquitectónica Tiene sentido poner ladrillos sin hacer antes los planos? El modelo, los planos, ayuda a afrontar la complejidad del proyecto. Cuál es el lenguaje adecuado

Más detalles

Conceptos Generales. Introducción a la ingeniería de Software. Tomado de: Escuela de Sistemas Universidad Nacional de Colombia Sede Medellín

Conceptos Generales. Introducción a la ingeniería de Software. Tomado de: Escuela de Sistemas Universidad Nacional de Colombia Sede Medellín Conceptos Generales Introducción a la ingeniería de Software Tomado de: Escuela de Sistemas Universidad Nacional de Colombia Sede Medellín Qué es el Software? Objeto de estudio de la Ingeniería de Software

Más detalles

Especificación de Requisitos según el estándar de IEEE 830

Especificación de Requisitos según el estándar de IEEE 830 Especificación de Requisitos según el estándar de IEEE 830 IEEE Std. 830-1998 22 de Octubre de 2008 Resumen Este documento presenta, en castellano, el formato de Especificación de Requisitos Software (ERS)

Más detalles

Índice. Que es SFIA? Estructura del modelo. Compatibilidad Algunas implementaciones Desarrollo participantes

Índice. Que es SFIA? Estructura del modelo. Compatibilidad Algunas implementaciones Desarrollo participantes Modelo 2012 Índice Que es SFIA? Propósito y Beneficios Tipos de habilidades definidas Estructura del modelo Categorías y Habilidades Niveles Roles Descripción detallada (ejemplo) SFIA matriz de competencias

Más detalles

Asignaturas antecedentes y subsecuentes

Asignaturas antecedentes y subsecuentes PROGRAMA DE ESTUDIOS Ingeniería de Software Área a la que pertenece: Área Sustantiva Profesional Horas teóricas: 3 Horas prácticas: 1 Créditos: 7 Clave: F0161 Asignaturas antecedentes y subsecuentes PRESENTACIÓN

Más detalles

DE VIDA PARA EL DESARROLLO DE SISTEMAS

DE VIDA PARA EL DESARROLLO DE SISTEMAS MÉTODO DEL CICLO DE VIDA PARA EL DESARROLLO DE SISTEMAS 1. METODO DEL CICLO DE VIDA PARA EL DESARROLLO DE SISTEMAS CICLO DE VIDA CLÁSICO DEL DESARROLLO DE SISTEMAS. El desarrollo de Sistemas, un proceso

Más detalles

Anteproyecto Fin de Carrera

Anteproyecto Fin de Carrera Universidad de Castilla-La Mancha Escuela Superior de Informática Anteproyecto Fin de Carrera DIMITRI (Desarrollo e Implantación de Metodologías y Tecnologías de Testing) Dirige: Macario Polo Usaola Presenta:

Más detalles

SIMULACIÓN DE SISTEMAS (I. ELÉCTRICA/I. ELECTRÓNICA)

SIMULACIÓN DE SISTEMAS (I. ELÉCTRICA/I. ELECTRÓNICA) ASIGNATURA DE GRADO: SIMULACIÓN DE SISTEMAS (I. ELÉCTRICA/I. ELECTRÓNICA) Curso 2014/2015 (Código:68903050) 1.PRESENTACIÓN DE LA ASIGNATURA En esta asignatura se estudian las técnicas de simulación, comenzando

Más detalles

Ingeniería de Software

Ingeniería de Software Ingeniería de Software Agustín J. González ElO329: Diseño y Programación Orientados a Objeto Adaptado de: http://www.dsic.upv.es/~uml http://inst.eecs.berkeley.edu/~cs169/ entre otras fuentes. Definiciones

Más detalles

Objetivos Generales. Objetivos específicos. Que el estudiante:

Objetivos Generales. Objetivos específicos. Que el estudiante: ASIGNATURA: MÉTODOS NUMPERICOS I (ANÁLISIS Y PROCESAMIENTO DE LOS DATOS EXPERIMENTALES CON INTRODUCCIÓN A LA COMPUTACIÓN) Objetivos Generales Comprender y manejar los conceptos relacionados con el manejo,

Más detalles

3. GESTIÓN DE CONFIGURACIÓN DE SOFTWARE

3. GESTIÓN DE CONFIGURACIÓN DE SOFTWARE 3. GESTIÓN DE CONFIGURACIÓN DE SOFTWARE Software Configuration Management (SCM) es una disciplina de la Ingeniería de Software que se preocupa de [Ber92] [Ber84] [Bou98] [Mik97]: Identificar y documentar

Más detalles

Capítulo 2. Metodologías de selección de personal

Capítulo 2. Metodologías de selección de personal Capítulo 2. Metodologías de selección de personal 2.1 Introducción La selección de personal es una actividad en la cual toda empresa invierte parte de sus recursos, debido a que es una tarea de vital importancia.

Más detalles

ITBA - UPM MAGISTER EN INGENIERIA DEL SOFTWARE ANTEPROYECTO DE TESIS

ITBA - UPM MAGISTER EN INGENIERIA DEL SOFTWARE ANTEPROYECTO DE TESIS ITBA - UPM MAGISTER EN INGENIERIA DEL SOFTWARE ANTEPROYECTO DE TESIS TÍTULO: TEMA: Sistema generador del mapa de actividades de un proyecto de desarrollo de software. Sistema basado en conocimientos para

Más detalles