FAST

Foundations and Applications of Software Technology

Overview


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 » WebIndex
DI/FAST Web Changed Changed by
ConferenceList 28 Jun 2007 - 11:39 - r100 JoseBacelarAlmeida
Upcoming Deadlines Deadline Name When Where January 8, 2007 FMOODS'07 June 6 8, 2007 Paphos, Cyprus January 12, 2007 SBLP'07 May ...
FastEducation 29 Mar 2008 - 04:49 - NEW JoseBacelarAlmeida
Ph.D. MAP/I Doctoral Programme in Computer Science M.Sc. Courses Master courses in Computer science at Minho University are built upon the concept of specialisation ...
FastEvents 29 Mar 2008 - 04:51 - r3 JoseBacelarAlmeida
Forthcoming Events 2008 Model based Methodologies for Pervasive and Embedded Software MOMPES (Model based Methodologies for Pervasive and Embedded Software ...
FastEventsHeadlines 29 Mar 2008 - 04:51 - NEW TWikiGuest
2008 Model based Methodologies for Pervasive and Embedded Software 2008 3ª Conferência Interacção Pessoa Máquina 2008 6th national conference of XML: Applications ...
FastNews 08 Sep 2008 - 23:30 - r3 JoseCampos
FAST News New Project: FAST members participate in EFACEC's InPACT project. FAST members J.C. Campos and P.R. Henriques will be cooperating with EFACEC over the ...
FastNewsHeadlines 08 Sep 2008 - 23:30 - NEW TWikiGuest
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. ...
FastOpportunities 29 Sep 2009 - 15:04 - r4 JoseBacelarAlmeida
Post doctoral positions The Computer Science and Technology Center (Centro de Ciências e Tecnologias de Computação, CCTC) invites applications for a 3 year research ...
FastPastProjects 30 Mar 2008 - 16:02 - r2 JoseBacelarAlmeida
Past Projects Program Understanding and Re engineering: Calculi and Applications (FCT contract POSI/CHS/44304/2002) http://www.di.uminho.pt/~jmf/ ...
FastPeople 29 Aug 2008 - 14:00 - r6 JoseBacelarAlmeida
Staff (All email addresses are AT di.uminho.pt except where indicated) Nuno Oliveira (PI, Associate Professor) http://repositorium.sdum.uminho.pt/items ...
FastProjects 23 Jun 2009 - 13:18 - r4 AntonioNestorRibeiro
InPACT: Integrated Engineering Tools for Protection, Automation and Control Systems O projecto InPACT é um projecto de II DT com vista ao desenvolvimento de ferramentas ...
FastResearch 09 Apr 2008 - 16:53 - r3 JoseBacelarAlmeida
The following research challenges have been targetted in recent work: How to model, design and reason rigorously about highly complex software systems (including ...
FastSeminar 13 May 2010 - 23:54 - r38 JoseNunoOliveira
FAST Seminar Series Wednesdays at 14:00 in the DI meeting room The FAST Seminar Series is a bi weekly scientific colloquium organized by the and Applications of ...
FastTools 09 Apr 2008 - 17:16 - r3 JoseBacelarAlmeida
2LT A two level data transformation system. 2LT is a deliverable of the PURe project. Examples of application include XML schema evolution coupled with document migration ...
FlexibleSkinLeftBar 28 Jun 2007 - 11:45 - r4 JoseBacelarAlmeida
Home FAST Wiki Home FAST TfmSeminar Related Research.PURe Project Navigation Users Changes Index Statistics Webs Search
FlexibleSkinStyleSheet 21 Sep 2006 - 19:03 - r2 JoostVisser
body { background color : lightgray; font family: Verdana, Arial, Helvetica, sans serif; font size: 12px ; } a:link { text decoration : none ; color : darkblue ...
FlexibleSkinTopBar 21 Sep 2006 - 18:36 - r2 JoostVisser
FlexibleSkinTopicFooter 21 Sep 2006 - 14:49 - NEW JoostVisser
{ Edit Attach Printable Diffs More... }
InPACT 08 Sep 2008 - 23:41 - NEW JoseCampos
InPACT O projecto InPACT (Integrated Engineering Tools for Protection, Automation and Control Systems) é liderado pela EFACEC e acaba de obter financiamento do QREN ...
LmfLivros 28 Jun 2007 - 11:39 - r18 JoseBacelarAlmeida
Livros a comprar Por favor indiquem o número de cópias e um link para a página respectiva na editora. E verifiquem se já existe na biblioteca! Kees Doets and ...
LocalLinksSideBar 29 Mar 2008 - 04:38 - r2 JoseBacelarAlmeida
do Minho of Informatics Science and Technology Center (CCTC) page @ CCTC site FAST Intranet
MscThemes0809 26 Sep 2008 - 17:00 - r3 JoseBacelarAlmeida
Propostas de Temas para Dissertações de Mestrado Um animador para a linguagem CALF. ÁREA CIENTÍFICA: SECURITY AND PROTECTION ANALYSIS OF ALGORITHMS AND ...
MscThemes0910 29 Sep 2009 - 16:49 - r2 ManuelBernardoBarbosa
Propostas de Temas para Dissertações de Mestrado Extensões de Alto Nivel Para uma Linguagem de Programação Criptográfica ÁREA CIENTÍFICA: SECURITY AND PROTECTION ...
PeopleSideBar 29 Mar 2008 - 04:18 - NEW JoseBacelarAlmeida
Staff Research Students External Research Students Former Research Members Former Students
ProjectsSideBar 29 Mar 2008 - 04:36 - NEW JoseBacelarAlmeida
Past Projects Old Webpages
ResearchSideBar 29 Mar 2008 - 02:57 - r2 JoseBacelarAlmeida
Research Partnerships Industrial Liaisons
Software 28 Jun 2007 - 11:42 - r7 JoseBacelarAlmeida
The FAST group develops and maintains software tools and libraries that support its research and education activities. name description Camila VDM meets ...
TfmSeminar 14 May 2010 - 00:01 - r11 JoseNunoOliveira
Theory and Formal Methods Seminar Series Wednesdays at 9:00 in the DI meeting room The Theory and Formal Methods Seminar series (TfmSeminar) is a bi weekly scientific ...
WebChanges 16 Aug 2001 - 19:58 - NEW PeterThoeny?
WebCss 29 Mar 2008 - 03:33 - r2 JoseBacelarAlmeida
.natMiddle .natExternalLink:after { margin left:0px; margin right:0px; content:""; } .natRevision { width:0px; height:0px; overflow:hidden; } .natBreadCrumbs ...
WebHome 28 Jun 2009 - 00:49 - r40 PedroRangelHenriques
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 ...
WebIndex 24 Nov 2001 - 11:41 - r2 PeterThoeny?
See also the faster WebTopicList
WebLeftBar 16 Aug 2004 - 09:01 - NEW ArthurClemens?
Web Web Home Changes Index Search Webs
WebNotify 04 Jun 2006 - 14:33 - r5 JoostVisser
This is a subscription service to be automatically notified by e mail when topics change in this DI/FAST web. This is a convenient service, so you do not have to ...
WebPreferences 28 Mar 2008 - 14:16 - r14 JoseBacelarAlmeida
TWiki.DI/FAST Web Preferences The following settings are web preferences of the TWiki.DI/FAST web. These preferences overwrite the site level preferences in ...
WebRss 30 Jan 2003 - 08:15 - NEW PeterThoeny?
TWiki's DI/FAST web /view/DI/FAST The DI/FAST web of TWiki. TWiki is a Web Based Collaboration Platform for the Corporate World.
WebSearch 08 Aug 2001 - 05:26 - NEW PeterThoeny?
WebSearchAdvanced 17 May 2007 - 14:51 - NEW TWikiGuest
WebSideBar 29 Mar 2008 - 03:37 - r6 JoseBacelarAlmeida
Overview Home Research People Projects Tools Opportunities Seminar Education "}% Events (more...) News ...
WebStatistics 28 Jun 2007 - 11:45 - r1056 JoseBacelarAlmeida
Statistics for DI/FAST Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and ...
WebTopicList 24 Nov 2001 - 11:40 - NEW PeterThoeny?
See also the verbose WebIndex.
Found 40 topics.

See also the faster WebTopicList

r2 - 24 Nov 2001 - 11:41:09 - PeterThoeny?
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