U.Minho Seminários de Ciências da Computação - 1999/2000
[ DI/UM ]

[ Docentes | Horário | Regime de Avaliação | Programa de Seminários | Trabalhos de pré-tese | Notas Finais ]

  Docentes

A presente edição da disciplina tem como docentes responsáveis J.N. Oliveira, P.R. Henriques e P.M. Carvalho.

  Horário

Ref. Dia Hora Tipo Sala Cursos
1 6.ª-feira 16h00-18h00 T 0.02 MI/EI

  Regime de Avaliação

  Programa de Seminários

A lista de seminários realizados na corrente edição da disciplina é a seguinte:
  1. DATA:
    2000.03.10, 16h00
    POR:
    J.G. Rocha
    TEMA:
    Sistemas de Informação Geográfica
    RESUMO:
    É feita uma apresentação dos Sistemas de Informação Geográfica, não como uma sub-disciplina dos Sistemas de Informação, mas como uma área específica de investigação e desenvolvimento. A apresentação será feira em termos de como funcionam estes sistemas, desde a modelação geográfica, sempre complicada, até ao suporte que disponibilizam para o apoio à decisão. De passagem, são referidas diversas tecnologias associadas, como a cartografia digital, o desenho assistido por computador, a detecção remota e fotografia aérea, e sistemas globais de posicionamento. São também apresentados os projectos em curso, a decorrer no lab. de Sistemas de Informação Geográfica.
    OBS:

  2. DATA:
    2000.03.17, 16h00
    POR:
    J.C. Ramalho
    TEMA:
    Processamento de Documentos Estruturados: XML e SGML
    RESUMO:
    Este seminário abordou as seguintes temáticas:
    -
    Documentação Estruturada: o que é?
    -
    Análise Documental: ELM-Trees e construção de DTDs
    -
    Edição estruturada de documentos XML e SGML
    -
    Processamento: Standard: XSL e DSSSL; Específico: Perl, Omnimark, PHP, Python
    -
    Armazenamento: Bases de Dados relacionais versus Bases de Dados Orientadas a Objectos
    OBS:
    O material relativo a este seminário (cedido pelo autor para consulta) está disponível a partir de aqui.

  3. DATA:
    2000.04.07, 16h00
    POR:
    A.J. Proença, J.M. Fernandes e J.L. Sobral
    TEMA:
    O Projecto em Informática: Hardware, Software ou Integrado? (1.ª parte)
    RESUMO:
    As diversas fases de um projecto de informática são caracterizadas - independentemente do produto final ser h/w, s/w, ou misto - realçando-se as equivalências entre o h/w e o s/w nas metodologias de projecto de um sistema integrado, e respectivas vantagens de um modelo unificado. São identificadas e introduzidas áreas em que se está a efectuar I&D no DI, neste contexto. São então apresentados modelos e métodos de análise (com a linguagem UML), com produção de uma especificação de sistemas com uma linguagem OO (OBLOG). Esta parte termina com uma análise da adequabilidade dos objectos para exprimir concorrência (paralelismo).
    OBS:
    O material relativo a este seminário (cedido pelos autores para consulta) está disponível a partir de aqui.

  4. DATA:
    2000.04.14, 16h00
    POR:
    L.P. Santos e A.J. Esteves
    TEMA:
    O Projecto em Informática: Hardware, Software ou Integrado? (2.ª parte)
    RESUMO:
    Partindo do paradigma OO, apresenta-se uma metodologia de apoio ao desenvolvimento de sistemas paralelos/distribuidos, com referência às ferramentas que suportam distribuição dinâmica, portabilidade, e eficiência em múltiplas plataformas. Complementa-se este estudo com estratégias estáticas e dinâmicas de escalonamento de recursos e tarefas em sistemas distribuidos. A concluir são apresentados alguns algoritmos e métricas de partição entre h/w e s/w para apoio à decisão de distribuição de cargas.
    OBS:
    O material relativo a este seminário (cedido pelos autores para consulta) está disponível a partir de aqui.

  5. DATA:
    2000.05.12, 16h00
    POR:
    O.M. Pacheco
    TEMA:
    Uma Lógica Deôntica e de Acção para Especificação de Agentes Institucionais
    RESUMO:
    Segundo a perspectiva dos "sistemas normativos" qualquer sistema organizacional pode ser visto como um conjunto de agentes interactuantes cujo comportamento é regulado por normas. Lógicas deônticas e de acção têm sido usadas, desde há muito, na representação e análise de conceitos normativos complexos. Adptando esta perspectiva e tendo por base o conceito legal de "pessoa colectiva", foi definido um modelo para organizações a que se chamou "agente institucional". Nesta apresentação começa-se por descrever o modelo dos agentes institucionais. É apresentada, em seguida, a lógica deôntica e de acção proposta, discutem-se algumas das suas características e ilustra-se a sua utilização na especificação e na análise de agentes institucionais.
    OBS:
    O material relativo a este seminário (cedido pela autora para consulta) está disponível a partir aqui.

  6. DATA:
    2000.05.19, 16h00
    POR:
    J.F. Campos
    TEMA:
    Avaliação Automatizada de Sistemas Interactivos
    RESUMO:
    Tornou-se já um lugar-comum falar-se da complexidade e dos custos envolvidos no desenvolvimento e manutenção de sistemas que envolvam uma componente de interacção com o utilizador (Sistemas Interactivos). A este respeito é importante notar que os custos referidos não se podem medir simplesmente em tempo e dinheiro. A utilização de sistemas interactivos em áreas onde a segurança é um factor crítico (aviões ou centrais nucleares, por exemplo), implica que as consequencias da má qualidade podem chegar até à perca de vidas humanas. Nestas áreas, é comum ver-se a culpa de um acidente ser atribuída a erro humano. Muitas vezes, no entanto, tais "erros humanos" são apenas o resultado final de um mau desenho do sistema. Torna-se então importante assegurar a qualidade dos sistemas desenvolvidos desde cedo no processo de desenvolvimento.

    Em termos de sistemas interactivos, avaliar a qualidade de um sistema implica avaliar a facilidade de utilização do mesmo, a sua "usability". Esta tarefa complica-se dada a necessidade de incluir considerações sobre factores-humanos no processo de avaliação. Na palestra será feita uma primeira abordagem às técnicas que têm vindo a ser desenvolvidas para a análise e avaliação de sistemas interactivos. Será dado especial ênfase à possibilidade da aplicação de técnicas de raciocínio automatizado.

    OBS:
    O material relativo a este seminário (cedido pelo autor para consulta) está disponível a partir aqui.

  7. DATA:
    2000.05.26, 16h00
    POR:
    C.B. Moreno
    TEMA:
    Gestão fina de réplicas e versões em sistemas de ficheiros
    RESUMO:
    A apresentação principia por ilustrar um conjunto de situações em que os utilizadores desencadeiam tarefas de replicação e "versionamento" de ficheiros à custa dos comando usuais de copia e mudança de nome de ficheiros. Mostrar-se-á que se bem que estas tarefas possam ser assistidas em ambientes próprios de controlo de replicação e de gestão de réplicas, a sua adopção implica algumas cedências quanto à flexibilidade habitual da cópia arbitrária.

    Face a esta motivação prossegue-se com o estudo de um novo tipo de ferramenta de cópia que permite apoiar o utilizador nas suas decisões de gestão de réplicas, backups e versões, sem comprometer a flexibilidade da simples cópia tradicional. Características deste tipo de abordagem são a possibilidade de gerir ficheiros em suportes transportáveis, e a introducção de uma mudança expressiva na forma como os utilizadores gerem ficheiros e escolhem os seus nomes.

    OBS:
    O material relativo a este seminário (cedido pelo autor para consulta) está disponível a partir aqui.

  Trabalhos de pré-tese

NOME ANO ID ORIENTADOR TEMA
António Augusto da Costa Salgado 1999/2000 esp557 O.M. Belo Plataformas Móveis para Sistemas de Apoio à Decisão
António Luís Aguiar de Morais 1999/2000 mes3874 P.R. Henriques Sistemas de Informação Geográfica
António Miguel Ribeiro dos Santos Rosado da Cruz 1999/2000 esp558 J.N. Oliveira Objectificação de Especificações Formais
Bruno da Conceição Cortes 1999/2000 mes3875 J.N. Oliveira Amostragem Relacional em Qualidade de Dados: Metodologia e Ferramentas
Carla Isabel Morais Rodrigues Vilela 1999/2000 mes3876 J.C. Neves Planeamento de Recursos na Gestão Hospitalar
Francisco José Monteiro Duarte 1999/2000 esp559 J.M. Fernandes Desenvolvimento de Sistemas Informáticos em Contextos de Re-engenharia e Qualidade
José Manuel Balão da Silva 1999/2000 esp561 P.M. Carvalho Qualidade de Serviço em Interligação de Redes: IP e IP/ATM
José Pedro de A. N. M. de Morais 1999/2000 mes3878 P.M. Carvalho Monitorização de QoS num Domínio DS de Origem
João Carlos Cardoso da Silva 1999/2000 mes3877 J.N. Oliveira Re-Engenharia de Aplicações em Suporte Relacional usando Métodos Formais
Luís Filipe de Quintas Brito 1999/2000 mes3880 J.C. Neves Abordagem Multiagente à Problemática do Comércio Electrónico
Mário Miguel Martins Machado 1999/2000 mes3879 R.C. Oliveira Weblog Distribuído
Orlando José Folha Dias 1999/2000 esp563 A.J. Fernandes Visualização de Grandes Volumes de Informação Usando Representação 3D
Óscar Sílvio M. de Almeida Gama 1999/2000 mes3831 P.M. Carvalho Controlo de Tráfego num Domínio DS Usando um Bandwidth Broker
Sílvia Maria Rodrigues da Cunha 1999/2000 mes3881 O.M. Belo Bases de Dados Nómadas

  Notas Finais

À data da Época de Recurso:
NomeAnoIdNF
António Augusto da Costa Salgado 1999/2000 esp557 Faltou
António Luís Aguiar de Morais 1999/2000 mes3874 Faltou
António Miguel Ribeiro dos Santos Rosado da Cruz 1999/2000 esp558 17
Bruno da Conceição Cortes 1999/2000 mes3875 17
Carla Isabel Morais Rodrigues Vilela 1999/2000 mes3876 18
Francisco José Monteiro Duarte 1999/2000 esp559 18
José Manuel Balão da Silva 1999/2000 esp561 17
José Pedro de A. N. M. de Morais 1999/2000 mes3878 Faltou
João Carlos Cardoso da Silva 1999/2000 mes3877 17
Luís Filipe de Quintas Brito 1999/2000 mes3880 19
Mário Miguel Martins Machado 1999/2000 mes3879 Faltou
Orlando José Folha Dias 1999/2000 esp563 16
Óscar Sílvio M. de Almeida Gama 1999/2000 mes3831 16
Sílvia Maria Rodrigues da Cunha 1999/2000 mes3881 Faltou

Voltar à página principal de S.C.C..
Outras disciplinas leccionadas pelo DIUM
J. N. Oliveira
2001-02-13