Especificación de sistemas embebidos Agustín J. González 1s07 Se ha tomado como base el material generado por Peter Marwedel de la Univ. Dortmund, Alemania.

Slides:



Advertisements
Presentaciones similares
BASES DE DATOS ORIENTADA A OBJETOS (BDOO).
Advertisements

U.M.L A/Gx. Diego Gutiérrez Application Analysis and Design.
Métodos de diseño en VHDL.
DIAGRAMA DE ACTIVIDAD Roberto Certain Leonardo Molina.
Lenguaje Unificado de Modelado
Enfoques de desarrollo
UML 1.4 Peter Emerson Pinchao Solis.
Arquitectura de software dirigida por modelos (Model-Driven Architecture) Liliana Favre UNCPBA 2006.
Ing. Pablo Mayorga. UML = Unified Markup Language Estándar de lenguaje de modelamiento de Object Management Group Varias versión 1.0, 1.1,1.2, 1.3, 1.4,
INGENIERIA DE SOFTWARE II Clase Nº 7
Programación Orientada a Objetos Con UML y JAVA
Teórico: Introducción
Unified Modeling Languaje (UML)
UML.
LENGUAJE UNIFICADO DE MODELADO UML
Análisis y Diseño O.O. Click to add notes Preguntas del diseño :
MOTORES DE BASE DE DATOS
Sistemas Distribuidos “Técnicas de Especificación Formal”
Desarrollo Orientado a Objetos con UML
Unified Modeling Language (Lenguaje de Modelamiento unificado)
Análisis y Diseño orientado a objetos con UML.
Algunas Herramientas de Apoyo al Diseño de Software Agustín J. González ELO329: Diseño y programación orientados a objetos.
UML – Lenguaje de Modelado Unificado
DEPARTAMENTO DE INGENIERÍA INFORMÁTICA
UNIDAD 2 CLASES Y OBJETOS. CLASE Elementos cabecera y cuerpo de la clase. Cabecera: aporta información fundamental sobre la clase en sí y constituye de.
Validación de propiedades de Workflow Alumno: Fernando Villar Director: Dr. Germán Regis Universidad Nacional de Río Cuarto.
Análisis y Diseño Orientado a Objetos utilizando UML CAPITULO V DISEÑO DE SISTEMAS ORIENTADOS A OBJETOS.
DISEÑO Genera soluciones a requerimientos planteados
Ingeniería de Sistemas Requerimientos
(c) P. Gomez-Gil, INAOE DISEÑO DE COMPONENTES DE SOFTWARE * NOTAS DEL CURSO Ingeniería de Software I DRA. MARIA DEL PILAR GÓMEZ GIL INAOEP.
ING. PERCY OQUENDO CARREÑO PROCESO UNIFICADO DE DESARROLLO DE SOFTWARE.
Ingeniería de Software
Ingeniería de Software Orientado a Objetos
Fundamentos de programación
CICLO DE VIDA DEL SOFTWARE
POR MARCO LEANDRO RUIZ ZAPATA. Start UML Unified Modeling Language lenguaje de modelado de sistemas de software más conocido y utilizado en la actualidad;
Poder Expresivo de UML 2.0 para especificar arquitecturas de Software
Sistema Embebidos: Características Agustín J. González 1s07 Se ha tomado como base el material generado por Peter Marwedel de la Univ. Dortmund, Alemania.
UML 2.0 Integrantes: Diana Carolina Valencia M. Jhon Fernando Lopez T. Carlos Alberto Castillo.
Universidad Central de Venezuela Facultad de Ciencias Postgrado en Ciencias de la Computación Sistemas Distribuidos Albany Márquez.
DISEÑO Genera soluciones a requerimientos planteados Describe las especificaciones del sistema propuesto Define CÓMO lo va a hacer el nuevo Sistema Define.
Sistema Embebidos: Propiedades de los Lenguajes y SDL
- 1 - Sistema Embebidos: Propiedades de los Lenguajes y SDL Agustín J. González 1s06 Se ha tomado como base el material generado por Peter Marwedel de.
Especificación de sistemas embebidos Agustín J. González 1s06 Se ha tomado como base el material generado por Peter Marwedel de la Univ. Dortmund, Alemania.
J. García Martín 22/06/ SISTEMAS DE TIEMPO REAL Especificación formal de sistemas. Statecharts.
Algunas Herramientas de Apoyo al Diseño de Software Agustín J. González ELO329: Diseño y programación orientados a objetos.
- 1 - Sistema Embebidos: Propiedades de los Lenguajes y SDL Agustín J. González 1s07 Se ha tomado como base el material generado por Peter Marwedel de.
TEMA 9: DIAGRAMA DE CLASE EN UML
DSL – DOMAIN SPECIFIC LANGUAGES Juan Manuel Ramón Vigo Sergio Ruiz Pérez Fernando Vicente Vallejo.
Análisis de Metodologías de Diseño para POA
REQUISITOS.
I NGENIERÍA DE S OFTWARE L ABORATORIO VI Diseño - Diagrama de clases Eduardo Saavedra A. 07/10/2009.
Introducción a UML Departamento de Informática Universidad de Rancagua
DIAGRAMA DE SECUENCIA Y ACTIVIDADES.
Programación IV Desarrollo orientado a Objetos con UML CLASE # 2 Tec. Christian Alexander Martínez Arteaga.
UML.
Relación con otras asignaturas del plan de estudio
PROCESOS DE NEGOCIO Y TECNICAS PARA MODELADO DE PROCESOS
Sandra Muñoz Blanca González Patricia Lázaro
Unified Modeling Language (Lenguaje de Modelamiento unificado)
UML – Lenguaje de Modelado Unificado
Introducción AOO. Contenido - Introducción - Repaso de Orientación a Objetos - UML - Casos de Uso.
MODELAMIENTO VISUAL Y UML
LENGUAJE UNIFICADO DE MODELADO. 01/04/2014 CURSO : LENGUAJE UNIFICADO DE MODELADO 2.
Integrantes: Castro José República Bolivariana De Venezuela Ministerio Del Poder Popular Para La Educación Superior Instituto Universitario Tecnológico.
PRESENTACION DE INGENIERIA ORIENTADA A OBJETOS
Prof. Manuel B. Sánchez. Un paradigma de programación representa un enfoque particular o filosofía para la construcción del software. No es mejor uno.
INTRODUCCIÓN:. La programación consiste en desarrollar programas para procesar información. Una computadora es totalmente inútil si no dispone de un programa.
UML Lenguaje Unificado de Modelado. Unified Modeling Language UML es un lenguaje de propósito general para el modelado orientado a objetos. Es un lenguaje.
Estructura de Datos Departamento de Programación Universidad Metropolitana Contenido: UML. Envío de mensajes. Relaciones. Asociación. Agregación o composición.
Transcripción de la presentación:

Especificación de sistemas embebidos Agustín J. González 1s07 Se ha tomado como base el material generado por Peter Marwedel de la Univ. Dortmund, Alemania

Especificación

Requerimientos de técnicas de especificación (1) Jerarquía : Debe poder representar jerarquías (abstracciones), el hombre no puede manejar más de ~5 objetos a la vez. Expresar comportamiento en el tiempo Expresar comportamiento orientado a estados Manejo de eventos externos o internos Manejo de excepciones adecuadamente

Requerimientos de técnicas de especificación (2) Concurrencia Sincronización y comunicaciones Que se pueda ejecutar Expresar propiedades no funcionales como consumo, peso, etc. Ningún lenguaje cumple todos los requerimientos.

Lenguajes de especificación StateChart: extensión de un diagrama de estados SDL: Specification and Description Language ( forum.org) Redes de Petri: Método para especificar causalidad. UML: Unified modeling language. Java (entre otros: arnumber= arnumber= VHDL SystemC Verilog y System Verilog SpecC