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
2018
- Carlos Eduardo Brito (UFC) - 18/09/2018
Yannis Papakonstantinou (Amazon/UCSD) - 04/09/2018
Hermann Haeusler (DI - PUC-Rio) - 21/08, 28/08 e 11/09/2018
Thomas Seiller (Univ. Paris XIII) - 07/08/2018
Hermann Haeusler (DI - PUC-Rio) - 17/06/2018
- Hermann Haeusler (DI - PUC-Rio) - 10/07/2018
Cecilia Englander (DI - PUC-Rio) - 12/06/2018
Alberto Pardo (URU, Uruguai) - 05/06/2018
Andre Metelo (IC - UFF) - 15/05/2018
2016:
2015:
2014:
2013:
2012:
- Jean-Baptist Joinet (Université de Lyon)
2011:
- I Workshop on Logic and Semantics
- 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)