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,

Modelado de relaciones existentes en un equipo de proyecto de software Modeling relationships in a software project team

Modelado de relaciones existentes en un equipo de proyecto de software Modeling relationships in a software project team Modelado de relaciones existentes en un equipo de proyecto de software Modeling relationships in a software project team Rafael Rodríguez-Puente 1, Eliana B. Ril-Valentin 2 1 Departamento de Técnicas de

Más detalles

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

Objetivos FACULTAD DE INGENIERIA. DEPARTAMENTO DE INGENIERIA DE SISTEMAS. Código de la asignatura 4070. Fecha de Actualización Julio 24 de 2012

Objetivos FACULTAD DE INGENIERIA. DEPARTAMENTO DE INGENIERIA DE SISTEMAS. Código de la asignatura 4070. Fecha de Actualización Julio 24 de 2012 Nombre de la asignatura Ingeniería de Software Código de la asignatura 4070 Fecha de Actualización Julio 24 de 2012 Intensidad horaria semanal Horas Contacto 4 Horas Trabajo Independiente 8 Créditos Académicos

Más detalles

Ingeniería de Software I. Sebastián Uchitel y Víctor Braberman 1er Cuatrimestre 2009

Ingeniería de Software I. Sebastián Uchitel y Víctor Braberman 1er Cuatrimestre 2009 Ingeniería de Software I Sebastián Uchitel y Víctor Braberman 1er Cuatrimestre 2009 Quienes somos? 2 Quienes son? 3 Objetivos del Curso Entender el rol fundamental que juega la construcción y análisis

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

Metodologías híbridas para desarrollo de software: una opción factible para México Eréndira Miriam Jiménez Hernández y Sandra Dinora Orantes Jiménez

Metodologías híbridas para desarrollo de software: una opción factible para México Eréndira Miriam Jiménez Hernández y Sandra Dinora Orantes Jiménez Revista Digital Universitaria 1 de enero 2012 Volumen 13 Número 1 ISSN: 1067-6079 Metodologías híbridas para desarrollo de software: una opción factible para México Eréndira Miriam Jiménez Hernández y

Más detalles

Herramienta para el modelado de flujos de tareas y traducción al álgebra de tareas

Herramienta para el modelado de flujos de tareas y traducción al álgebra de tareas Herramienta para el modelado de flujos de tareas y traducción al álgebra de tareas José Angel Quintanar Morales Laboratorio de Investigación y Desarrollo de Ingeniería de Software Universidad Tecnológica

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

LENGUAJES DE PROGRAMACIÓN POR QUÉ HAY TANTOS Y APARECEN NUEVOS? Por: Hanna Oktaba

LENGUAJES DE PROGRAMACIÓN POR QUÉ HAY TANTOS Y APARECEN NUEVOS? Por: Hanna Oktaba LENGUAJES DE PROGRAMACIÓN POR QUÉ HAY TANTOS Y APARECEN NUEVOS? Por: Hanna Oktaba La computadora, a diferencia de otras herramientas que en general apoyan el esfuerzo físico de los humanos, fue inventada

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

La investigación en verificación formal - un estado del arte

La investigación en verificación formal - un estado del arte Tipo de artículo: Artículo de revisión Temática: Tecnologías de bases de datos Recibido: 11/03/2013 Aceptado: 6/09/2013 La investigación en verificación formal - un estado del arte Research on formal verification

Más detalles

Profesorado: Dra. María José Escalona Cuaresma mjescalona@us.es Dr. José Mariano González Romano mariano@lsi.us.es

Profesorado: Dra. María José Escalona Cuaresma mjescalona@us.es Dr. José Mariano González Romano mariano@lsi.us.es Metodología y Técnicas en Proyectos software para la Web II-6 para la Ingeniería Web Profesorado: Dra. María José Escalona Cuaresma mjescalona@us.es Dr. José Mariano González Romano mariano@lsi.us.es Programa

Más detalles

Modelo para evaluar la Gestión del Valor del Producto Software durante el Ciclo de Desarrollo: Fase II

Modelo para evaluar la Gestión del Valor del Producto Software durante el Ciclo de Desarrollo: Fase II Modelo para evaluar la Gestión del Valor del Producto Software durante el Ciclo de Desarrollo: Fase II Posgrado en Ciencias y Tecnologías de la Información Marzo del 2012. 1. Responsables Dra. Angelina

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

Departamento/Divisi ón R/ I. Espacios Curriculares Correlativos Subsiguientes

Departamento/Divisi ón R/ I. Espacios Curriculares Correlativos Subsiguientes Ciclo Académico: 2009 Año de la Carrera: Horas de Clases Semanales Régimen de Cursado 3ro. Teoría Práctica Otros i (1) Anual 1er.Cuatr. 2do.Cuatr. Otros (2) 4 4 X (1) Observaciones: (2) Observaciones:

Más detalles

Programación orientada a

Programación orientada a Programación orientada a objetos con Java Pedro Corcuera Dpto. Matemática Aplicada y Ciencias de la Computación Universidad de Cantabria corcuerp@unican.es Objetivos Presentar los conceptos de la programación

Más detalles

Ingeniería de Software I

Ingeniería de Software I Ingeniería de Software I Agenda Objetivo. Unidades de aprendizaje. Formas de evaluación. Bibliografía. 2 Datos del profesor Correo electrónico: egonzalez@upemor.edu.mx Asesorías Jueves de 11:00 a 13:00

Más detalles

Ingeniería en Sistemas Computacionales

Ingeniería en Sistemas Computacionales 1.- DATOS DE LA ASIGNATURA Nombre de la asignatura: Carrera: Clave de la asignatura: Modelo de Desarrollo Integral (CMMI) Ingeniería en Sistemas Computacionales ISE-1204 Créditos 3-1-4 2.- PRESENTACIÓN

Más detalles

Adaptación y Configuración de Procesos de Software Tailoring and Configuration of Software Processes

Adaptación y Configuración de Procesos de Software Tailoring and Configuration of Software Processes Adaptación y Configuración de Procesos de Software Tailoring and Configuration of Software Processes Rodolfo Villarroel Acevedo 1* 1 Pontificia Universidad Católica de Valparaíso. Avenida Brasil 2241,

Más detalles

ADAPTACIÓN DE REAL TIME WORKSHOP AL SISTEMA OPERATIVO LINUX

ADAPTACIÓN DE REAL TIME WORKSHOP AL SISTEMA OPERATIVO LINUX ADAPTACIÓN DE REAL TIME WORKSHOP AL SISTEMA OPERATIVO LINUX Autor: Tomás Murillo, Fernando. Director: Muñoz Frías, José Daniel. Coordinador: Contreras Bárcena, David Entidad Colaboradora: ICAI Universidad

Más detalles

Métodos Formales de Desarrollo de Software

Métodos Formales de Desarrollo de Software MFDS Curso 2015-2016 1 Métodos Formales de Desarrollo de Software Grado en Ingeniería Informática Paqui Lucio Dpto de Lenguajes y Sistemas Informáticos. MFDS Curso 2015-2016 2 La construcción de software

Más detalles

Ingeniería de software

Ingeniería de software Ingeniería de software MSC-0102 Nombre de la asignatura: Ingeniería de Software Línea de trabajo: Asignatura básica Tiempo de dedicación del estudiante a las actividades de: DOC TIS TPS Horas totales Créditos

Más detalles

Estudio Comparativo de Técnicas de Modelado de Negocio

Estudio Comparativo de Técnicas de Modelado de Negocio Estudio Comparativo de Técnicas de Modelado de Negocio Juan José Cadavid 1, Carlos Andrés Ospina 1, Juan Bernardo Quintero 2 1 Avansoft S.A. Medellín, Colombia {jjcadavid, caospina}@avansoft.com 2 ABC-Flex

Más detalles

UNIVERSIDAD NACIONAL DEL SUR 1 BAHIA BLANCA DEPARTAMENTO DE CIENCIAS E INGENIERÍA DE LA COMPUTACION CORRELATIVAS OBJETIVOS

UNIVERSIDAD NACIONAL DEL SUR 1 BAHIA BLANCA DEPARTAMENTO DE CIENCIAS E INGENIERÍA DE LA COMPUTACION CORRELATIVAS OBJETIVOS UNIVERSIDAD NACIONAL DEL SUR 1 PROFESOR RESPONSABLE: Mg. Javier Echaiz Profesor Adjunto con Dedicación Exclusiva CARGA HORARIA Teoría 4 hs Práctica 28 hs PARA CURSAR LA MATERIA APROBADAS CURSADAS *Organización

Más detalles

IDENTIFICACION DE CONGLOMERADOS (CLUSTERS) PARA IMPLEMENTAR OBJETOS DE SOFTWARE

IDENTIFICACION DE CONGLOMERADOS (CLUSTERS) PARA IMPLEMENTAR OBJETOS DE SOFTWARE 1 IDENTIFICACION DE CONGLOMERADOS (CLUSTERS) PARA IMPLEMENTAR OBJETOS DE SOFTWARE M. S. Manuel Prieto de Hoyos Profesor de tiempo completo de las carreras de Informática Facultad de Ingeniería y Arquitectura

Más detalles

Universidad de Guadalajara

Universidad de Guadalajara Universidad de Guadalajara Centro Universitario de Ciencias Económico-Administrativas Maestría en Tecnologías de Información Ante-proyecto de Tésis Selection of a lightweight virtualization framework to

Más detalles

Instituto Tecnológico de Cd. Victoria

Instituto Tecnológico de Cd. Victoria Instituto Tecnológico de Cd. Victoria Maestría en Sistemas Computacionales Nombre de la asignatura: INGENIERÍA DE SOFTWARE ORIENTADA A PROCESOS. Línea de Trabajo: Ingeniería de Software Tiempo de dedicación

Más detalles

AUTOMATIZACION DE PROCESOS DE DESARROLLO DE SOFTWARE DEFINIDOS CON SPEM

AUTOMATIZACION DE PROCESOS DE DESARROLLO DE SOFTWARE DEFINIDOS CON SPEM AUTOMATIZACION DE PROCESOS DE DESARROLLO DE SOFTWARE DEFINIDOS CON SPEM Fabio A. Zorzan y Daniel Riesco Resumen Esta línea de investigación propone una alternativa para lograr la automatización de la gestión

Más detalles

Tema 2º: Calidad del software

Tema 2º: Calidad del software Tema 2º: Calidad del software 2.1 Calidad del software 2.2 Aseguramiento de la calidad del software 2.3 Gestión de la calidad del software 2. 4 Control de la calidad del software 2.5 Sistema de calidad

Más detalles

Sistema de Control Domótico

Sistema de Control Domótico UNIVERSIDAD PONTIFICIA COMILLAS ESCUELA TÉCNICA SUPERIOR DE INGENIERÍA (ICAI) INGENIERO EN ELECTRÓNICA Y AUTOMATICA PROYECTO FIN DE CARRERA Sistema de Control Domótico a través del bus USB Directores:

Más detalles

Modelo para evaluar la Gestión del Valor del Producto Software durante el Ciclo de Desarrollo

Modelo para evaluar la Gestión del Valor del Producto Software durante el Ciclo de Desarrollo Modelo para evaluar la Gestión del Valor del Producto Software durante el Ciclo de Desarrollo Posgrado en Ciencias y Tecnologías de la Información Marzo del 2014. 1. Responsables Dra. Angelina Espinoza

Más detalles

13. EL LEAD TIME EN EL DESARROLLO DE PRODUCTOS SOFTWARE

13. EL LEAD TIME EN EL DESARROLLO DE PRODUCTOS SOFTWARE 13. EL LEAD TIME EN EL DESARROLLO DE PRODUCTOS SOFTWARE Jaime Alberto Sánchez Velásquez Ana Lucía Pérez * RESUMEN En los últimos años, el aumento de las compañías desarrolladoras de software en Colombia

Más detalles

Brindar al alumno un marco teórico y práctico para el desarrollo de software bajo estándares de calidad.

Brindar al alumno un marco teórico y práctico para el desarrollo de software bajo estándares de calidad. Universidad Católica San Pablo Facultad de Ingeniería y Computación Programa Profesional de Ciencia de la Computación SILABO CS290T. Ingeniería de Software I (Obligatorio) 2012-2 1. DATOS GENERALES 1.1

Más detalles

PROGRAMA DE DOCTORADO

PROGRAMA DE DOCTORADO PROGRAMA DE DOCTORADO Desarrollo de familias de productos de software desde un enfoque generativo DPTO. DE INGENIERÍA DE SOFTWARE Y SISTEMAS INFORMÁTICOS Tema 1 Introducción Autor: Rubén Heradio Gil Índice

Más detalles

Uso de un motor de restricciones bajo dispositivos Android

Uso de un motor de restricciones bajo dispositivos Android Uso de un motor de restricciones bajo dispositivos Android Gonzalo Hernández 1, Camilo Villota Ibarra 2, James Muñoz Coronel 3, Harold Muñoz Muñoz 4 Universidad de Nariño, Facultad de Ingeniería, Departamento

Más detalles

Modelos de Proceso Tradicionales

Modelos de Proceso Tradicionales Modelos de Proceso Tradicionales Capitulo 2,QJHQLHUtDGHO6RIWZDUH (VSHFLDOL]DFLyQHQ*HUHQFLDGH6LVWHPDVGH,QIRUPDFLyQ 8QLYHUVLGDG6DQWLDJRGH&DOL Profesor: MSc. MIGUEL ANGEL NIÑO ZAMBRANO Programación: Tiempo

Más detalles

270015 - IES - Introducción a la Ingeniería del Software

270015 - IES - Introducción a la Ingeniería del Software Unidad responsable: 270 - FIB - Facultad de Informática de Barcelona Unidad que imparte: 747 - ESSI - Departamento de Ingenieria de Servicios y Sistemas de Información Curso: Titulación: 2015 GRADO EN

Más detalles

Guía Docente Curso 2012-2013

Guía Docente Curso 2012-2013 ESCUELA TÉCNIICA SUPERIIOR DE IINGENIIERÍÍA Guía Docente Curso 2012-2013 Titulación Ingeniería Informática DATOS DE LA ASIGNATURA * * Asignatura en experiencia piloto de implantación del sistema de créditos

Más detalles

Análisis de Competencias en TIC para la Modernización Curricular del Programa de. Ingeniería de Sistemas de la Universidad de Pamplona Colombia.

Análisis de Competencias en TIC para la Modernización Curricular del Programa de. Ingeniería de Sistemas de la Universidad de Pamplona Colombia. Análisis de Competencias en TIC para la Modernización Curricular del Programa de Ingeniería de Sistemas de la Universidad de Pamplona Colombia. Laura Patricia Villamizar Carrillo Maritza del Pilar Sánchez

Más detalles

UNIVERSIDAD NACIONAL DEL SUR 1 BAHIA BLANCA DEPARTAMENTO DE CIENCIAS E INGENIERÍA DE LA COMPUTACION

UNIVERSIDAD NACIONAL DEL SUR 1 BAHIA BLANCA DEPARTAMENTO DE CIENCIAS E INGENIERÍA DE LA COMPUTACION UNIVERSIDAD NACIONAL DEL SUR 1 CODIGO: 792 CARRERAS Y PLANES Licenciatura en Ciencias de la Computación Plan 2007 Licenciatura en Ciencias de la Computación Plan 2011 PROFESOR RESPONSABLE: Mg. Javier Echaiz

Más detalles

Mejora en la Administración de Procesos de Desarrollo de Software Tipo SPEM Automatizados Bajo Workflow

Mejora en la Administración de Procesos de Desarrollo de Software Tipo SPEM Automatizados Bajo Workflow Mejora en la Administración de Procesos de Desarrollo de Software Tipo SPEM Automatizados Bajo Workflow Fabio A. Zorzan 1 y Daniel Riesco 2 Resumen Esta línea de investigación pretende aportar a la mejora

Más detalles

Programación en Capas.

Programación en Capas. Programación en Capas. Ricardo J. Vargas Del Valle Universidad de Costa Rica, Ciencias de Computación e Informática, San José, Costa Rica, 506 ricvargas@gmail.com Juan P. Maltés Granados Universidad de

Más detalles

ASIGNATURA: MATERIA: Simulación y optimización de procesos MÓDULO: Ingeniería de procesos y producto ESTUDIOS: MASTER EN INGENIERIA QUIMICA

ASIGNATURA: MATERIA: Simulación y optimización de procesos MÓDULO: Ingeniería de procesos y producto ESTUDIOS: MASTER EN INGENIERIA QUIMICA Página 1 de 3 CARACTERÍSTICAS GENERALES* Tipo: Formación básica, Obligatoria, Optativa Trabajo de fin de grado, Prácticas externas Duración: Semestral Semestre/s: 1 Número de créditos ECTS: 3 Idioma/s:

Más detalles

1. DATOS DE LA ASIGNATURA PRESENTACIÓN. Nombre de la asignatura: Verificación y Validación del Software. Carrera:

1. DATOS DE LA ASIGNATURA PRESENTACIÓN. Nombre de la asignatura: Verificación y Validación del Software. Carrera: 1. DATOS DE LA ASIGNATURA Nombre de la asignatura: Carrera: Clave de la asignatura: Créditos: Verificación y Validación del Software. Ingeniería en Sistemas Computacionales ISC1205 2-2-4 PRESENTACIÓN.

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

Modelado de Sistemas de Tiempo Real

Modelado de Sistemas de Tiempo Real MSc. Ing. Daniel Calegari García Grupo COAL Instituto de Computación Universidad de la República dcalegar@fing.edu.uy Introito Prólogo No soy experto en el tema, solo tengo alguna idea a raíz de trabajos

Más detalles

Instruir al alumno con los conceptos, modelos, teorías y principios básicos estudiados en la Ingeniería de Software

Instruir al alumno con los conceptos, modelos, teorías y principios básicos estudiados en la Ingeniería de Software Universidad de Colima Dirección General de Educación Superior Facultad de Ingeniería Mecánica y Eléctrica Licenciatura en Ingeniería en Sistemas Computacionales I. DATOS GENERALES P R O G R A M A A N A

Más detalles

JOSÉ OCTAVIO GUTIÉRREZ GARCÍA

JOSÉ OCTAVIO GUTIÉRREZ GARCÍA JOSÉ OCTAVIO GUTIÉRREZ GARCÍA Profesor de Tiempo Completo del Departamento Académico de Computación DOMICILIO Río Hondo No. 1 Progreso Tizapán México 01080, D.F. Tel: +52 (55) 5628-4000 Ext. 3645 Fax:

Más detalles

David Jordi Vallet Weadon.

David Jordi Vallet Weadon. <david.vallet@uam.es> David Jordi Vallet Weadon 1 Introducción Durante las últimas décadas, la personalización ha sido aplicada en diferentes campos de la informática, tanto en la rama científica como

Más detalles

PROGRAMA DE LA ASIGNATURA CURSO BASICO: ARQUITECTURA DEL SOFTWARE

PROGRAMA DE LA ASIGNATURA CURSO BASICO: ARQUITECTURA DEL SOFTWARE UNIVERSIDAD CENTRAL DE VENEZUELA FACULTAD DE CIENCIAS POSTGRADO EN CIENCIAS DE LA COMPUTACIÓN PROGRAMA DE LA ASIGNATURA CURSO BASICO: ARQUITECTURA DEL SOFTWARE INFORMACIÓN GENERAL Profesor: Francisca Losavio

Más detalles

ELABORACION DE MODELOS PARA LA IDENTIFICACION DE FACTORES CRITICOS DE EXITO, ANALISIS Y MITIGACION DE RIESGOS DE PROYECTOS EN DESARROLLO DE SOFTWARE

ELABORACION DE MODELOS PARA LA IDENTIFICACION DE FACTORES CRITICOS DE EXITO, ANALISIS Y MITIGACION DE RIESGOS DE PROYECTOS EN DESARROLLO DE SOFTWARE CONICYT: Repositorio Institucional: Ficha de Iniciativa de CIT (Ciencia, Tecnología e Innovación) 1 FONDECYT-REGULAR - 2003-1030785 ELABORACION DE MODELOS PARA LA IDENTIFICACION DE FACTORES CRITICOS DE

Más detalles

Encuesta Perfil de Egreso del Ingeniero en Computación y/o Informática en Chile (Para programas de 10 semestres o más)

Encuesta Perfil de Egreso del Ingeniero en Computación y/o Informática en Chile (Para programas de 10 semestres o más) Encuesta Perfil de Egreso del Ingeniero en Computación y/o Informática en Chile (Para programas de 10 semestres o más) Nombre del Encuestado e-mail Nombre de la Carrera Universidad Unidad Académica Sede

Más detalles

GENERACIÓN DE CASOS DE PRUEBA PARA COMPOSICIONES DE SERVICIOS WEB ESPECIFICADAS EN BPEL

GENERACIÓN DE CASOS DE PRUEBA PARA COMPOSICIONES DE SERVICIOS WEB ESPECIFICADAS EN BPEL Taller sobre Pruebas en Ingeniería del Software PRIS 2006 GENERACIÓN DE CASOS DE PRUEBA PARA COMPOSICIONES DE SERVICIOS WEB ESPECIFICADAS EN BPEL José García-Fanjul, Javier Tuya y Claudio de la Riva Departamento

Más detalles

Modelos de desarrollo de software. septiembre de 2007 1

Modelos de desarrollo de software. septiembre de 2007 1 Modelos de desarrollo de software septiembre de 2007 1 Referencias básicas Ingeniería de software. Un enfoque práctico. Pressman, R. Quinta edición. Mc. Graw Hill 2002 Ingeniería de software. Sommerville,

Más detalles

Análisis de Requisitos

Análisis de Requisitos Análisis de Requisitos Los requisitos determinan lo que hará el sistema y definen restricciones sobre su operación e implementación. El análisis de requisitos es el proceso del estudio de las necesidades

Más detalles

Pontificia Universidad Javeriana. TBA (Tool guide for BPM Agility) Visión y Especificación de Requerimientos. Version 1.0

Pontificia Universidad Javeriana. TBA (Tool guide for BPM Agility) Visión y Especificación de Requerimientos. Version 1.0 Pontificia Universidad Javeriana TBA (Tool guide for BPM Agility) Visión y Especificación de Requerimientos Version 1.0 Historial de Revisión del Documento Date Version Description Author 27/Ene/12 1.0

Más detalles

Cómo usar MDE para obtener Modelos de Simulación a partir de Modelos de Negocio

Cómo usar MDE para obtener Modelos de Simulación a partir de Modelos de Negocio Cómo usar MDE para obtener Modelos de Simulación a partir de Modelos de Negocio M. Teresa García 1, Mercedes Ruiz 1 y Cristina Vicente-Chicote 2 1 Departamento de Lenguajes y Sistemas Informáticos Universidad

Más detalles

A continuación se describe con mayor detalle cada una de las unidades: UNIDAD 2: Calidad en el desarrollo, adquisición, operación y mantenimiento del

A continuación se describe con mayor detalle cada una de las unidades: UNIDAD 2: Calidad en el desarrollo, adquisición, operación y mantenimiento del 1. OBJETIVOS: Incorporar los conceptos de indicador, métrica, medida, escala de medición, y proceso de medición. Entender la importancia de los indicadores de desempeño de procesos, su medición y seguimiento.

Más detalles

Ingeniería en Electrónica y Telecomunicaciones. Tema: Introducción al Procesamiento Digital de Señales

Ingeniería en Electrónica y Telecomunicaciones. Tema: Introducción al Procesamiento Digital de Señales Ingeniería en Electrónica y Telecomunicaciones Tema: Introducción al Procesamiento Digital de Señales Profesor: M. en C. Ana Silvia Díaz Fergadiz Roldán Periodo: Enero-Junio 2012 Introduction to Digital

Más detalles

Arquitectura de Empresa. Visión General

Arquitectura de Empresa. Visión General IX Congreso de Ingeniería de Organización Gijón, 8 y 9 de septiembre de 2005 de Empresa. Visión General Llanos Cuenca González 1, Ángel Ortiz Bas 1, Andrés Boza García 1 1 Centro de Investigación Gestión

Más detalles

Tape Mbo e: una Metodología Orientada a Servicios

Tape Mbo e: una Metodología Orientada a Servicios Tape Mbo e: una Metodología Orientada a Servicios Motivación Objetivos Tecnología Estado del Arte Evaluación del Estado del Arte Tape Mb e Ciclo de Vida Roles Disciplinas Ciclo de Vida y Disciplinas Evaluación

Más detalles

Resumen. Introducción

Resumen. Introducción Arquitectura de software para Sistemas de Información Ambiental Urciuolo Adriana, Iturraspe Rodolfo, Parson Ariel, Esteban Natalia Universidad Nacional de la Patagonia San Juan Bosco Sede Ushuaia, Darwin

Más detalles

Tema 13. Metodologías en el desarrollo de Sistemas de Software. Prof. Oscar Adolfo Vallejos

Tema 13. Metodologías en el desarrollo de Sistemas de Software. Prof. Oscar Adolfo Vallejos Tema 13 Metodologías en el desarrollo de Sistemas de Software Prof. Oscar Adolfo Vallejos Desarrollo de Sistemas de Software Objetivo Conceptos en el contexto más amplio de Software e Ingeniería de Software

Más detalles

Planificaciones. 7509 - Análisis de la Información. Docente responsable: VILLAGRA SERGIO GUSTAVO. 1 de 6

Planificaciones. 7509 - Análisis de la Información. Docente responsable: VILLAGRA SERGIO GUSTAVO. 1 de 6 Planificaciones 7509 - Análisis de la Información Docente responsable: VILLAGRA SERGIO GUSTAVO 1 de 6 OBJETIVOS Que los alumnos: a) Entiendan la naturaleza del software y las complejidades de su desarrollo.

Más detalles

PROGRAMA DE CURSO Modelo 2009

PROGRAMA DE CURSO Modelo 2009 PROGRAMA DE CURSO Modelo 2009 DEPARTAMENTO: Computación y Diseño NOMBRE DEL CURSO: Evaluación de Software CLAVE: 1082M ACADEMIA A LA QUE PERTENECE: Administración de Proyectos PROFESIONAL ASOCIADO Y LICENCIATURA

Más detalles

Propuesta de un modelo de análisis para estimación del tamaño del software y gestión de costos y riesgos a partir de requerimientos funcionales

Propuesta de un modelo de análisis para estimación del tamaño del software y gestión de costos y riesgos a partir de requerimientos funcionales Propuesta de un modelo de análisis para estimación del tamaño del software y gestión de costos y riesgos a partir de requerimientos funcionales S.Forigua, O.Ballesteros Abstract. This paper describes the

Más detalles

Diseño de Aplicaciones para SAP IS-H*med Usando Patrones de Diseño de Software. Caso de Estudio: Just Click! Sergio Andrés Pico Rojas, Ingeniero

Diseño de Aplicaciones para SAP IS-H*med Usando Patrones de Diseño de Software. Caso de Estudio: Just Click! Sergio Andrés Pico Rojas, Ingeniero Diseño de Aplicaciones para SAP IS-H*med Usando Patrones de Diseño de Software. Caso de Estudio: Just Click! Sergio Andrés Pico Rojas, Ingeniero Informático. Diana Teresa Gómez Forero, Ingeniera de Sistemas,

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

GUÍA DOCENTE DE INTRODUCCIÓN A LA PROGRAMACIÓN DE VIDEOJUEGOS Y GRÁFICOS

GUÍA DOCENTE DE INTRODUCCIÓN A LA PROGRAMACIÓN DE VIDEOJUEGOS Y GRÁFICOS GUÍA DOCENTE DE INTRODUCCIÓN A LA PROGRAMACIÓN DE VIDEOJUEGOS Y GRÁFICOS La presente guía docente corresponde a la asignatura de Introducción a la Programación de Videojuegos y Gráficos (Videojuegos) del

Más detalles

Procedimiento para la realización de ensayos de Aceptación y/o Piloto.

Procedimiento para la realización de ensayos de Aceptación y/o Piloto. Twelfth LACCEI Latin American and Caribbean Conference for Engineering and Technology (LACCEI 2014) Excellence in Engineering To Enhance a Country s Productivity July 22-24, 2014 Guayaquil, Ecuador. Procedimiento

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

CARTA DESCRIPTIVA Código: FO-MI-108 Versión: 3 Fecha: 25-10-2013

CARTA DESCRIPTIVA Código: FO-MI-108 Versión: 3 Fecha: 25-10-2013 CARTA DESCRIPTIVA Código: FO-MI-108 Versión: 3 Fecha: 25-10-2013 1. PRESENTACIÓN FACULTAD: Ingenierías PROGRAMA: Ingeniería de sistemas NOMBRE DEL CURSO: Línea de Profundización I PL/SQL y ORACLE PLAN

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

Métodos Formales y Análisis de Herramientas para la Producción de Software

Métodos Formales y Análisis de Herramientas para la Producción de Software Métodos Formales y Análisis de Herramientas para la Producción de Software Aristides Dasso, Ana Funes {arisdas, afunes}@unsl.edu.ar Universidad Nacional de San Luis Universidad Nacional de San Luis 2006

Más detalles

Análisis de Impacto de Cambios en Requisitos Software

Análisis de Impacto de Cambios en Requisitos Software Análisis de Impacto de Cambios en Requisitos Software Posgrado en Ciencias y Tecnologías de la Información Marzo del 2012. 1. Responsables Dra. Angelina Espinoza Limón Escuela Universitaria de Informática

Más detalles

SIMULACIÓN DE PROCESOS INDUSTRIALES

SIMULACIÓN DE PROCESOS INDUSTRIALES ASIGNATURA DE MÁSTER: SIMULACIÓN DE PROCESOS INDUSTRIALES Curso 2010/2011 (Código:28803010) 1.PRESENTACIÓN En esta asignatura se estudian las técnicas de simulación, comenzando por una introducción básica

Más detalles

Ingeniería de Software. Nombre de la asignatura: Ingeniería De Software. Carrera: Ingeniería En Sistemas Computacionales

Ingeniería de Software. Nombre de la asignatura: Ingeniería De Software. Carrera: Ingeniería En Sistemas Computacionales Ingeniería de Software 1.- DATOS DE LA ASIGNATURA Nombre de la asignatura: Ingeniería De Software Carrera: Ingeniería En Sistemas Computacionales Clave de la asignatura: TIM-0701 Horas teoría-horas práctica-créditos:

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

Universidad Ricardo Palma Facultad de Ingeniería

Universidad Ricardo Palma Facultad de Ingeniería Universidad Ricardo Palma Facultad de Ingeniería Escuela Académico Profesional de Ingeniería Informática Sílabo Plan de Estudios 2006-II I. DATOS GENERALES Curso : Calidad de Código : IF 0905 Ciclo : IX

Más detalles

Análisis comparativo entre CIMOSA (CIM-Open System Architecture) y DEM (Dynamic Enterprise Modelling)

Análisis comparativo entre CIMOSA (CIM-Open System Architecture) y DEM (Dynamic Enterprise Modelling) 3rd International Conference on Industrial Engineering and Industrial Management XIII Congreso de Ingeniería de Organización Barcelona-Terrassa, September 2nd-4th 2009 Análisis comparativo entre CIMOSA

Más detalles

Transformaciones lineales Valores y vectores característicos Ecuaciones diferenciales y transformada de Laplace Leyes físicas

Transformaciones lineales Valores y vectores característicos Ecuaciones diferenciales y transformada de Laplace Leyes físicas NOMBRE DE LA ASIGNATURA: Dinámica de Sistemas CREDITOS: 4-2-10 APORTACIÓN AL PERFIL Proporcionar conceptos, teorías y herramientas que le permitan integrar diversas disciplinas de la ingeniería tales como:

Más detalles

Tareas 20% Primer Examen Parcial 20% Segundo Examen Parcial 20% Proyecto Final 25% Examen Final 15%

Tareas 20% Primer Examen Parcial 20% Segundo Examen Parcial 20% Proyecto Final 25% Examen Final 15% Introducción a la Computación Evolutiva Dr. Carlos Artemio Coello Coello CINVESTAV-IPN Departamento de Computación Av. Instituto Politécnico Nacional No. 2508 Col. San Pedro Zacatenco México, D.F. 07360

Más detalles

Documentando la arquitectura de software Principios básicos por Omar Gómez

Documentando la arquitectura de software Principios básicos por Omar Gómez Documentando la arquitectura de software Principios básicos por Omar Gómez En la actualidad, uno de los temas candentes que se habla dentro de la comunidad de desarrollo de software es el referente a las

Más detalles

Transformación de Procesos BPMN a su Implementación en BPEL utilizando QVT

Transformación de Procesos BPMN a su Implementación en BPEL utilizando QVT Transformación de Procesos BPMN a su Implementación en BPEL utilizando QVT Fabio A. Zorzan 1, Daniel Riesco 2 CONTEXTO La línea de investigación presentada en este trabajo se desarrolla en el marco del

Más detalles

Curso 5007437. Capítulo 4: Arquitectura Orientada a Servicios. Conceptos y estándares de arquitecturas orientadas a servicios Web Curso 2006/2007

Curso 5007437. Capítulo 4: Arquitectura Orientada a Servicios. Conceptos y estándares de arquitecturas orientadas a servicios Web Curso 2006/2007 Curso 5007437 Conceptos y estándares de arquitecturas orientadas a servicios Web Curso 2006/2007 Capítulo 4: Arquitectura Orientada a Servicios Pedro Álvarez alvaper@unizar.es José Ángel Bañares banares@unizar.es

Más detalles

ESPECIFICACIÓN Y TRAZABILIDAD DE REQUERIMIENTOS EN EL DESARROLLO DE APLICACIONES WEB

ESPECIFICACIÓN Y TRAZABILIDAD DE REQUERIMIENTOS EN EL DESARROLLO DE APLICACIONES WEB ESPECIFICACIÓN Y TRAZABILIDAD DE REQUERIMIENTOS EN EL DESARROLLO DE APLICACIONES WEB Ferraro, Maria de los Angeles a ; Medina, Yanina a* ; Dapozo, Gladys a ; Estayno, Marcelo b a Facultad de Ciencias Exactas

Más detalles

UNIVERSIDAD DEL VALLE FACULTAD DE INGENIERIA ESCUELA DE INGENIERÍA DE SISTEMAS Y COMPUTACIÓN MAESTRÍA EN INGENIERÍA DE SISTEMAS Y COMPUTACIÓN

UNIVERSIDAD DEL VALLE FACULTAD DE INGENIERIA ESCUELA DE INGENIERÍA DE SISTEMAS Y COMPUTACIÓN MAESTRÍA EN INGENIERÍA DE SISTEMAS Y COMPUTACIÓN UNIVERSIDAD DEL VALLE FACULTAD DE INGENIERIA ESCUELA DE INGENIERÍA DE SISTEMAS Y COMPUTACIÓN MAESTRÍA EN INGENIERÍA DE SISTEMAS Y COMPUTACIÓN CURSO: FUNDAMENTOS DE SISTEMAS DISTRIBUIDOS CONTENIDO DEL CURSO

Más detalles

Diseño e Implementación de un Sistema de Administración de la Calidad del Software para una Institución Financiera

Diseño e Implementación de un Sistema de Administración de la Calidad del Software para una Institución Financiera Diseño e Implementación de un Sistema de Administración de la Calidad del para una Institución Financiera Marcelo Jenkins Escuela de Ciencias de la Computación e Informática Universidad de Costa Rica San

Más detalles

DEPARTAMENTO: Computación y Diseño NOMBRE DEL CURSO: Diseño de Sistemas Interactivos CLAVE: 1058M ACADEMIA A LA QUE PERTENECE: Análisis y Diseño

DEPARTAMENTO: Computación y Diseño NOMBRE DEL CURSO: Diseño de Sistemas Interactivos CLAVE: 1058M ACADEMIA A LA QUE PERTENECE: Análisis y Diseño PROGRAMA DE CURSO Modelo 2009 DEPARTAMENTO: Computación y Diseño NOMBRE DEL CURSO: Diseño de Sistemas Interactivos CLAVE: 1058M ACADEMIA A LA QUE PERTENECE: Análisis y Diseño PROFESIONAL ASOCIADO Y LICENCIATURA

Más detalles

PROGRAMA CONTENIDOS. Laudon, Kenneth C. y Laudon, Jane P. - SISTEMAS DE INFORMACIÓN GERENCIAL Editorial Prentice Hall, sexta edición 2002.

PROGRAMA CONTENIDOS. Laudon, Kenneth C. y Laudon, Jane P. - SISTEMAS DE INFORMACIÓN GERENCIAL Editorial Prentice Hall, sexta edición 2002. PROGRAMA 1) OBJETIVOS DE LA ASIGNATURA Que el Estudiante forme su criterio profesional integrando los conocimientos y experiencia práctica necesarios para poder construir e implementar un Sistema de Información

Más detalles

Fomentando el uso de herramientas en las actividades de Gestión de Proyectos de Software

Fomentando el uso de herramientas en las actividades de Gestión de Proyectos de Software Fomentando el uso de herramientas en las actividades de Gestión de Proyectos de Software Marcela Daniele, Paola Martellotto y Daniel Romero Departamento de Computación, Universidad Nacional de Río Cuarto

Más detalles

Técnico Certified Software Engineer Professional (CSIP)

Técnico Certified Software Engineer Professional (CSIP) Técnico Certified Software Engineer Professional (CSIP) Dirigido a: Profesionales de la ingeniería de sistemas Estudiantes universitarios de ingeniería en sistemas Requisitos: Requisitos para aplicar a

Más detalles

GUÍA DOCENTE DE LA ASIGNATURA

GUÍA DOCENTE DE LA ASIGNATURA GUÍA DOCENTE DE LA ASIGNATURA G664 - Ingeniería de Requisitos Grado en Ingeniería Informática Optativa. Curso Curso Académico 015-016 1 1. DATOS IDENTIFICATIVOS Título/s Grado en Ingeniería Informática

Más detalles

Proceso de Arquitectura de Software. Segunda. Semana. Dr. Cuauhtémoc Lemus Olalde. Noviembre 7, 2002. Informática

Proceso de Arquitectura de Software. Segunda. Semana. Dr. Cuauhtémoc Lemus Olalde. Noviembre 7, 2002. Informática Segunda Semana de Informática Proceso de Arquitectura de Software Dr. Cuauhtémoc Lemus Olalde Noviembre 7, 2002 Desarrollo Tradicional Requerimientos Diseño Codificación e Integración Prueba y Aceptación

Más detalles

3. OBJETIVOS. 3.1. Objetivos. Objetivos generales del título. Objetivos específicos del título

3. OBJETIVOS. 3.1. Objetivos. Objetivos generales del título. Objetivos específicos del título 3. OBJETIVOS 3.1. Objetivos Objetivos generales del título De acuerdo con lo establecido en el Libro Blanco y el acuerdo del plenario de la Conferencia de Directores y Decanos de Informática (Zaragoza,

Más detalles

Evolución de Plantillas Genéricas para la descripción de Casos de Uso a Plantillas Genéricas para Análisis y Diseño

Evolución de Plantillas Genéricas para la descripción de Casos de Uso a Plantillas Genéricas para Análisis y Diseño Evolución de Plantillas Genéricas para la descripción de Casos de Uso a Plantillas Genéricas para Análisis y Diseño Ing. Marcela Daniele AC. Daniel Romero Dpto. de Computación. Facultad: Ciencias Exactas,

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

Los Modelos en la Ingeniería de Sistemas

Los Modelos en la Ingeniería de Sistemas Fernández Sánchez, José Luis Los Modelos en la Ingeniería de Sistemas Área de Proyectos de Ingeniería E.T.S. Ingenieros Industriales Universidad Politécnica de Madrid C/José Gutiérrez Abascal 2 28006 Madrid

Más detalles

Cómo citar el artículo Número completo Más información del artículo Página de la revista en redalyc.org

Cómo citar el artículo Número completo Más información del artículo Página de la revista en redalyc.org REICIS. Revista Española de Innovación, Calidad e Ingeniería del Software E-ISSN: 1885-4486 reicis@ati.es Asociación de Técnicos de Informática España Mesquida, Antoni Lluís; Mas, Antònia; Amengual, Esperança;

Más detalles