Formal Methods Group at Informatics Departament/PUC-Rio

O TecMF tem por objetivo a pesquisa, o desenvolvimento e a aplicação de tecnologia formal, isto é, que utiliza modelos matemáticos, no apoio ao processo de desenvolvimento de software em todas as suas fases.

O grupo desenvolveu amplo know-how no uso de técnicas de transformação de programas, como por exemplo 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.

Talks

2015:

2014:

2013:

2012:

2011:

2010:

2009:

2007:

2006:

Events

TecMF: FrontPage (last edited 2016-04-13 20:45:04 by EdwardHermann)