Engenharia de Software

A pesquisa em Engenharia de Software objetiva oferecer técnicas e ferramentas para embasar o desenvolvimento de software, de uma maneira sistemática, promovendo a qualidade e atendendo aos requisitos dos envolvidos. São conduzidas pesquisas nas diversas atividades que compõe um processo de desenvolvimento, como por exemplo, especificação, análise, projeto, implementação, testes, manutenção e gerência de configuração, e para variados domínios de aplicação, como sistemas web, computação móvel, sistemas colaborativos, sistemas distribuídos etc.

Alguns tópicos investigados na pesquisa em Engenharia de Software no Departamento são: métodos ágeis, software livre, sistemas tolerantes a falha, métodos formais para especificação e verificação de sistemas, computação móvel, desenvolvimento baseado em componentes, linha de produto, arquitetura de software, testes de software, escalabilidade e desenvolvimento de sistemas para Web.