O SPLab/DSC/CEEI/UFCG, antigo GMF, mudou suas instalações físicas. O prédio agora está localizado ao lado do iQuanta e conta com uma estrutura de mais de 700 m².
Antes de se tornar o Laboratório de Práticas de Software, o SPLab já assumiu diferentes nomes e formatos. Segundo o professor Jorge Figueiredo, atual coordenador Administrativo da Unidade Acadêmica de Sistemas e Computação e líder do grupo pela CAPES, o SPLab começou como o grupo de Redes de Petri. À medida que outros professores foram ingressando no DSC, esse laboratório foi crescendo e diversificando suas linhas de pesquisa, de forma que o nome Redes de Petri não abrangia mais todos os projetos em andamento.
Devido a essa expansão, o laboratório passou a se chamar Grupo de Métodos Formais (GMF). No entanto, o grupo crescia cada vez mais, tanto em diversidade de projetos quanto em número de pessoas envolvidas, e não havia um espaço físico apropriado para abrigar todos os projetos. Logo, veio a necessidade de uma estrutura física adequada e um novo nome que abrangesse ainda mais as pesquisas que estavam sendo desenvolvidas, e o GMF passou a ser conhecido por SPLab, atual nomenclatura do laboratório.
As linhas de pesquisa atuais do SPLab são:
- Desenvolvimento Dirigido por Modelos
- Educação em Engenharia de Software
- Evolução de Software
- Métodos Formais
- Produtividade em Software
- Verificação, Validação e Testes
Quanto às instalações físicas do SPLab, o laboratório é dividido em 18 salas para pesquisadores, 2 salas de reunião, sendo uma grande e outra pequena, 1 auditório e área de serviço (banheiros, circulação e copa). Entre as salas destinadas a pesquisadores, existem salas para professores, para pesquisadores visitantes, para projetos de pesquisa e para estudantes pesquisadores.
O laboratório foi construído com recursos provindos de diferentes fontes, dentre as quais:
- CT-INFRA - Fundo de infraestrutura da FINEP (Financiadora de Estudos e Projetos, empresa pública vinculada ao Ministério da Ciência e Tecnologia) para a construção e expansão de laboratórios de pesquisa;
- Recursos próprios da UFCG;
- Recursos de vários projetos de pesquisa dos professores do SPLab, alguns em parceria com empresas e instituições privadas e outros de órgãos públicos de incentivo à pesquisa.
Os professores atualmente envolvidos em pesquisa no SPLab são: Dalton Serey, Tiago Massoni (Coordenador da Graduação), Jorge Figueiredo, Franklin Ramalho (antigo Coordenador do SPLab), Patrícia Machado, Wilkerson Andrade, Eliane Araújo e Adalberto Cajueiro.
Segundo o professor Dalton Serey, coordenador do SPLab, a junção do laboratório em um único espaço físico (antes o SPLab estava localizado em vários espaços separados), potencializará o compartilhamento de ideias e a troca de experiência entre os pesquisadores. O Prof. Dalton informou ainda que as novas instalações do laboratório refletem diretamente na articulação de novos projetos, tanto com pesquisadores brasileiros quanto com pesquisadores estrangeiros.
Indubitavelmente, o crescimento do SPLab implica diretamente no DSC. O laboratório agora tem condições de abrigar mais projetos e mais pesquisadores, refletindo em mais possibilidades para o desenvolvimento da ciência e da tecnologia e mais oportunidades para os professores e estudantes agregados à Unidade Acadêmica de Sistemas e Computação/CEEI/UFCG.
Grupo PET Computação UFCG, 2011. All rights reserved.
