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
2019
Regina Motz (IC - URU) - 10/12/2019
Alberto Prado (IC - URU) - 03/12/2019
Hermann Haeusler (DI - PUC-Rio) - 22/10/2019
Bruno Lopes (IC - UFF) - 08/10/2019
Eduardo Ochs (UFF) - 10/09/2019
Jean-Baptiste Joinet (Université de Lyon) - 27/08/2019
- Bernardo Alkmim (DI - PUC-Rio) - 02/07/2019
- Carlos Brito (UFC) - 25/06/2019
Robinson Callou (PUC-Rio) - 11/06/2019
Alexandre Rademaker (FGV-Rio) - 04/06/2019
- Carlos Brito (UFC)- 14/05/2019
João Barroca (UFJV - Rio) - 30/04/2019
Cecilia Englander (PUC-Rio) - 09/04/2019
2018
- Alexandre Rademaker - 30/10/2018
Narciso Martí-Oliet (UCM - Madri) - 23/10/2018
Tiago Alves (Filosofia - PUC-Rio) - 02/10/2018
Bernardo Alkmim (DI - PUC-Rio) - 25/09/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)