TecMF

Laboratório de Métodos Formais

O Laboratório TecMF tem por objetivo a pesquisa, o desenvolvimento e a aplicação de tecnologia formal, isto é, na utilização de modelos matemáticos no apoio ao processo de desenvolvimento de software em todas as suas fases. O grupo desenvolveu know-how no uso de técnicas de transformação de programas, como por exemplo a geração de programas a partir de especificações de alto nível e sua aplicação ao problema de código legado. O problema de código legado é crítico na manutenção de sistemas pois trata da adaptação destes sistemas a novos modelos e novas tecnologias. Em se tratando de modelagem e validação de sistemas, o grupo vem desenvolvendo considerável expertise no aspecto de interoperabilidade formal em arquiteturas de software. O TecMF também desenvolve provadores de teoremas e verificadores de modelos e suas interfaces que são aplicáveis tanto em validação de software crítico como em análise de conformidade de padrões de segurança. Mais informações em http://www.tecmf.inf.puc-rio.br

O TecMF é coordenado pelo Prof. Edward Hermann Haeusler (hermann@inf.puc-rio.br).

web site: www.tecmf.inf.puc-rio.br

Comments are closed.