Breve descrição do programa. Método de avaliação. Bibliografia. Introdução à problemática da qualidade no software. Custos da não qualidade.
Slides Fichier
7 março - 13 março
7 março - 13 março
Introdução à Engenharia de Software Experimental (ESE). Método científico. A ESE na avaliação e melhoria da qualidade do produto e do processo. Obstáculos à experimentação. Breve revisão de alguns casos de estudo.
Slides Fichier
14 março - 20 março
14 março - 20 março
Qualidade por via do produto versus qualidade por via do processo. Modelos de qualidade do produto e sua variabilidade. Processo de avaliação do produto. Sistemas de gestão da qualidade (do processo) e balanço financeiro da sua implementação. Meta-manuais da qualidade do processo. Organizações relevantes relacionadas com a qualidade do software (Portugal, Europa e EUA).
Slides Fichier
Boxplots Fichier
21 março - 27 março
21 março - 27 março
Férias da Páscoa
28 março - 3 abril
28 março - 3 abril
Avaliação da maturidade do processo de desenvolvimento de software. O que é, porque é necessária, e quando, uma avaliação. As organizações potencialmente interessadas na avaliação. O papel da avaliação na melhoria do processo. Como é feita uma avaliação: dos questionários às recomendações. O modelo de maturidade do Software Engineering Institute: caracterização de cada nível de maturidade. Breve revisão de outros modelos (TRILLIUM, SAM, SQPA, STD, BOOTSTRAP e SCOPE). Modelo SPICE (ISO/IEC 15504): participantes, modelo de referência, categorias de processo e capacidade de cada processo. Exemplo de adaptação do modelo anterior: SPICE for Space (S4S) da Agência Espacial Europeia.
Slides Fichier
4 abril - 10 abril
4 abril - 10 abril
Certificação em software e sua comparação com a avaliação da maturidade. Certificação de produtos de software. Certificação de Sistemas de Gestão da Qualidade. Panorama da certificação em Portugal. Problema do âmbito da certificação demasiado genérica. Reconhecimento mútuo de certificados. A iniciativa TickIT. Formação e certificação de auditores. A acreditação. Apresentação e comentário a um filme sobre a iniciativa TickIT.
Slides Fichier
11 abril - 17 abril
11 abril - 17 abril
Modelos de estimação de recursos para projectos de desenvolvimento de software. Factores influenciadores. Dificuldades na estimação. Modelos de estimação tradicionais. Modelos de estimação algorítmicos. Modelos COCOMO e COCOMO II. Modelo de pontos de função.
Slides Fichier
18 abril - 24 abril
18 abril - 24 abril
Metodologias ágeis ("leves") versus metodologias planeadas ("pesadas"). Recapitulação / caracterização de algumas abordagens planeadas (CMM, Process Advisor, ISO15504 - SPICE, CMMi e RUP). Origens das metodologias ágeis: o "manifesto dos ágeis". Caracterização genérica das abordagens ágeis. Exemplo de metodologia ágil: eXtreme Programming (XP). Crítica às abordagens ágeis. Comparação de uma metodologia planeada (RUP) com uma ágil (XP). Discussão da aplicabilidade de cada alternativa.
Slides Fichier
25 abril - 1 maio
25 abril - 1 maio
Qualidade na definição de requisitos. A especificação formal de regras de negócio. Limitações da modelação com diagramas utilizada na análise. Caso de estudo: modelação de campeonatos de futebol com UML. Introdução à modelação formal de regras de negócio com OCL (Object Constraint Language).
Modelo Campeonato de Futebol com restrições em OCL Fichier
Modelo anterior em formato USE Fichier
USE Tool (UML/OCL constraints evaluator) URL
2 maio - 8 maio
2 maio - 8 maio
Sintaxe e semântica da linguagem OCL. Exemplificação com recurso ao ambiente USE. Navegação e convenção de nomes. Operações sobre colecções e sobre tipos atómicos. Utilização de iteradores. Operações reflexivas. Especificação de invariantes, pré e pós-condições, bem como da semântica das operações.
Slides Fichier
Royal and Loyal (exemplo dos slides) Fichier
Objecteering/UML Personal Edition (free copy) URL
Objecteering2USE converter Fichier
9 maio - 15 maio
9 maio - 15 maio
Elaboração de um teste sobre especificação de cláusulas OCL
AirNova - Especificação de requisitos Fichier
AirNova - Diagrama de Classes Fichier
AirNova - Especificação formal com OCL em formato USE Fichier
Armazéns - Diagrama de Classes Fichier
Fábrica - Diagrama de Classes Fichier
OneSizeFitsAll - Especificação formal com OCL em formato USE Fichier
16 maio - 22 maio
16 maio - 22 maio
23 maio - 29 maio
23 maio - 29 maio
Não houve aula devido a "ponte"
30 maio - 5 junho
30 maio - 5 junho
Animando e testando um modelo UML. Recapitulação da especificação de asserções com a linguagem OCL. Demonstração, com recurso ao ambiente USE, da construção de uma bateria de testes, por animação de um modelo UML instanciado. Violação de pré e pós-condições e verificação de invariantes.