Sumário. PARTE I O processo de software 29. CAPÍTULO 1 A natureza do software 1. CAPÍTULO 2 Engenharia de software 14

Transcrição

1 Sumário CAPÍTULO 1 A natureza do software A natureza do software Definição de software Campos de aplicação de software Software legado A natureza mutante do software WebApps Aplicativos móveis Computação em nuvem Software para linha de produtos (de software) Resumo 11 Problemas e pontos a ponderar 12 Leituras e fontes de informação complementares 12 CAPÍTULO 2 Engenharia de software Definição da disciplina O processo de software A metodologia do processo Atividades de apoio Adaptação do processo A prática da engenharia de software A essência da prática Princípios gerais Mitos do desenvolvimento de software Como tudo começa Resumo 27 Problemas e pontos a ponderar 27 Leituras e fontes de informação complementares 27 PARTE I O processo de software 29 CAPÍTULO 3 Estrutura do processo de software Um modelo de processo genérico Definição de uma atividade metodológica Identificação de um conjunto de tarefas Padrões de processo Avaliação e aperfeiçoamento de processos Resumo 38 Problemas e pontos a ponderar 38 Leituras e fontes de informação complementares 39

2 xii Sumário CAPÍTULO 4 Modelos de processo Modelos de processo prescritivo O modelo cascata Modelos de processo incremental Modelos de processo evolucionário Modelos concorrentes Um comentário final sobre processos evolucionários Modelos de processo especializado Desenvolvimento baseado em componentes O modelo de métodos formais Desenvolvimento de software orientado a aspectos O processo unificado Um breve histórico Fases do processo unificado Modelos de processo pessoal e de equipe Processo de Software Pessoal Processo de Software de Equipe Tecnologia de processos Produto e processo Resumo 63 Problemas e pontos a ponderar 64 Leituras e fontes de informação complementares 65 CAPÍTULO 5 Desenvolvimento ágil O que é agilidade? Agilidade e o custo das mudanças O que é processo ágil? Princípios da agilidade A política do desenvolvimento ágil Extreme programming XP (Programação Extrema) O processo XP Industrial XP Outros modelos de processos ágeis Scrum Método de Desenvolvimento de Sistemas Dinâmicos (DSDM) Modelagem Ágil (AM) Processo Unificado Ágil Um conjunto de ferramentas para o processo ágil Resumo 84 Problemas e pontos a ponderar 85 Leituras e fontes de informação complementares 85 CAPÍTULO 6 Aspectos humanos da engenharia de software Características de um engenheiro de software A psicologia da engenharia de software A equipe de software Estruturas de equipe Equipes ágeis A equipe ágil genérica A equipe XP O impacto da mídia social 95

3 Sumário xiii 6.7 Engenharia de software usando a nuvem Ferramentas de colaboração Equipes globais Resumo 100 Problemas e pontos a ponderar 101 Leituras e fontes de informação complementares 102 PARTE II Modelagem 103 CAPÍTULO 7 Princípios que orientam a prática Conhecimento da engenharia de software Princípios fundamentais Princípios que orientam o processo Princípios que orientam a prática Princípios das atividades metodológicas Princípios da comunicação Princípios do planejamento Princípios da modelagem Princípios da construção Princípios da disponibilização Formas de trabalhar Resumo 127 Problemas e pontos a ponderar 128 Leituras e fontes de informação complementares 129 CAPÍTULO 8 Entendendo os requisitos Engenharia de requisitos Estabelecimento da base de trabalho Identificação de envolvidos Reconhecimento de diversos pontos de vista Trabalho em busca da colaboração Questões iniciais Requisitos não funcionais Rastreabilidade Levantamento de requisitos Coleta colaborativa de requisitos Aplicação da qualidade por QFD (Quality Function Deployment) Cenários de uso Artefatos do levantamento de requisitos Levantamento de requisitos ágil Métodos orientados a serviços Desenvolvimento de casos de uso Construção do modelo de análise Elementos do modelo de análise Padrões de análise Engenharia de requisitos ágil Requisitos de sistemas autoadaptativos Negociação de requisitos Monitoramento de requisitos Validação dos requisitos 161

4 xiv Sumário 8.9 Evite erros comuns Resumo 162 Problemas e pontos a ponderar 163 Leituras complementares e outras fontes de informação 164 CAPÍTULO 9 Modelagem de requisitos: métodos baseados em cenários Ánalise de requisitos Filosofia e objetivos gerais Regras práticas para a análise Análise de domínio Abordagens de modelagem de requisitos Modelagem baseada em cenários Criação de um caso de uso preliminar Refinamento de um caso de uso preliminar Criação de um caso de uso formal Modelos UML que complementam o caso de uso Desenvolvimento de um diagrama de atividades Diagramas de raias Resumo 182 Problemas e pontos a ponderar 182 Leituras e fontes de informação complementares 183 CAPÍTULO 10 Modelagem de requisitos: métodos baseados em classes Identificação de classes de análise Especificação de atributos Definição das operações Modelagem classe-responsabilidade-colaborador Associações e dependências Pacotes de análise Resumo 200 Problemas e pontos a ponderar 201 Leituras e fontes de informação complementares 201 CAPÍTULO 11 Modelagem de requisitos: comportamento, padrões e WebApps/aplicativos móveis Criação de um modelo comportamental Identificação de eventos com o caso de uso Representações de estados Padrões para a modelagem de requisitos Descoberta de padrões de análise Exemplo de padrão de requisitos: Atuador-Sensor Modelagem de requisitos para WebApps e aplicativos móveis Que nível de análise é suficiente? Entrada da modelagem de requisitos Saída da modelagem de requisitos Modelo de conteúdo Modelo de interação para WebApps e aplicativos móveis Modelo funcional Modelo de configuração para WebApps Modelo de navegação 220

5 Sumário xv 11.6 Resumo 221 Problemas e pontos a ponderar 222 Leituras e fontes de informação complementares 222 CAPÍTULO 12 Conceitos de projeto Projeto no contexto da engenharia de software O processo de projeto Diretrizes e atributos da qualidade de software A evolução de um projeto de software Conceitos de projeto Abstração Arquitetura Padrões Separação por interesses (por afinidades) Modularidade Encapsulamento de informações Independência funcional Refinamento Aspectos Refatoração Conceitos de projeto orientado a objetos Classes de projeto Inversão da dependência Projeto para teste O modelo de projeto Elementos de projeto de dados Elementos do projeto de arquitetura Elementos do projeto de interface Elementos do projeto de componentes Elementos do projeto de implantação Resumo 249 Problemas e pontos a ponderar 250 Leituras e fontes de informação complementares 250 CAPÍTULO 13 Projeto de arquitetura Arquitetura de software O que é arquitetura? Por que a arquitetura é importante? Descrições de arquitetura Decisões de arquitetura Gêneros de arquitetura Estilos de arquitetura Uma breve taxonomia dos estilos de arquitetura Padrões de arquitetura Organização e refinamento Considerações sobre a arquitetura Decisões sobre a arquitetura Projeto de arquitetura Representação do sistema no contexto Definição de arquétipos Refinamento da arquitetura em componentes Descrição das instâncias do sistema 272

6 xvi Sumário Projeto de arquitetura para aplicações web (WebApps) Projeto de arquitetura para aplicativos móveis Avaliação das alternativas de projeto de arquitetura Linguagens de descrição da arquitetura Revisões da arquitetura Lições aprendidas Revisão de arquitetura baseada em padrões Verificação de conformidade da arquitetura Agilidade e arquitetura Resumo 282 Problemas e pontos a ponderar 282 Leituras e fontes de informação complementares 283 CAPÍTULO 14 Projeto de componentes O que é componente? Uma visão orientada a objetos A visão tradicional Uma visão relacionada a processos Projeto de componentes baseados em classes Princípios básicos de projeto Diretrizes para o projeto de componentes Coesão Acoplamento Condução de projetos de componentes Projeto de componentes para WebApps Projeto de conteúdo para componentes Projeto funcional para componentes Projeto de componentes para aplicativos móveis Projeto de componentes tradicionais Desenvolvimento baseado em componentes Engenharia de domínio Qualificação, adaptação e composição de componentes Divergência arquitetural Análise e projeto para reutilização Classificação e recuperação de componentes Resumo 313 Problemas e pontos a ponderar 315 Leituras e fontes de informação complementares 316 CAPÍTULO 15 Projeto de interfaces do usuário As regras de ouro Deixar o usuário no comando Reduzir a carga de memória do usuário Tornar a interface consistente Análise e projeto de interfaces Modelos de análise e projeto de interfaces O processo Análise de interfaces Análise de usuários Análise e modelagem de tarefas Análise do conteúdo exibido Análise do ambiente de trabalho 331

7 Sumário xvii 15.4 Etapas no projeto de interfaces Aplicação das etapas para projeto de interfaces Padrões de projeto de interfaces do usuário Questões de projeto Projeto de interfaces para WebApps e aplicativos móveis Princípios e diretrizes para projeto de interfaces Fluxo de trabalho de projeto de interfaces para WebApps e aplicativos móveis Avaliação de projeto Resumo 344 Problemas e pontos a ponderar 345 Leituras e fontes de informação complementares 346 CAPÍTULO16 Projeto baseado em padrões Padrões de projeto Tipos de padrões Frameworks Descrição de padrões Linguagens e repositórios de padrões Projeto de software baseado em padrões Contexto do projeto baseado em padrões Pense em termos de padrões Tarefas de projeto Construção de uma tabela para organização de padrões Erros comuns de projeto Padrões de arquitetura Padrões de projeto de componentes Padrões de projeto para interfaces do usuário Padrões de projeto para WebApps Foco do projeto Granularidade do projeto Padrões para aplicativos móveis Resumo 367 Problemas e pontos a ponderar 368 Leituras e fontes de informação complementares 369 CAPÍTULO 17 Projeto de WebApps Qualidade de projeto em WebApps Objetivos de projeto Uma pirâmide de projeto para WebApps Projeto de interfaces para WebApp Projeto estético Questões de layout Questões de design gráfico Projeto de conteúdo Objetos de conteúdo Questões de projeto de conteúdo Projeto de arquitetura Arquitetura de conteúdo Arquitetura de uma WebApp Projeto da navegação Semântica de navegação Sintaxe de navegação 387

8 xviii Sumário 17.9 Projeto em nível de componentes Resumo 388 Problemas e pontos a ponderar 389 Leituras e fontes de informação complementares 389 CAPÍTULO18 Projeto de aplicativos móveis Os desafios Considerações sobre o desenvolvimento Considerações técnicas Desenvolvimento de aplicativos móveis Qualidade do aplicativo móvel Projeto de interface de usuário Aplicativos sensíveis ao contexto Lições aprendidas Projeto de aplicativos móveis boas práticas Ambientes de mobilidade A nuvem A aplicabilidade da engenharia de software convencional Resumo 408 Problemas e pontos a ponderar 409 Leituras e fontes de informação complementares 410 PARTE III Gestão da qualidade 411 CAPÍTULO 19 Conceitos de qualidade O que é qualidade? Qualidade de software Dimensões de qualidade de Garvin Fatores de qualidade de McCall Fatores de qualidade ISO Fatores de qualidade desejados A transição para uma visão quantitativa O dilema da qualidade do software Software bom o suficiente Custo da qualidade Riscos Negligência e responsabilidade civil Qualidade e segurança O impacto das ações administrativas Alcançando a qualidade de software Métodos de engenharia de software Técnicas de gerenciamento de software Controle de qualidade Garantia da qualidade Resumo 428 Problemas e pontos a ponderar 429 Leituras e fontes de informação complementares 430

9 Sumário xix CAPÍTULO 20 Técnicas de revisão Impacto de defeitos de software nos custos Amplificação e eliminação de defeitos Métricas de revisão e seu emprego Análise de métricas Eficácia dos custos de revisões Revisões: um espectro de formalidade Revisões informais Revisões técnicas formais A reunião de revisão Relatório de revisão e manutenção de registros Diretrizes de revisão Revisões por amostragem Avaliações post-mortem Resumo 446 Problemas e pontos a ponderar 446 Leituras e fontes de informação complementares 447 CAPÍTULO 21 Garantia da qualidade de software Plano de fundo Elementos de garantia da qualidade de software Processos da SQA e características do produto Tarefas, metas e métricas da SQA Tarefas da SQA Metas, atributos e métricas Abordagens formais da SQA Estatística da garantia da qualidade de software Um exemplo genérico Seis Sigma para engenharia de software Confiabilidade de software Medidas de confiabilidade e disponibilidade Segurança do software Os padrões de qualidade ISO O plano de SQA Resumo 463 Problemas e pontos a ponderar 464 Leituras e fontes de informação complementares 464 CAPÍTULO 22 Estratégias e teste de software Uma abordagem estratégica do teste de software Verificação e validação Organizando o teste de software Estratégia de teste de software visão global Critérios para conclusão do teste Problemas estratégicos Estratégias de teste para software convencional Teste de unidade Teste de integração Estratégias de teste para software orientado a objetos Teste de unidade em contexto orientado a objetos Teste de integração em contexto orientado a objetos 481

10 xx Sumário 22.5 Estratégias de teste para WebApps Estratégias de teste para aplicativos móveis Teste de validação Critérios de teste de validação Revisão da configuração Testes alfa e beta Teste de sistema Teste de recuperação Teste de segurança Teste por esforço Teste de desempenho Teste de disponibilização A arte da depuração O processo de depuração Considerações psicológicas Estratégias de depuração Correção do erro Resumo 493 Problemas e pontos a ponderar 494 Leituras e fontes de informação complementares 494 CAPÍTULO 23 Teste de aplicativos convencionais Fundamentos do teste de software Visões interna e externa do teste Teste caixa-branca Teste do caminho básico Notação de grafo de fluxo Caminhos de programa independentes Derivação de casos de teste Matrizes de grafos Teste de estrutura de controle Teste caixa-preta Métodos de teste baseados em grafos Particionamento de equivalência Análise de valor limite Teste de matriz ortogonal Teste baseado em modelos Teste da documentação e dos recursos de ajuda Teste para sistemas em tempo real Padrões para teste de software Resumo 520 Problemas e pontos a ponderar 521 Leituras e fontes de informação complementares 521 CAPÍTULO 24 Teste de aplicações orientadas a objeto Ampliando a visão do teste Teste de modelos de análise e de projeto orientados a objetos Exatidão dos modelos de OOA e OOD Consistência dos modelos orientados a objetos 526

11 Sumário xxi 24.3 Estratégias de teste orientado a objetos Teste de unidade em contexto orientado a objetos Teste de integração em contexto orientado a objetos Teste de validação em contexto orientado a objetos Métodos de teste orientados a objetos As implicações dos conceitos de orientação a objetos no projeto de casos de teste Aplicabilidade dos métodos convencionais de projeto de casos de teste Teste baseado em falhas Projeto de teste baseado em cenários Métodos de teste aplicáveis no nível de classe Teste aleatório para classes orientadas a objetos Teste de partição em nível de classe Projeto de caso de teste entre classes Teste de múltiplas classes Testes derivados de modelos comportamentais Resumo 537 Problemas e pontos a ponderar 538 Leituras e fontes de informação complementares 538 CAPÍTULO 25 Teste de aplicações para Web Conceitos de teste para WebApps Dimensões da qualidade Erros em um ambiente WebApp Estratégia de teste Planejamento de teste O processo de teste uma visão geral Teste de conteúdo Objetivos do teste de conteúdo Teste de banco de dados Teste da interface do usuário Estratégia de teste de interface Teste de mecanismos de interface Teste da semântica da interface Testes de usabilidade Testes de compatibilidade Teste no nível de componente Testes de navegação Teste da sintaxe de navegação Teste da semântica de navegação Teste de configuração Tópicos no lado do servidor Tópicos no lado do cliente Teste de segurança Teste de desempenho Objetivos do teste de desempenho Teste de carga Teste de esforço Resumo 563 Problemas e pontos a ponderar 564 Leituras e fontes de informação complementares 565

12 xxii Sumário CAPÍTULO 26 Teste de aplicativos móveis Diretrizes de teste As estratégias de teste As estratégias convencionais são adequadas? A necessidade de automação Construção de uma matriz de teste Teste de esforço (stress) Testes em um ambiente de produção Considerações sobre o espectro da interação do usuário Teste de gestos Entrada e reconhecimento de voz Entrada por teclado virtual Alertas e condições extraordinárias Teste além de fronteiras Problemas do teste em tempo real Ferramentas e ambientes de teste Resumo 581 Problemas e pontos a ponderar 582 Leituras e fontes de informação complementares 582 CAPÍTULO 27 Engenharia de segurança Análise dos requisitos de segurança Segurança e privacidade em um mundo online Mídia social Aplicativos móveis Computação em nuvem A Internet das coisas Análise da engenharia de segurança Levantamento de requisitos de segurança Modelagem de segurança Projeto de medidas Verificações de exatidão Garantia da segurança O processo da garantia da segurança Organização e gerenciamento Análise de risco de segurança A função das atividades da engenharia de software convencional Verificação de sistemas confiáveis Resumo 599 Problemas e pontos a ponderar 599 Leituras e fontes de informação complementares 600 CAPÍTULO 28 Modelagem formal e verificação Estratégia sala limpa Especificação funcional Especificação caixa-preta Especificação caixa de estado Especificação caixa-clara Projeto sala limpa Refinamento do projeto Verificação de projeto 608

13 Sumário xxiii 28.4 Teste sala limpa Teste de uso estatístico Certificação Reconsideração dos métodos formais Conceitos de métodos formais Argumentos alternativos Resumo 619 Problemas e pontos a ponderar 620 Leituras e fontes de informação complementares 621 CAPÍTULO 29 Gestão de configuração de software Gestão de configuração de software Um cenário SCM Elementos de um sistema de gestão de configuração Referenciais Itens de configuração de software Gestão de dependências e alterações O repositório de SCM Características gerais e conteúdo Características da SCM O processo SCM Identificação de objetos na configuração de software Controle de versão Controle de alterações Gestão de impacto Auditoria de configuração Relatório de status Gestão de configuração para WebApps e aplicativos móveis Problemas predominantes Objetos de configuração Gestão de conteúdo Gestão de alterações Controle de versão Auditoria e relatório Resumo 650 Problemas e pontos a ponderar 651 Leituras e fontes de informação complementares 651 CAPÍTULO 30 Métricas de produto Framework para métricas de produto Medidas, métricas e indicadores O desafio das métricas de produto Princípios da medição Medição de software orientada a metas Atributos de métricas de software eficazes Métricas para o modelo de requisitos Métricas baseadas em função Métricas para qualidade de especificação Métricas para o modelo de projeto Métricas de projeto de arquitetura Métricas para projeto orientado a objetos Métricas orientadas a classes o conjunto de métricas CK 667

14 xxiv Sumário Métricas orientadas a classes o conjunto de métricas MOOD Métricas orientadas a objeto propostas por Lorenz e Kidd Métricas de projeto em nível de componente Métricas orientadas a operação Métricas de projeto de interface de usuário Métricas de projeto para WebApps e aplicativos móveis Métricas para código-fonte Métricas para teste Métricas de Halstead aplicadas ao teste Métricas para teste orientado a objetos Métricas para manutenção Resumo 679 Problemas e pontos a ponderar 680 Leituras e fontes de informação complementares 680 PARTE IV Gerenciamento de projetos de software 683 CAPÍTULO 31 Conceitos de gerenciamento de projeto O espectro de gerenciamento As pessoas O produto O processo O projeto As pessoas Os envolvidos Líderes de equipe A equipe de software Equipes ágeis Questões de comunicação e coordenação O produto Escopo do software Decomposição do problema O processo Combinando o produto e o processo Decomposição do processo O projeto O princípio W 5 HH Práticas vitais Resumo 699 Problemas e pontos a ponderar 700 Leituras e fontes de informação complementares 701 CAPÍTULO32 Métricas de processo e de projeto Métricas no domínio do processo e do projeto Métricas de processo e aperfeiçoamento do processo de software Métricas de projeto Medição de software Métricas orientadas a tamanho Métricas orientadas a função Harmonizando métricas LOC e FP 711

15 Sumário xxv Métricas orientadas a objetos Métricas orientadas a casos de uso Métricas de projeto de WebApp Métricas para qualidade de software Medição da qualidade Eficiência na remoção de defeitos Integração de métricas dentro do processo de software Argumentos favoráveis às métricas de software Estabelecimento de um referencial Coleta, cálculo e avaliação de métricas Métricas para empresas pequenas Estabelecimento de um programa de métricas de software Resumo 724 Problemas e pontos a ponderar 724 Leituras e fontes de informação complementares 725 CAPÍTULO 33 Estimativas de projeto de software Observações sobre as estimativas O processo de planejamento do projeto Escopo e viabilidade do software Recursos Recursos humanos Recursos de software reutilizáveis Recursos ambientais Estimativa do projeto de software Técnicas de decomposição Dimensionamento do software Estimativa baseada em problema Um exemplo de estimativa baseada em LOC Um exemplo de estimativa baseada em FP Estimativa baseada em processo Um exemplo de estimativa baseada em processo Estimativa com casos de uso Um exemplo de estimativa usando pontos de caso de uso Harmonizando estimativas Modelos empíricos de estimativa A estrutura dos modelos de estimativa O modelo COCOMO II A equação do software Estimativa para projetos orientados a objetos Técnicas de estimativa especializadas Estimativa para desenvolvimento ágil Estimativa para projetos de WebApps A decisão fazer/comprar Criação de uma árvore de decisões Terceirização Resumo 752 Problemas e pontos a ponderar 752 Leituras e fontes de informação complementares 753

16 xxvi Sumário CAPÍTULO 34 Cronograma de projeto Conceitos básicos Cronograma de projeto Princípios básicos Relação entre pessoas e esforço Distribuição de esforço Definição de um conjunto de tarefas para o projeto de software Um exemplo de conjunto de tarefas Refinamento das tarefas principais Definição de uma rede de tarefas Cronograma Gráfico de Gantt Acompanhamento do cronograma Acompanhamento do progresso de um projeto orientado a objetos Cronograma para projetos de WebApps e aplicativos móveis Análise de valor agregado Resumo 774 Problemas e pontos a ponderar 774 Leituras e fontes de informação complementares 776 CAPÍTULO 35 Gestão de riscos Estratégias de risco reativas versus proativas Riscos de software Identificação do risco Avaliação do risco geral do projeto Componentes e fatores de risco Previsão de risco Desenvolvimento de uma tabela de riscos Avaliação do impacto do risco Refinamento do risco Mitigação, monitoramento e gestão de riscos (RMMM) O plano RMMM Resumo 792 Problemas e pontos a ponderar 792 Leituras e fontes de informação complementares 793 CAPÍTULO 36 Manutenção e reengenharia Manutenção de software Suportabilidade do software Reengenharia Reengenharia de processo de negócio Processos de negócio Um modelo de BPR Reengenharia de software Um modelo de processo de reengenharia de software Atividades de reengenharia de software Engenharia reversa Engenharia reversa para entender os dados Engenharia reversa para entender o processamento Engenharia reversa das interfaces de usuário 808

17 Sumário xxvii 36.7 Reestruturação Reestruturação de código Reestruturação de dados Engenharia direta Engenharia direta para arquiteturas cliente-servidor Engenharia direta para arquiteturas orientadas a objetos Aspectos econômicos da reengenharia Resumo 814 Problemas e pontos a ponderar 815 Leituras e fontes de informação complementares 816 PARTE V Tópicos avançados 817 CAPÍTULO 37 Melhoria do processo de software O que é SPI? Abordagens para SPI Modelos de maturidade A SPI é para todos? O processo de SPI Avaliação e análise de lacunas Educação e treinamento Seleção e justificação Instalação/migração Mensuração Gestão de riscos para SPI O CMMI People-CMM Outros frameworks SPI Retorno sobre investimento em SPI Tendências da SPI Resumo 836 Problemas e pontos a ponderar 837 Leituras e fontes de informação complementares 837 CAPÍTULO 38 Tendências emergentes na engenharia de software Evolução da tecnologia Perspectivas para uma verdadeira disciplina de engenharia Observação de tendências na engenharia de software Identificação das tendências leves Gestão da complexidade Software aberto Requisitos emergentes O mix de talentos Blocos básicos de software Mudança na percepção de valor Código aberto Rumos da tecnologia Tendências de processo O grande desafio Desenvolvimento colaborativo Engenharia de requisitos 852

18 xxviii Sumário Desenvolvimento de software controlado por modelo Projeto pós-moderno Desenvolvimento guiado por teste Tendências relacionadas a ferramentas Resumo 857 Problemas e pontos a ponderar 857 Leituras e fontes de informação complementares 858 CAPÍTULO 39 Comentários finais A importância do software revisitada Pessoas e a maneira como constroem sistemas Novos modos de representar a informação A visão no longo prazo A responsabilidade do engenheiro de software Comentário final de RSP 867 APÊNDICE 1 Introdução à UML 869 APÊNDICE 2 Conceitos de orientação a objetos 891 APÊNDICE 3 Métodos formais 899 REFERÊNCIAS 909 ÍNDICE 933