Skip to main content

Blocks

Skip Navigation

Navigation

  • Home

    • My courses

    • URLBiblioteca

    • ForumAnúncios do site

    • My courses

    • Courses

      • Ano Letivo 2020-2021

        • Licenciatura

        • Mestrado

          • Bioestatística

          • Bioinformática e Biologia Computacional

          • Biologia da Conservação

          • Biologia dos Recursos Vegetais

          • Biologia Evolutiva e do Desenvolvimento

          • Biologia Humana e Ambiente

          • Biologia Molecular e Genética

          • Bioquímica

          • Ciência Cognitiva

          • Ciência de Dados

          • Ciências do Mar

          • Ciências Geofísicas

          • Cultura Científica e Divulgação das Ciências

          • Design para a Sustentabilidade

          • Ecologia e Gestão Ambiental

          • Ecologia Marinha

          • Engenharia Geoespacial

          • Engenharia Informática

            • Verificação e Validação de Software (425159) S2 (2...

            • Gestão e Organização Empresarial (425277) S2 (2020...

            • Multimédia (425128) S2 (2020/21)

            • Técnicas de Compilação (425150) S2 (2020/21)

            • Métodos e Estudos com Utilizadores (425253) S2 (20...

            • Computação em Nuvem (425240) S2 (2020/21)

            • Desenho e Análise de Algoritmos (425116) S2 (2020/21)

            • Linguagens de Domínio (425267) S2 (2020/21)

            • Robôs Móveis (425208) S2 (2020/21)

            • Internet das Coisas (425236) S2 (2020/21)

            • Sistemas Ciberfísicos (425237) S2 (2020/21)

            • Software Fiável (425149) S1 (2020/21)

          • Ensino de Biologia e Geologia no 3.º ciclo do Ensi...

          • Ensino de Física e de Química no 3.º Ciclo do Ensi...

          • Ensino de Informática

          • Ensino de Matemática no 3.º Ciclo do Ensino Básico...

          • Estatística e Investigação Operacional

          • Física

          • Geologia

          • Geologia Aplicada

          • Geologia do Ambiente, Riscos Geológicos e Ordename...

          • Geologia Económica

          • História e Filosofia das Ciências

          • Informática

          • Matemática

          • Matemática Aplicada à Economia e Gestão

          • Matemática Financeira

          • Matemática para Professores

          • Microbiologia

          • Microbiologia Aplicada

          • Navegação e Geomática

          • Química

          • Química Tecnológica

          • Segurança Informática

          • Sistemas de Informação Geográfica - Tecnologias e ...

          • Técnicas de Interação Avançadas (425151) S2 (2020/21)

          • Prospeção de Dados (425242) S2 (2020/21)

          • Computação Quântica (425252) S2 (2020/21)

          • Bioinformática (425194) S2 (2020/21)

          • Tecnologias de Processamento de Dados (425245) S2 ...

          • Integração e Processamento Analítico de Informação...

          • Métodos Quantitativos em Biologia de Sistemas (441...

          • Complementos de Programação (425202) S2 (2020/21)

          • Modelos de Investigação Operacional (421138) S1 (2...

          • Tecnologia de Bases de Dados (425152) S1 (2020/21)

          • Aprendizagem Automática (425216) S1 (2020/21)

        • Mestrado Integrado

        • Doutoramento

        • Minor

        • Pós-Graduação

        • Comissões de Curso

      • Ano letivo 2024-2025

      • Ano letivo 2023-2024

      • Ano Letivo 2022-2023

      • Ano Letivo 2021-2022

      • Ano Letivo 2019-2020

  • Close
    Toggle search input
  • English ‎(en)‎
    • English ‎(en)‎
    • Português - Portugal ‎(pt)‎
Logo

Software Fiável (425 ...

Close
Toggle search input
  1. Courses
  2. Ano Letivo 2020-2021
  3. Mestrado
  4. Engenharia Informática
  5. Software Fiável (425149) S1 (2020/21)
  6. Summary

Software Fiável (425149) S1 (2020/21)

  • Teacher: Bernardo Pinto de Almeida
  • Teacher: Vasco Vasconcelos

Get the mobile app