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


BC1516
Engenharia de Software

T P I = 4 0 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