Requisitos de Software
Ementa:
Definição de requisitos (produto, projeto, processo).
Processo de requisitos.
Níveis de requisitos (necessidade, objetivos, requisitos dos usuários, requisitos de sistemas, requisitos de software)
Características de requisitos (testáveis, verificáveis e outras).
Princípios de modelagem como decomposição de abstração.
Pré e pós condições.
Invariantes.
Visão geral de modelos matemáticos e linguagens formais de especificação.
Interpretação de modelos (sintaxe e semântica).
Modelagem de:
fluxo de dados;
comportamento;
estrutura (arquitetura);
domínio;
processos de negócios e funcional.
Padrões de análise;
Fundamentos (Completitude, consistencia, robustez, análise estática, simulação, verificação de modelos, segurança, safety, usabilidade, desempenho, análise de causa/efeito, priorização, análise de impacto e rastreabilidade).
Gerência de requisitos.
Interação entre requisitos e arquitetura.
Fontes e técnicas de elicitação.
Documentação de requisitos (normas, tipos, audiência, estrutura, qualidade).
Especificação de requisitos.
Revisões e inspeções.
Bibliografia Básica:
WIEGERS, Karl E. Software Requirements. Microsoft Press, 2ª, 2003.