Modelado de Sistemas de Tiempo Real

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

Download "Modelado de Sistemas de Tiempo Real"

Transcripción

1 MSc. Ing. Daniel Calegari García Grupo COAL Instituto de Computación Universidad de la República

2 Introito Prólogo No soy experto en el tema, solo tengo alguna idea a raíz de trabajos de investigación que he estado realizando. Por ende, mi objetivo es dar una visión parcial y en amplitud de de un tema relacionado con la asignatura de forma tal de: mostrar un área de trabajo que no se suele ver en la carrera despertar su curiosidad complementar el contenido de la asignatura

3 Sistemas Embebidos Sistemas Embebidos Sistemas de Tiempo Real Modelado de Sistemas Firmware es un software que se encuentra embebido (o integrado) en un dispositivo de hardware, por ejemplo en un microcontrolador. Por lo general, los sistemas embebidos deben: ser confiables: baja tasa de fallas y alta disponibilidad ser eficientes en el uso de recursos: energía, tamaño de código, peso, costo cumplir con restricciones de tiempo

4 Sistemas de Tiempo Real Sistemas Embebidos Sistemas de Tiempo Real Modelado de Sistemas "Sistema informático que mantiene una relación interactiva y temporizada con su entorno"(selic, 1999) Relación interactiva: El sistema debe disponer de interfases que permitan intercambiar estímulos con el entorno Relación temporizada: Además de la correctitud funcional, se deben considerar las restricciones temporales

5 Sistemas de Tiempo Real (2) Sistemas Embebidos Sistemas de Tiempo Real Modelado de Sistemas Concurrencia: sincronización para evitar problemas como deadlocks y posposición indefinida Distribución: fiabilidad y latencia de las comunicaciones, así como a la probabilidad de fallo Estructura Interna Dinámica: configuración dinámica en sistemas tolerantes a fallos

6 Modelado de Sistemas Sistemas Embebidos Sistemas de Tiempo Real Modelado de Sistemas Un sistema se modela para poder manejar su complejidad: Servir de ayuda para el desarrollo de la tarea (uno mismo) Visualizar lo hecho hasta el momento (uno mismo) Comunicar el avance obtenido (el cliente y el equipo de desarrollo) Documentar el desarrollo de la aplicación (el equipo de desarrollo)

7 Porqué modelar? Porqué modelar? Qué modelar? Es deseable un desarrollo lo más rápido y menos costoso posible Un error es más caro y complejo de encontrar y resolver después de la liberación del sistema al usuario Es muy importante evaluar la calidad de los sistemas conforme avanza su desarrollo.

8 Niveles de Modelado Porqué modelar? Qué modelar? Nivel 0: especificación informal Nivel 1: especificación formal (uso de técnicas con base matemática, para la especificación, diseño y construcción del sistema) Nivel 2: construcción manipulando la especificación y verificación con argumentos matemáticos Nivel 3: prueba de propiedades

9 Métodos Formales Porqué modelar? Qué modelar? Los niveles 1 al 3 se relacionan con la noción de métodos formales. In computer science, formal methods refers to mathematically based techniques for the specification, development and verification of software and hardware systems. The approach is especially important in high-integrity systems, for example where safety or security is important, to help ensure that errors are not introduced into the development process. Formal methods are particularly effective early in development at the requirements and specification levels, but can be used for a completely formal development of an implementation (e.g., a program).

10 Seven Myths of Formal Methods Porqué modelar? Qué modelar? J.A. Hall, Seven Myths of Formal Methods. IEEE Software, 7(5):11-19, September Formal methods can guarantee that software is perfect. 2 Only highly critical systems benefit from their use. 3 They involve complex mathematics. 4 Nobody uses them for real projects. J.P. Bowen and M.G. Hinchey, Seven More Myths of Formal Methods. IEEE Software, 12(4):34-41, July Formal methods delay the development process. 6 Formal methods lack tools. 7 Formal method only apply to software.

11 Qué modelar? Prólogo Porqué modelar? Qué modelar? Más allá de los requerimientos funcionales, son los no funcionales (atributos de calidad) los que tienen un gran impacto en el diseño de un sistema de tiempo real. distribución de los componentes de hardware y protocolos de comunicación entre ellos restricciones temporales que afectan el desempeño del sistema (performance) concurrencia y sincronización en el acceso a recursos compartidos planning y scheduling de tareas propiedades generales (liveness y safety)

12 Porqué modelar? Qué modelar? Modelos teóricos: Grafos Temporizados, FOCUS [Bro02], SDL (Specification and Description Language) Description Language), Prototipos ad hoc [?] Modelos gráficos: UML Profile for Schedulability, Performance, and Time [UML], UML Profile for System on a Chip [MM05] Herramientas de Verificación: Kronos, UPPAAL [UPP] Simulación: SystemC [Sys], VHDL (VHSIC Hardware Description Language)

13 Modelo Teórico :: FOCUS :: Heater Control Porqué modelar? Qué modelar?

14 Porqué modelar? Qué modelar? Modelo Gráfico :: UML Profile for SPT :: Web-Based Video-Streaming Application

15 Porqué modelar? Qué modelar? Herramientas de Verificación :: UPPAAL :: Bang and Olufsen Audio/Video Protocol Dos emisores de datos a través de un bus (generadores de frames, observadores de bus y detectores de colisiones) Criterio de correctitud del protocolo: A[] (A.eof == 1 imply (A.diff == 0 and B.res == 0)) Whenever (A[]) a frame has been sent (A.eof equals 1), the sent frame must be intact (A.diff equals 0), and other senders must not have discovered a collision (B.res equals 0)

16 Porqué modelar? Qué modelar? Simulación :: SystemC :: UML Profile for SoC Design (Clock and Reset)

17 Y ahora? Prólogo Y ahora? Desarrollo Dirigido por Modelos He modelado el sistema que deseo y lo he verificado Deseo implementarlo sin cometer errores Desearía no tener que verificar también la implementación Para ello necesitaría definir una transformación formal entre mis modelos y el código para una plataforma determinada

18 Desarrollo Dirigido por Modelos Y ahora? Desarrollo Dirigido por Modelos Un enfoque es considerar a los modelos como especificaciones ejecutables => Usando un entorno de desarrollo unificado => Enlazando directamente los requerimientos con el diseño => Integrando testing con diseño para identificar y corregir errores => Simulando el sistema a construir para mejorar su diseño => Generando automáticamente el código embebido

19 Desarrollo Dirigido por Modelos MathWorks :: Real-Time Workshop Embedded Coder Y ahora? Desarrollo Dirigido por Modelos El producto Real-Time Workshop Embedded Coder genera código C para varias plataformas a partir de modelos Permite especificar modelos gráficos de estructura y comportamiento Posee herramienta de verificación y documentación de código Genera código ANSI/ISO C y C++ Incorpora librería de optimización para el lenguaje objetivo Permite ejecutar el código en el ambiente de producción y generar reportes de ejecución Existe una librería para PIC (http://www.kerhuel.eu/rtwdspic/)

20 Desarrollo Dirigido por Modelos MathWorks :: Real-Time Workshop Embedded Coder Y ahora? Desarrollo Dirigido por Modelos

21 Resumen Prólogo Resumen Bibliografía Realizar modelos de un sistema previa construcción del mismo puede ser beneficioso, más aún en un entorno complejo como el de sistemas de tiempo real. Existen diferentes niveles en los cuales se puede modelar. Además, existen múltiples alternativas. La elección depende principalmente del propósito del modelo. Un propósito habitual es permitir en última instancia generar el código para la ejecución del sistema en cierta plataforma. Para ello es conveniente contar con alguna herramienta de soporte.

22 Bibliografía Prólogo Resumen Bibliografía [Bro02] M. Broy et al. The Design of Distributed Systems, An Introduction to Focus Technical Report TUM-I9202, Technische Universität München, [MM05] G. Martin and W. Muller. UML for SOC Design Birkhäuser Publisher, ISBN , [Sys] SystemC. [Mat] MathWorks Real-Time Workshop Embedded Coder. [UML] UML Resource Page. [UPP] UPPAAL web site.

23 Defer no time, delays have dangerous ends W. Shakespeare

UNIVERSIDAD DEL VALLE DE MÉXICO PROGRAMA DE ESTUDIO DE LICENCIATURA PRAXIS MES XXI

UNIVERSIDAD DEL VALLE DE MÉXICO PROGRAMA DE ESTUDIO DE LICENCIATURA PRAXIS MES XXI UNIVERSIDAD DEL VALLE DE MÉXICO PROGRAMA DE ESTUDIO DE LICENCIATURA PRAXIS MES XXI NOMBRE DE LA ASIGNATURA: INTERCONEXIONES DE LOS SISTEMAS FECHA DE ELABORACIÓN: MARZO 2005 ÁREA DEL PLAN DE ESTUDIOS: AS

Más detalles

PROGRAMA DE ESTUDIO. señales Programas académicos en los que se imparte: Ingeniería Eléctrica-Electrónica

PROGRAMA DE ESTUDIO. señales Programas académicos en los que se imparte: Ingeniería Eléctrica-Electrónica PROGRAMA DE ESTUDIO Nombre de la asignatura: SISTEMAS EN TIEMPO REAL Clave: SDI05 Ciclo Formativo: Básico ( ) Profesional ( ) Especializado ( X ) Fecha de elaboración: marzo 2015 Horas Horas Horas de Horas

Más detalles

Introducción En este apartado se va a proporcionar una apreciación global del SRS.

Introducción En este apartado se va a proporcionar una apreciación global del SRS. INTRODUCCIÓN Se pretende desarrollar una aplicación web para la gestión de un restaurante que ofrece espectáculos en fechas determinadas con el fin de poner en práctica los principios de planificació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

Servidores Donantonio

Servidores Donantonio Especificación de requisitos software Tabla de contenidos Juan José Amor David Escorial Ismael Olea 1. Introducción...3 1.1. Propósito...3 1.2. Ámbito del sistema...3 1.3. Definiciones, acrónimos y abreviaturas...3

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

Clientes Donantonio. Especificación de requisitos software. Juan José Amor David Escorial Ismael Olea

Clientes Donantonio. Especificación de requisitos software. Juan José Amor David Escorial Ismael Olea Especificación de requisitos software Tabla de contenidos Juan José Amor David Escorial Ismael Olea 1. Introducción...3 1.1. Propósito...3 1.2. Ámbito del sistema...3 1.3. Definiciones, acrónimos y abreviaturas...3

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

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

DISEÑO DE UN CURSO INTERACTIVO Y ADAPTATIVO DE PROCESADORES DE LENGUAJES

DISEÑO DE UN CURSO INTERACTIVO Y ADAPTATIVO DE PROCESADORES DE LENGUAJES Alfonseca, M., Carro, R.M., Pulido, E. and Rodríguez, P. (2000): Diseño de un curso interactivo y adaptativo de procesadores de lenguajes. Proceedings of JENUI 2000: VI Jornadas sobre la Enseñanza Universitaria

Más detalles

Universidad Nacional del Sur Departamento de Ciencias e Ingeniería de la Computación Análisis y Diseño de Sistemas 1er.Cuatrimestre de 2006.

Universidad Nacional del Sur Departamento de Ciencias e Ingeniería de la Computación Análisis y Diseño de Sistemas 1er.Cuatrimestre de 2006. Análisis y Diseño de Sistemas Dpto. Ciencias e Ingeniería de la Computación Universidad Nacional del Sur Clase 2 Calidades del producto y del proceso Lic. María Mercedes Vitturini [mvitturi@cs.uns.edu.ar]

Más detalles

SYLLABUS. NUMERO DE ESTUDIANTES: NÚMERO DE CREDITOS: Tres (3) TIPO DE CURSO: TEÓRICO ( ) PRACTICO ( ) TEO-PRAC (X)

SYLLABUS. NUMERO DE ESTUDIANTES: NÚMERO DE CREDITOS: Tres (3) TIPO DE CURSO: TEÓRICO ( ) PRACTICO ( ) TEO-PRAC (X) UNIVERSIDAD DISTRITAL FRANCISCO JOSÉ DE CALDAS FACULTAD DE INGENIERÍA SYLLABUS PROYECTO CURRICULAR: Ingeniería de Sistemas NOMBRE DEL DOCENTE: ESPACIO ACADÉMICO (Asignatura): Bases de Datos II Obligatorio

Más detalles

LIBRO GUIA: Embedded system design, By Peter Marwedel, Building embedded Linux systems By Karim Yaghmour

LIBRO GUIA: Embedded system design, By Peter Marwedel, Building embedded Linux systems By Karim Yaghmour I UNIVERSIDAD TECNOLOGICA DE PEREIRA FACULTAD DE INGENIRÍAS: ELÉCTRICA, ELECTRÓNICA FÍSICA Y CIENCIAS DE LA COMPUTACIÓN PROGRAMA INGENIERIA DE SISTEMAS Y COMPUTACION ASIGNATURA: Microcontroladores y Control

Más detalles

Modelos de los sistemas distribuidos. Jorge Iván Meza Martínez jimezam@gmail.com

Modelos de los sistemas distribuidos. Jorge Iván Meza Martínez jimezam@gmail.com Modelos de los sistemas distribuidos Jorge Iván Meza Martínez jimezam@gmail.com Especialización en Gestión de Redes de Datos Universidad Nacional de Colombia Sede Manizales 1/36 Contenidos Modelo arquitectónico

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

Plan docente. Laboratorio de Diseño Digital (16311/17186)

Plan docente. Laboratorio de Diseño Digital (16311/17186) Plan docente Asignatura: Laboratorio de Diseño Digital (16311/17186) Profesores: Andoni Arruti Illarramendi Carlos Amuchástegui Uriarte Izaskun Etxeberria Uztarroz Amaya Ibarra Lasa 1 INDICE 1/ DATOS MATERIA.

Más detalles

MODELOS DE PRUEBAS PARA PRUEBAS DEL SISTEMA

MODELOS DE PRUEBAS PARA PRUEBAS DEL SISTEMA XV Jornadas de Ingeniería del Software y Bases de Datos JISBD 2006 José Riquelme - Pere Botella (Eds) CIMNE, Barcelona, 2006 MODELOS DE PRUEBAS PARA PRUEBAS DEL SISTEMA Javier J. Gutiérrez, María J. Escalona,

Más detalles

INFORME TÉCNICO PREVIO DE EVALUACIÓN DE SOFTWARE N 015-2012 SOFTWARE DE VIRTUALIZACIÓN

INFORME TÉCNICO PREVIO DE EVALUACIÓN DE SOFTWARE N 015-2012 SOFTWARE DE VIRTUALIZACIÓN INFORME TÉCNICO PREVIO DE EVALUACIÓN DE SOFTWARE N 01-2012 SOFTWARE DE VIRTUALIZACIÓN I. NOMBRE DEL ÁREA El área encargada de la evaluación técnica para la adquisición de software es la Unidad de Tecnologías

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

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

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

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

Programación del curso

Programación del curso Ingeniería Software 4º Físicas Programación del curso José M. Drake (drakej@unican.es) Patricia López Martínez ( lopezpa@unican.es ) Computadores y Tiempo Real Santander, 2008 Ingeniería de Programación

Más detalles

Asignatura: SISTEMAS EN TIEMPO REAL Código: 40007318 Año académico: 2009/2010 Centro:

Asignatura: SISTEMAS EN TIEMPO REAL Código: 40007318 Año académico: 2009/2010 Centro: Asignatura: SISTEMAS EN TIEMPO REAL Código: 40007318 Año académico: 2009/2010 Centro: ESCUELA POLITÉCNICA SUPERIOR Departamento: LENGUAJES Y COMPUTACIÓN Área: INGENIERÍA DE SISTEMAS Y AUTOMÁTICA Titulació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

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

Documento de Competencias. Facultad de Informática, UPV/EHU. 1 Estructura general del Grado TE1 TE2 TE3 TE4 TE5 TE6 TE7 TE8

Documento de Competencias. Facultad de Informática, UPV/EHU. 1 Estructura general del Grado TE1 TE2 TE3 TE4 TE5 TE6 TE7 TE8 Documento de Competencias Grado en INGENIERÍA INFORMÁTICA Facultad de Informática, UPV/EHU 1 Estructura general del Grado 1.1 Fundamentos de Tecnología de los Principios de Diseño de Sistemas Digitales

Más detalles

Modeling Real-Time Networks with MAST2

Modeling Real-Time Networks with MAST2 Modeling Real-Time Networks with MAST2 WATERS 2011 July 2011, Porto, Portugal Michael González Harbour, J. Javier Gutiérrez, J. María Drake, Patricia López and J. Carlos Palencia mgh@unican.es www.ctr.unican.es

Más detalles

DESARROLLO DE UN COLECTOR DE DATOS PORTÁTIL

DESARROLLO DE UN COLECTOR DE DATOS PORTÁTIL DESARROLLO DE UN COLECTOR DE DATOS PORTÁTIL H. Nelson Acosta, Marcelo A. Tosini y José A. Marone { nacosta, mtosini, jmarone }@exa.unicen.edu.ar Facultad de Ciencias Exactas UNICEN / Redimec S.R.L. Tandil

Más detalles

Sistema GRAFIFUN. Introducción. 1. Decisiones Didácticas Previas. 2. Descripción Software GrafiFun. Informe Final GRAFIFUN

Sistema GRAFIFUN. Introducción. 1. Decisiones Didácticas Previas. 2. Descripción Software GrafiFun. Informe Final GRAFIFUN Mg. Bilbao Martin, Alumno González Mauro Hoja 1 Introducción Sistema GRAFIFUN El proyecto de investigación 686/2007 AyD SEC CHA (de Análisis y Desarrollo de un Sistema de Enlaces Conceptuales y Aplicativos

Más detalles

Centro de Ingeniería de Software I+D Universidad Autónoma de Ciudad Juárez Instituto de Ingeniería y Tecnología. luis felipe fernández mtz.

Centro de Ingeniería de Software I+D Universidad Autónoma de Ciudad Juárez Instituto de Ingeniería y Tecnología. luis felipe fernández mtz. Centro de Ingeniería de Software I+D Universidad Autónoma de Ciudad Juárez Instituto de Ingeniería y Tecnología luis felipe fernández mtz. El estado del arte de la enseñanza de la AS: A vuelo de pájaro

Más detalles

ANALISIS Y DISEÑO DE SISTEMAS EN TIEMPO REAL

ANALISIS Y DISEÑO DE SISTEMAS EN TIEMPO REAL LICENCIATURA EN SISTEMAS ANALISIS Y DISEÑO DE SISTEMAS EN TIEMPO REAL Lic. Carlos Imparato - Lic. Andrés Shokida ADTR-ApunteProg-2011.doc 0 / 40ADTR Cód. 32-407 SISTEMAS DE TIEMPO REAL (STR / RTS) Definición

Más detalles

UML El Lenguaje de Modelado Unificado. Maestría en Ingeniería de Software

UML El Lenguaje de Modelado Unificado. Maestría en Ingeniería de Software UML El Lenguaje de Modelado Unificado Maestría en Ingeniería de Software Agenda Model Driven Architecture (MDA) Unified Model Language (UML) Object Constraint Language (OCL) Patrones Conclusiones Contenido

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 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

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

Investigación en DDS

Investigación en DDS Grupo de Ingeniería Telemática Universidad de Granada Investigación en DDS 1 Esquema Equipo DDS Proyectos en UGR con DDS Publicaciones Demostrador Propuesta de investigación Información de Contacto 2 Equipo

Más detalles

Introducción al Unified Process. Curso IIC 2143 Ingeniería de Software Rodrigo Sandoval 2010

Introducción al Unified Process. Curso IIC 2143 Ingeniería de Software Rodrigo Sandoval 2010 Introducción al Unified Process Curso IIC 2143 Ingeniería de Software Rodrigo Sandoval 2010 Unified Process - UP Un framework de Proceso de Desarrollo de Software, una de cuyas versiones es el más documentado

Más detalles

http://www.statum.biz http://www.statum.info http://www.statum.org

http://www.statum.biz http://www.statum.info http://www.statum.org ApiaMonitor Monitor de Infraestructura BPMS Por: Ing. Manuel Cabanelas Product Manager de Apia Manuel.Cabanelas@statum.biz http://www.statum.biz http://www.statum.info http://www.statum.org Abstract A

Más detalles

SÍLABO. : Obligatorio : Ingeniería de Sistemas : IS0704. : VII Ciclo : 03 Teoría y 02 Práctica : 04 : Lenguaje de Programación II

SÍLABO. : Obligatorio : Ingeniería de Sistemas : IS0704. : VII Ciclo : 03 Teoría y 02 Práctica : 04 : Lenguaje de Programación II SÍLABO I. DATOS GENERALES 1.1. Nombre de la Asignatura 1.2. Carácter 1.3. Carrera Profesional 1.4. Código 1.5. Semestre Académico : 2014-I 1.6. Ciclo Académico 1.7. Horas de Clases 1.8. Créditos 1.9. Pre

Más detalles

CLASE 2: INTRODUCCIÓN A LA ING. DE SOFTWARE. MODELOS DE PROCESOS. MEJORES PRÁCTICAS. USB Ing. De Software. Prof. I. C. Martínez

CLASE 2: INTRODUCCIÓN A LA ING. DE SOFTWARE. MODELOS DE PROCESOS. MEJORES PRÁCTICAS. USB Ing. De Software. Prof. I. C. Martínez CLASE 2: INTRODUCCIÓN A LA ING. DE SOFTWARE. MODELOS DE PROCESOS. MEJORES PRÁCTICAS USB Ing. De Software. Prof. I. C. Martínez Ing. De Software Ingeniería de Software La Ingeniería de Software es la ciencia

Más detalles

rg.o El l c i c c i l c o l o de d vi v d i a d a cm a l@ rza e de d u n u n si s s i t s e t ma m a de d in i f n or o ma m c a i c ó i n ó b

rg.o El l c i c c i l c o l o de d vi v d i a d a cm a l@ rza e de d u n u n si s s i t s e t ma m a de d in i f n or o ma m c a i c ó i n ó b El ciclo de vida de un sistema de información El ciclo de vida de un sistema de información El proceso de desarrollo de software Modelos de ciclo de vida El ciclo de vida de una base de datos El proceso

Más detalles

DESARROLLO DE SOFTWARE ORIENTADO. A OBJETOS: Modelo de requerimientos del RUP

DESARROLLO DE SOFTWARE ORIENTADO. A OBJETOS: Modelo de requerimientos del RUP DESARROLLO DE SOFTWARE ORIENTADO A OBJETOS: Modelo de requerimientos del RUP Adesmiro Zelada Escobedo 1*, Miguel Figueroa Martel 2 * 1 Facultad de Ingeniería y Arquitectura, Universidad Peruana Unión *

Más detalles

Implantación de Sistemas

Implantación de Sistemas Implantación de Sistemas Maria Ines Parnisari 17 de Diciembre de 2014 Índice Parte 1: Implantación... 2 Factores clave para una implantación exitosa... 2 Etapas de un proyecto de Sistemas... 2 Fases de

Más detalles

COMPUTACIÓN DE ALTA PERFORMANCE

COMPUTACIÓN DE ALTA PERFORMANCE COMPUTACIÓN DE ALTA PERFORMANCE 2011 1 TOLERANCIA A FALLOS COMPUTACIÓN DE ALTA PERFORMANCE Curso 2011 Sergio Nesmachnow (sergion@fing.edu.uy) Santiago Iturriaga (siturria@fing.edu.uy) Gerardo Ares (gares@fing.edu.uy)

Más detalles

Guía Docente 2014/2015

Guía Docente 2014/2015 Guía Docente 2014/2015 SISTEMAS DE GESTIÓN DE BASES DE DATOS DATABASE MANGEMENT SYSTEMS Grado en Ingeniería Civil Modalidad de enseñanza presencial lf: Índice SISTEMAS DE GESTIÓN DE BASES DE DATOS...3

Más detalles

Tecnologías de Gestión de Datos para Empower Consiga mas de su Sistema de Datos Cromatográficos

Tecnologías de Gestión de Datos para Empower Consiga mas de su Sistema de Datos Cromatográficos Tecnologías de Gestión de Datos para Empower Consiga mas de su Sistema de Datos Cromatográficos 2012 Waters Corporation 1 Tecnologías e Gestión de Datos para Empower Automatizar las Tareas Administrativas

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

Palabras clave: Eficiencia, Pruebas de Software, Herramientas.

Palabras clave: Eficiencia, Pruebas de Software, Herramientas. Evaluación de la Eficiencia en Productos de Software. Experiencia desde el Departamento de Evaluación de Productos de Software de CALISOFT. Evaluation of the efficiency in Software Products. Experience

Más detalles

TÉCNICO SUPERIOR UNIVERSITARIO EN TECNOLOGÍAS DE LA INFORMACIÓN Y COMUNICACIÓN AREA SISTEMAS INFORMATICOS

TÉCNICO SUPERIOR UNIVERSITARIO EN TECNOLOGÍAS DE LA INFORMACIÓN Y COMUNICACIÓN AREA SISTEMAS INFORMATICOS TÉCNICO SUPERIOR UNIVERSITARIO EN TECNOLOGÍAS DE LA INFORMACIÓN Y COMUNICACIÓN AREA SISTEMAS INFORMATICOS HOJA DE ASIGNATURA CON DESGLOSE DE UNIDADES TEMÁTICAS 1. Nombre de la asignatura Desarrollo de

Más detalles

GLOSARIO. Arquitectura: Funcionamiento, estructura y diseño de una plataforma de desarrollo.

GLOSARIO. Arquitectura: Funcionamiento, estructura y diseño de una plataforma de desarrollo. GLOSARIO Actor: Un actor es un usuario del sistema. Esto incluye usuarios humanos y otros sistemas computacionales. Un actor usa un Caso de Uso para ejecutar una porción de trabajo de valor para el negocio.

Más detalles

Unidad Didáctica 1: Introducción y conceptos básicos (test de software embebido) Sistemas embebidos para tiempo real

Unidad Didáctica 1: Introducción y conceptos básicos (test de software embebido) Sistemas embebidos para tiempo real Unidad Didáctica 1: Introducción y conceptos básicos (test de software embebido) Sistemas embebidos para tiempo real Agenda Test de software embebido Conceptos generales Tipos de test Técnicas de depuración

Más detalles

UNIVERSIDAD DE GUAYAQUIL Facultad de Ciencias Matemáticas y Físicas Carrera de Ingeniería en Sistemas Computacionales TESIS DE GRADO

UNIVERSIDAD DE GUAYAQUIL Facultad de Ciencias Matemáticas y Físicas Carrera de Ingeniería en Sistemas Computacionales TESIS DE GRADO UNIVERSIDAD DE GUAYAQUIL Facultad de Ciencias Matemáticas y Físicas Carrera de Ingeniería en Sistemas Computacionales IMPLEMENTAR EL CONSUMO DE SERVICIOS VÍA WEB SERVICES DE LA INFORMACIÓN ALMACENADA EN

Más detalles

XII JICS 25 y 26 de noviembre de 2010

XII JICS 25 y 26 de noviembre de 2010 Sistema de Gestión Integrado según las normas ISO 9001, ISO/IEC 20000 e ISO/IEC 27001TI Antoni Lluís Mesquida, Antònia Mas, Esperança Amengual, Ignacio Cabestrero XII Jornadas de Innovación y Calidad del

Más detalles

TÉCNICO SUPERIOR UNIVERSITARIO EN TECNOLOGÍAS DE LA INFORMACIÓN Y COMUNICACIÓN AREA SISTEMAS INFORMATICOS

TÉCNICO SUPERIOR UNIVERSITARIO EN TECNOLOGÍAS DE LA INFORMACIÓN Y COMUNICACIÓN AREA SISTEMAS INFORMATICOS TÉCNICO SUPERIOR UNIVERSITARIO EN TECNOLOGÍAS DE LA INFORMACIÓN Y COMUNICACIÓN AREA SISTEMAS INFORMATICOS HOJA DE ASIGNATURA CON DESGLOSE DE UNIDADES TEMÁTICAS Pág. 1 de 25 1. Nombre de la asignatura Desarrollo

Más detalles

SÍNTESIS DE SISTEMAS DE CONTROL DIFUSOS MEDIANTE HERRAMIENTAS DE DISEÑO DSP SOBRE FPGAS 1

SÍNTESIS DE SISTEMAS DE CONTROL DIFUSOS MEDIANTE HERRAMIENTAS DE DISEÑO DSP SOBRE FPGAS 1 SÍNTESIS DE SISTEMAS DE CONTROL DIFUSOS MEDIANTE HERRAMIENTAS DE DISEÑO DSP SOBRE FPGAS 1 S. Sánchez-Solano 1, M. Brox 2, A. Cabrera 3 1 Instituto de Microelectrónica de Sevilla (CNM-CSIC). Sevilla, España.

Más detalles

Gerencia de Procesos de Negocio (Business Process Management, BPM). Lic. Patricia Palacios Zuleta

Gerencia de Procesos de Negocio (Business Process Management, BPM). Lic. Patricia Palacios Zuleta Gerencia de Procesos de Negocio (Business Process Management, BPM). Lic. Patricia Palacios Zuleta (Business Process Management, BPM). La Gerencia de los Procesos del Negocio: Se define como: "integración

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

Propuestas de Proyectos de Grado 2014

Propuestas de Proyectos de Grado 2014 Propuestas de Proyectos de Grado 2014 Laboratorio de Integración de Sistemas 26 de Febrero, 2014 Instituto de Computación Facultad de Ingeniería Universidad de la República de Uruguay Laboratorio de Integración

Más detalles

UNIVERSIDAD DEL VALLE DE MÉXICO PROGRAMA DE ESTUDIO DE LICENCIATURA PRAXIS MES XXI

UNIVERSIDAD DEL VALLE DE MÉXICO PROGRAMA DE ESTUDIO DE LICENCIATURA PRAXIS MES XXI UNIVERSIDAD DEL VALLE DE MÉXICO PROGRAMA DE ESTUDIO DE LICENCIATURA PRAXIS MES XXI NOMBRE DE LA ASIGNATURA: BASES DE DATOS PORTABLES FECHA DE ELABORACIÓN: ENERO 2005 ÁREA DEL PLAN DE ESTUDIOS: AS ( ) AC

Más detalles

SINTESIS Y DESCRIPCIÓN DE CIRCUITOS DIGITALES UTILIZANDO VHDL ANTECEDENTES

SINTESIS Y DESCRIPCIÓN DE CIRCUITOS DIGITALES UTILIZANDO VHDL ANTECEDENTES ANTECEDENTES En los últimos diez años la industria electrónica ha tenido una gran evolución en el desarrollo de sistemas digitales; desde computadoras personales, sistemas de audio y vídeo hasta dispositivos

Más detalles

COLEGIO COLOMBO BRITÁNICO SECCIÓN BACHILLERATO PLAN DE ESTUDIOS 2013-2014. Technology. Asignatura. Grado Octavo Trimestre 1

COLEGIO COLOMBO BRITÁNICO SECCIÓN BACHILLERATO PLAN DE ESTUDIOS 2013-2014. Technology. Asignatura. Grado Octavo Trimestre 1 COLEGIO COLOMBO BRITÁNICO SECCIÓN BACHILLERATO PLAN DE ESTUDIOS 2013-2014 Asignatura Technology Grado Octavo Trimestre 1 LAS COMPETENCIAS POR COMPONENTE Al final de Bachillerato los estudiantes debieran

Más detalles

TÉCNICO SUPERIOR UNIVERSITARIO EN TECNOLOGÍAS DE LA INFORMACIÓN Y COMUNICACIÓN: ÁREA SISTEMAS INFORMÁTICOS.

TÉCNICO SUPERIOR UNIVERSITARIO EN TECNOLOGÍAS DE LA INFORMACIÓN Y COMUNICACIÓN: ÁREA SISTEMAS INFORMÁTICOS. TÉCNICO SUPERIOR UNIVERSITARIO EN TECNOLOGÍAS DE LA INFORMACIÓN Y COMUNICACIÓN: ÁREA SISTEMAS INFORMÁTICOS. HOJA DE ASIGNATURA CON DESGLOSE DE UNIDADES TEMÁTICAS Pág. 1 de 17 1. Nombre de la asignatura

Más detalles

Ingeniería de Software

Ingeniería de Software Ingeniería de Software MSDN Ingeniería de Software...1 Ingeniería del Software_/_ Ingeniería y Programación...1 Análisis de Requerimientos...2 Especificación...3 Diseño...4 Desarrollo en Equipo...5 Mantenimiento...6

Más detalles

Real Time Systems. Part 2: Cyclic schedulers. Real Time Systems. Francisco Martín Rico. URJC. 2011

Real Time Systems. Part 2: Cyclic schedulers. Real Time Systems. Francisco Martín Rico. URJC. 2011 Real Time Systems Part 2: Cyclic schedulers Scheduling To organise the use resources to guarantee the temporal requirements A scheduling method is composed by: An scheduling algorithm that calculates the

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

RECOMANACIONS/RECOMENDACIONES/RECOMMENDATIONS

RECOMANACIONS/RECOMENDACIONES/RECOMMENDATIONS RECOMANACIONS/RECOMENDACIONES/RECOMMENDATIONS CODI/ CÓDIGO/ CODE 34010 34015 34016 ASSIGNATURA/ ASIGNATURA/ SUBJECT Estructura dels Computadors/ Estructura de los Computadores/ Computer Structure Redes

Más detalles

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

Sistema de Control y Monitoreo Integrado con Wireless Application Protocol (WAP) Aplicación: Sistema de Seguridad

Sistema de Control y Monitoreo Integrado con Wireless Application Protocol (WAP) Aplicación: Sistema de Seguridad Sistema de Control y Monitoreo Integrado con Wireless Application Protocol (WAP) Aplicación: Sistema de Seguridad Autores: Hans Christian Guevara Parker (a811027@upc.edu.pe) Alejandro Real Espinoza (a610587@upc.edu.pe)

Más detalles

rg.o cm a Espec e i c fica c ci c ó i n ó n d e e r e r q e uer e i r mi m en e tos o l@ rza e b Di D s i e s ño d e b as a e s s s d e d at a o t s

rg.o cm a Espec e i c fica c ci c ó i n ó n d e e r e r q e uer e i r mi m en e tos o l@ rza e b Di D s i e s ño d e b as a e s s s d e d at a o t s Especificación de requerimientos Diseño de bases de datos Documento de especificación del sistema 1. Definición del problema 2. Descripción funcional 2. 3. Restricciones 4. Diagramas de flujo de datos

Más detalles

Pages: 171. Dr. Olga Torres Hostench. Chapters: 6

Pages: 171. Dr. Olga Torres Hostench. Chapters: 6 Pages: 171 Author: Dr. Olga Torres Hostench Chapters: 6 1 General description and objectives The aim of this course is to provide an in depth analysis and intensive practice the various computerbased technologies

Más detalles

1. Sign in to the website, http://www.asisonline.org / Iniciar sesión en el sitio, http://www.asisonline.org

1. Sign in to the website, http://www.asisonline.org / Iniciar sesión en el sitio, http://www.asisonline.org Steps to Download Standards & Guidelines from the ASIS International Website / Pasos para Descargar los Standards & Guidelines de la Página Web de ASIS International 1. Sign in to the website, http://www.asisonline.org

Más detalles

Ingeniería de Software. Diseño, construcción y mantenimiento de sistemas de software grandes.

Ingeniería de Software. Diseño, construcción y mantenimiento de sistemas de software grandes. Ingeniería de Software Diseño, construcción y mantenimiento de sistemas de software grandes. Ingeniería de Software El software actualmente da soporte a las economías de los países. Cada día se integran

Más detalles

Operating MATLAB by Internet

Operating MATLAB by Internet Operating MATLAB by Internet Bonifacio Castaño, Juan Llovet, Javier Sánchez University of Alcalá de Henares, Departament of mathematics. Abstract. In this work we demonstrate an interactive web-page, that

Más detalles

Guía Docente 2013-14

Guía Docente 2013-14 Guía Docente 2013-14 Auditoria y Peritaje Audit and computer expert witness Grado en Ingeniería Informática Presencial Rev. 10 Universidad Católica San Antonio de Murcia Tlf: (+34) 902 102 101 info@ucam.edu

Más detalles

Acerca de esté Catálogo

Acerca de esté Catálogo Catálogo de Cursos 2015 Acerca de esté Catálogo En el presente documento podrá obtenerse la información necesaria sobre la oferta de cursos que Manar Technologies S.A.S. y su línea de educación Campus

Más detalles

TÉCNICO SUPERIOR UNIVERSITARIO EN TECNOLOGÍAS DE LA INFORMACIÓN Y COMUNICACIÓN ÁREA SISTEMAS INFORMÁTICOS.

TÉCNICO SUPERIOR UNIVERSITARIO EN TECNOLOGÍAS DE LA INFORMACIÓN Y COMUNICACIÓN ÁREA SISTEMAS INFORMÁTICOS. TÉCNICO SUPERIOR UNIVERSITARIO EN TECNOLOGÍAS DE LA INFORMACIÓN Y COMUNICACIÓN ÁREA SISTEMAS INFORMÁTICOS. HOJA DE ASIGNATURA CON DESGLOSE DE UNIDADES TEMÁTICAS 1. Nombre de la asignatura Desarrollo de

Más detalles

Diseño Lógico I Facultad de Ciencias Exactas y Tecnología UNT. Introducción. Fabricantes. Elevada complejidad. Facilitar tareas de diseño

Diseño Lógico I Facultad de Ciencias Exactas y Tecnología UNT. Introducción. Fabricantes. Elevada complejidad. Facilitar tareas de diseño Introducción Fabricantes Elevada complejidad Facilitar tareas de diseño Herramientas CAD DESCRIPCIÓN GRÁFICA DEL MODELO DE DISEÑO DE SISTEMAS COMPLEJOS Proceso de diseño Simplificado Antes de realizar

Más detalles

TÉCNICO SUPERIOR UNIVERSITARIO EN TECNOLOGÍAS DE LA INFORMACIÓN Y COMUNICACIÓN ÁREA SISTEMAS INFORMÁTICOS.

TÉCNICO SUPERIOR UNIVERSITARIO EN TECNOLOGÍAS DE LA INFORMACIÓN Y COMUNICACIÓN ÁREA SISTEMAS INFORMÁTICOS. 1 de 26 TÉCNICO SUPERIOR UNIVERSITARIO EN TECNOLOGÍAS DE LA INFORMACIÓN Y COMUNICACIÓN ÁREA SISTEMAS INFORMÁTICOS. HOJA DE ASIGNATURA CON DESGLOSE DE UNIDADES TEMÁTICAS 1. Nombre de la asignatura Desarrollo

Más detalles

TECNICO SUPERIOR UNIVERSITARIO EN MECATRÓNICA

TECNICO SUPERIOR UNIVERSITARIO EN MECATRÓNICA TECNICO SUPERIOR UNIVERSITARIO EN MECATRÓNICA HOJA DE ASIGNATURA CON DESGLOSE DE UNIDADES TEMÁTICAS 1. Nombre de la asignatura Sistemas digitales 2. Competencias Desarrollar y conservar sistemas automatizados

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

Diseño de Sistemas de Control en. Arturo Vargas Ingeniero de Campo, National Instruments

Diseño de Sistemas de Control en. Arturo Vargas Ingeniero de Campo, National Instruments Diseño de Sistemas de Control en Tiempo Real Arturo Vargas Ingeniero de Campo, National Instruments Qué es Tiempo Real? Tiempo Real significa determinismo Determinismo es la habilidad de completar una

Más detalles

Sistema Tecnológico de Información de la Unidad de Cooperación Técnica

Sistema Tecnológico de Información de la Unidad de Cooperación Técnica Recibido, 11/05/2010 Aceptado, 18/08/2010 Artículo de divulgación Sistema Tecnológico de Información de la Unidad de Cooperación Técnica Information Technology System for Technical Cooperation Unit a b

Más detalles

SISTEMAS DE INFORMACIÓN PARA ADMINISTRACIÓN DE OPERACIONES. Manufactura Integrada por Computadora (CIM) Qué es es CIM?

SISTEMAS DE INFORMACIÓN PARA ADMINISTRACIÓN DE OPERACIONES. Manufactura Integrada por Computadora (CIM) Qué es es CIM? SISTEMAS DE INFORMACIÓN PARA ADMINISTRACIÓN DE OPERACIONES 2003 Manufactura Integrada por Computadora (CIM) Qué es es CIM? Bajo el nombre de CIM se engloba a un conjunto de aplicaciones informáticas cuyo

Más detalles

IBM Software Development Platform

IBM Software Development Platform IBM Group IBM Development Platform Seminario. antonio.alonso@es.ibm.com IBM Group software Agenda 1. Introducir plataforma de desarrollo de IBM. 2. DEMO: Construcción de aplicaciones J2EE con RAD. 3. Café

Más detalles

TECNICO SUPERIOR UNIVERSITARIO EN MECATRÓNICA ÁREA AUTOMATIZACIÓN

TECNICO SUPERIOR UNIVERSITARIO EN MECATRÓNICA ÁREA AUTOMATIZACIÓN TECNICO SUPERIOR UNIVERSITARIO EN MECATRÓNICA ÁREA AUTOMATIZACIÓN HOJA DE ASIGNATURA CON DESGLOSE DE UNIDADES TEMÁTICAS Pág. 1 de 23 1. Nombre de la asignatura Sistemas digitales II. 2. Competencias Implementar

Más detalles

Nombre del Proyecto: Página web GAQSA S.A de C.V. (Módulo de laboratorios) Nombre de la Empresa: Ganaderos Asociados de Querétaro S.A de C.

Nombre del Proyecto: Página web GAQSA S.A de C.V. (Módulo de laboratorios) Nombre de la Empresa: Ganaderos Asociados de Querétaro S.A de C. UNIVERSIDAD TECNOLÓGICA DE QUERÉTARO Nombre del Proyecto: Página web GAQSA S.A de C.V. (Módulo de laboratorios) Nombre de la Empresa: Ganaderos Asociados de Querétaro S.A de C.V (GAQSA) Memoria que como

Más detalles

TITULO: PROTOTIPO DE MONITOREO Y CONTROL PARA DISPOSITIVOS DE LA SERIE CISCO ASA. PAGINAS: No. 63 TABLAS: No. 5 FIGURAS: No. 18 ANEXOS: No.

TITULO: PROTOTIPO DE MONITOREO Y CONTROL PARA DISPOSITIVOS DE LA SERIE CISCO ASA. PAGINAS: No. 63 TABLAS: No. 5 FIGURAS: No. 18 ANEXOS: No. RAE No. 01 FICHA TOPOGRÁFICA: TITULO: PROTOTIPO DE MONITOREO Y CONTROL PARA DISPOSITIVOS DE LA SERIE CISCO ASA AUTOR: GUATAQUI AVENDAÑO, Beatriz Eugenia MODALIDAD: Trabajo de investigación tecnológica

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

200623 - SPDE - Simulación para la Toma de Decisiones Empresariales

200623 - SPDE - Simulación para la Toma de Decisiones Empresariales Unidad responsable: Unidad que imparte: Curso: Titulación: Créditos ECTS: 2015 200 - FME - Facultad de Matemáticas y Estadística 715 - EIO - Departamento de Estadística e Investigación Operativa MÁSTER

Más detalles

Especificación de requerimientos

Especificación de requerimientos Especificación de requerimientos 1. Requerimientos funcionales y no funcionales 2. Especificación de requerimientos en lenguaje natural 3. Herramientas de especificación Modelado de datos Diagramas entidad/relación

Más detalles

HERRAMIENTA WEB PARA MODELO FINANCIERO DE CONSTRUCTORES EN BOGOTÁ

HERRAMIENTA WEB PARA MODELO FINANCIERO DE CONSTRUCTORES EN BOGOTÁ HERRAMIENTA WEB PARA MODELO FINANCIERO DE CONSTRUCTORES EN BOGOTÁ ARBELÁEZ, B. 1 HERRAMIENTA WEB PARA MODELO FINANCIERO DE CONSTRUCTORES EN BOGOTÁ Beatriz Alexandra Arbeláez Hurtado Profesor Investigador

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

Título del Proyecto: Sistema Web de gestión de facturas electrónicas.

Título del Proyecto: Sistema Web de gestión de facturas electrónicas. Resumen Título del Proyecto: Sistema Web de gestión de facturas electrónicas. Autor: Jose Luis Saenz Soria. Director: Manuel Rojas Guerrero. Resumen En la última década se han producido muchos avances

Más detalles

6 de Mayo Bogotá, Colombia. ni.com/colombia 01 8000 513680 o (1) 482.4888

6 de Mayo Bogotá, Colombia. ni.com/colombia 01 8000 513680 o (1) 482.4888 6 de Mayo Bogotá, Colombia ni.com/colombia 01 8000 513680 o (1) 482.4888 Diseño y Simulación de Control y Código Matemático con LabVIEW Carlos Pazos Technical Marketing Engineer National Instruments Mexico

Más detalles

NOMBRE DEL EXPERIMENTO AUTOR CATEGORÍA PALABRAS CLAVE QUÉ SE PRETENDE MOSTRAR? DIRIGIDO A. Construye y Controla tu Robot en un día.

NOMBRE DEL EXPERIMENTO AUTOR CATEGORÍA PALABRAS CLAVE QUÉ SE PRETENDE MOSTRAR? DIRIGIDO A. Construye y Controla tu Robot en un día. NOMBRE DEL EXPERIMENTO Construye y Controla tu Robot en un día. AUTOR Juan Antonio Holgado Terriza Marcelino Cabrera Cuevas Jesús Luis Muros Cobos Sandra Rodríguez Valenzuela CATEGORÍA Tecnología PALABRAS

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

RUP. Rational Unified Process

RUP. Rational Unified Process RUP Rational Unified Process Rational Unified Process Basado en 6 mejores prácticas de la industria de software: Desarrollo incremental Administración de requisitos Uso de arquitecturas basadas en componentes

Más detalles

SYSTEM OF FAST PROTOTYPING BASED ON A DSP AND FREE SOFTWARE SISTEMA DE PROTOTIPADO RÁPIDO BASADO EN UN DSP Y SOFTWARE LIBRE

SYSTEM OF FAST PROTOTYPING BASED ON A DSP AND FREE SOFTWARE SISTEMA DE PROTOTIPADO RÁPIDO BASADO EN UN DSP Y SOFTWARE LIBRE SYSTEM OF FAST PROTOTYPING BASED ON A DSP AND FREE SOFTWARE SISTEMA DE PROTOTIPADO RÁPIDO BASADO EN UN DSP Y SOFTWARE LIBRE Ing. Carlos Andrés Ramos Paja, MSc. Edinson Franco Mejía, Ing. Ángela María Maya

Más detalles