Engenharia de software

Ìndice:

Ìndice: 1
1.Introdução 2
2.Objectivos 2
2.1.Objectivo Geral 2
2.2.Objectivo específico 2
3.Metodologia 2
4.Desenvolvimento formal de sistemas 3
4.1.Transformações formais 4
4.2.Desenvolvimento formal 5
5.Modelo de desenvolvimento de Software Baseado em reuso ou componente. 6
5.1.Especificação de Requisitos 6
5.2.Análise de Componentes 6
5.3.Modificação de requisitos 7
5.4.Projecto de sistema com reuso 7
5.5.Desenvolvimento e integração 7
5.6.Validação de sistema 7
6.Vantagens e Desvantagens 8
6.1.Vantagens 8
6.2.Desvantagens 8
7.Conclusão 9
8.Bibliografia 10

1. Introdução
O presente trabalho fala de forma teoria sobre parte dos modelos de processo de software que são: Desenvolvimento formal de sistemas e desenvolvimento baseado em reuso, descrevendo função de cada modelo e suas vantagens.
O trabalho esta dividido em duas partes uma onde fala do modelo de desenvolvimento formal de sistemas e por fim o desenvolvimento baseado em reuso.

2. Objectivos
2.1. Objectivo Geral
Estudar sobre os modelos de processos de softwares.

2.2. Objectivo específico
Transformações formais;
Desenvolvimento formal;
Descrição de cada etapa;
Vantagens e desvantagens;

3. Metodologia
Para elaboração do presente trabalho realizou se uma pesquisa pela internet, o trabalho foi enriquecida com o manual de Engenharia de softwares de sammerville. 6 edição 2000 e Análise Estruturada e Especificação de Sistemas editora Campus

4. Desenvolvimento formal de sistemas

Baseado na transformação de uma série representações matemáticas da especificação em um programa executável.
A especificação de requisitos, informal ou semi-formal, é redefinida em uma especificação formal detalhada, utilizando uma notação matemática: VDM, Z, B, Larch e outras;
As actividades de design, implementação e testes são substituídas por um processo transformacional;
As transformações devem ser matematicamente correctas, baseadas em provas de correcção;
As provas