Disciplina

Área

Área Científica de Sistemas de Informação > Tecnologias de Sistemas de Informação

Activa nos planos curriculares

LEIC-T 2021 > LEIC-T 2021 > 1º Ciclo > Área Principal > Análise e Modelação de Sistemas

LEIC-A 2021 > LEIC-A 2021 > 1º Ciclo > Área Principal > Análise e Modelação de Sistemas

GENI > GENI > 1º Ciclo > Área Principal > Percursos > Percurso Livre > Opções 1 > Análise e Modelação de Sistemas

MEIC-T 2006 > MEIC-T 2006 > 2º Ciclo > Áreas de Especialização Complementares > Fundamentos de Engenharia Informática > Análise e Modelação de Sistemas

MEIC-A 2006 > MEIC-A 2006 > 2º Ciclo > Área de Especialização Complementar > Fundamentos de Engenharia Informática > Análise e Modelação de Sistemas

LEIC-A 2006 > LEIC-A 2006 > 1º Ciclo > Ciências da Engenharia Informática > Análise e Modelação de Sistemas

LEIC-T 2006 > LEIC-T 2006 > 1º Ciclo > Ciências da Engenharia Informática > Análise e Modelação de Sistemas

Nível

A avaliação é baseada em 2 componentes: Projecto em Grupo (PG) e Exame (E). Nota Final = round(PG*0,4 + E*0,6)

Tipo

Não Estruturante

Regime

Semestral

Carga Horária

1º Semestre

3.0 h/semana

1.5 h/semana

105.0 h/semestre

Objectivos

Abordar de modo formal o estudo da modelação e correcção necessários para especificação e desenvolvimento de programas. Com a frequência da disciplina pretende-se que os alunos obtenham conhecimento sobre modelação de sistemas. Os alunos deverão dominar a linguagem Unified Modelling Language (UML), segundo as diferentes perspectivas e a diferentes níveis de abstracção.

Programa

Abordagens tradicionais à análise de sistemas, diagramas de Entidade-Relacionamento e diagramas de Fluxo de Dados. Modelação de estrutura de sistemas. Modelação de casos, de interacções, do comportamento de objectos, do comportamento de actividades, e da arquitectura de sistemas. Modelos de dados em UML. Modelos de raciocínio em UML. Lógicas descritivas. Técnicas de especificação e semântica. Modelos de raciocínio em lógicas descritivas. Mapeamento de diagramas de classes em esquemas de DL. Estudo de casos.

Metodologia de avaliação

A avaliação é baseada em 2 componentes: Projecto em Grupo (PG) e Exame (E). Nota Final = round(PG*0,4 + E*0,6)

Pré-requisitos

Componente Laboratorial

Princípios Éticos

Componente de Programação e Computação

Componente de Competências Transversais

Bibliografia

Principal

Systems Engineering with SysML/UML - Modeling, Analysis, Design

Tim Weilkiens

2008

The MK/OMG Press - ISBN: 978-0123742742


The Description Logic Handbook: Theory, Implementation and Application

F. Baader, et al.,

2003

Cambridge University Press


Secundária

UML, Processos e Ferramentas CASE, Volume I

Alberto Silva e C. Videira

2005

Centro Atlântico