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.