Método de construção Lego
Bloco Informação
- Classifica as peças
- Monta objeto final
Método de construção Átomo
Bloco Informação
- Seleciona elementos
- Agrupa elementos
- Otimiza agrupamentos
- Codifica template
- Povoa página
Desenvolvimento através de especificação formal
Bloco Informação
- Verificação (prova de corretude)
- Terminação (garante que termina)
- Derivação (satafifaz especificações)
- Transformação (otimização da eficiência de programas)