E N G E N H A R I A  A E R O E S P A C I A L
O Curso

Matriz Curricular

Projetos de Pesquisa

Docentes

Eventos & Links


Universidade Federal do ABC

Centro de Engenharia,
Modelagem e Ciências Sociais Aplicadas


BC1508
Engenharia de Software

T P I = 4 2 4

Ementa

Introdução a Engenharia de Software. Modelos de processos de desenvolvimento de software. Gerência de projeto. Modelagem e especificação de requisitos de software. Análise de requisitos de software. Verificação e validação de requisitos de software. Noções de métodos formais para especificação e verificação de requisitos. Ferramentas para engenharia de requisitos. Métricas de requisitos de software. Requisitos e prototipagem de interfaces. Aspectos éticos relacionados ao desenvolvimento de software.

Bibliografia Básica

GHEZZI, C.; JAZAYERI, M.; MANDRIOLI, D. Fundamentals of Software EngineeringBERTOT, Y.; CASTÉRAN, P.; HUET, G.; PAULIN-MOHRING, C. Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive ConstructionsKAMMÜLLER, F. Interactive Theorem Proving in Software EngineeringVLIET, H. Software Engineering: Principles and Practice

Bibliografia Complementar

José Carlos Maldonado, Márcio Eduardo Delamaro, Mario Jino. INTRODUÇÃO AO TESTE DE SOFTWAREKNIBERG, H. Scrum and XP from the Trenches
eractive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive ConstructionsKAMMÜLLER, F. Interactive Theorem Proving in Software EngineeringVLIET, H. Software Engineering: Principles and Practice

Tipo

Livre