Foundations and Applications of Software Technology


Local Links


  • 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


DI » FAST » WebHome

The research group on Foundations and Applications of Software Technology is part of the Center for Computing Sciences and Technologies (Centro de Ciências e Tecnologias da Computação, CCTC) of the University of Minho (Braga, Portugal).

FAST's research is concerned with foundations (F), applications (A) and software (S) technology (T) and spreads over HCI, software components, reactive systems, language technology and security. Abstract modeling binds these concerns together. Research in this area at the Department of Informatics has a long tradition at the scientific level, with significant links to national industry, and a deep involvement in the department's teaching activities, at both the undergraduate and the postgraduate level.

Regular group's activities include a research seminar that provides a stimulating meeting opportunity for the whole team, including post-grad and final year undergraduate students.

r40 - 28 Jun 2009 - 00:49:26 - PedroRangelHenriques
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