FAST
Foundations and Applications of Software Technology
Login
|
Register
|
Print
Overview
Home
Research
People
Projects
Tools
Opportunities
Seminar
Education
Events
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
(
more...
)
News
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
(
more...
)
DI
»
FAST
»
WebHome
»
WebSideBar
»
FastResearch
»
FastPeople
»
FastProjects
»
FastPastProjects
Past Projects
PURe - Program Understanding and Re-engineering: Calculi and Applications
(FCT contract POSI/CHS/44304/2002)
AudioBrowser
METHODES: Methodologies and Tools for Developing Embedded Systems
SOUR
- Eureka 379
IKF
Eureka 2235
KARMA
(P060-P31B-09/97) Data Quality based on Formal Data Reverse Calculation
SETS
CAMILA
( JNICT contract Ref. 169/90)
LOGCOMP
Old webpages:
Theory and Formal Methods
Logic and Formal Methods Group
INESC Braga
FM Group
r2 - 30 Mar 2008 - 16:02:34 -
JoseBacelarAlmeida
Copyright © 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
RSS
ATOM