Foundations and Applications of Software Technology




  • MOMPES 2008 - Model-based Methodologies for Pervasive and Embedded Software
  • Interacção 2008 - 3ª Conferência Interacção Pessoa-Máquina
  • XATA 2008 - 6th national conference of XML: Applications and Technologies. Évora, 14,15 February 2008



  • New Project: FAST members participate in EFACEC's InPACT project
  • Co-chair: J. C. Campos was designated co-chair of the programme committee of INTERACÇÃO'08.
  • New Paper: Simulation and Formal Verification of Industrial Systems Controllers
  • New Paper: Formal analysis of interactive systems: opportunities and weaknesses
  • New Paper: Connecting rigorous system analysis to experience centred design



(All email addresses are AT except where indicated)

Research Students

(All email addresses are AT except where indicated)

External Research Students

(All email addresses are AT except where indicated)

Former Research Members

Former Students

  • Pedro Quaresma de Almeida, supervised by J. Valença.
  • Giovani Rubert Liberlotto, Topic Maps, from Syntax to Semantics. Supervised by P. Henriques and C. Ramalho.
  • Paulo Jorge Matos. An Architectural Model for the Development of Compilers: application to "Dolphin" Framework. Supervised by P. Henriques.
  • Sun Meng, 2004. Coalgebra Theory and its Application in Component Software. Co-supervised by L. Barbosa.
  • Miguel Pessoa Monteiro, 2005. Refactorings to Evolve Object-Oriented Systems with Aspect-Oriented Concepts. Supervised by J. M. Fernandes.
  • Maria João Varanda Pereira. Systematization of Program Visualization and Algorithm Animation. Supervised by P. Henriques.
  • Maria de Fátima Coutinho Rodrigues. An Heterogeneous Architecture for Knowledge Extraction from Databases. Co-supervised by P. Henriques.

r6 - 29 Aug 2008 - 14:00:45 - JoseBacelarAlmeida
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback
Syndicate this site RSSATOM