Tweet
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
2013:
2011:
- Gilles Dowek (École polytechnique)
- Maël Pegny (Université Paris 1)
2010:
- Thomas Piecha (University of Tuebingen)
2009:
2007:
2006:
Event Count Automata: A State-based Model for Stream Processing Systems (Samarjit Chakraborty)
Palestra Convergence in the Philosophy of Mathematics (Prof. Edward Zalta)