TecMF

Núcleo de Inovação Tecnológica

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.