Frameworks orientados a objetos e padrões de projeto. Arquitetura de software e seus atributos de qualidade. Desenvolvimento baseado em componentes. Reflexão computacional e arquiteturas de meta-níveis. Frameworks orientados a objetos, padrões de projeto e componentes para aplicações de bioinformática.Processos de desenvolvimento de software orientado a objetos. Testes de software. Testes baseados em modelos formais do comportamento.