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 next two years in its, QREN funded, InPACT project (Integrated Engineering Tools for Protection, Automation and Control Systems).

Sep 08, 2008 11:59 PM


Co-chair: J. C. Campos was designated co-chair of the programme committee of INTERAC«√O'08.

The conference will be held in …vora, 15-17 October 2008.

Oct 12, 2007 2:08 PM


New Paper: Simulation and Formal Verification of Industrial Systems Controllers

J. Machado and E. Seabra and J.C. Campos and F. Soares and C.P. Leao and J.F. Silva (forthcoming) In 19th International Congress of Mechanical Engineering (COBEM 2007).

Oct 12, 2007 1:40 AM


New Paper: Formal analysis of interactive systems: opportunities and weaknesses

M. D. Harrison and J. C. Campos and K. Loer (forthcoming) In P. Cairns and A. Cox, editors, Research Methods in Human Computer Interaction. Cambridge University Press.

Oct 12, 2007 1:39 AM


New Paper: Connecting rigorous system analysis to experience centred design

(download from RepositoriUM? )

M. D. Harrison and J. C. Campos and G. Doherty and K. Loer (forthcoming) In E. Law and E. Hvannberg and G. Cockton and J. Vanderdonckt, editors, Maturing Usability: Quality in Software, Interaction and Value, Human-Computer Interaction Series. Springer. (ISSN: 1571-5035; ISBN: 978-1-84628-940-8)

Oct 12, 2007 1:39 AM


New Paper: A New Plant Modelling Approach For Formal Verification Purposes

J. Machado and E. Seabra and F. Soares and J. Campos (forthcoming) In 11th IFAC Symposium on Large Scale Systems 2007. Elsevier.


New Paper: Considering context and users in interactive systems analysis

J.C. Campos and M.D. Harrison (forthcoming) In Engineering Interactive Systems 2007, Lecture Notes in Computer Science. Springer-Verlag.


New Paper: An Interaction Model and Infrastructure for Localized Activities in Pervasive Computing Environments

H. Pinto and R. Josť and J. C. Campos (2007) In IEEE International Conference on Pervasive Services 2007 (ICPS'07), pages 232-241. IEEE Computer Society Press. (ar: 18/64 ~.28)


NewPaper: Model-based user interface testing with Spec Explorer and ConcurTaskTrees?

J. L. Silva and J. C. Campos and A. Paiva (2007) In Paul Curzon and Antonio Cerone, editors, The Pre-proceedings of the 2nd International Workshop on Formal Methods for Interactive Systems (FMIS 2007), pages 116-133. (to appear in ENTCS, Springer - ar: 7/18 ~.39)


New Paper: Exploring an option space to engineer a ubiquitous computing system

M. Harrison and C. Kray and J. C. Campos (2007) In Paul Curzon and Antonio Cerone, editors, The Pre-proceedings of the 2nd International Workshop on Formal Methods for Interactive Systems (FMIS 2007), pages 67-82. (to appear in ENTCS, Springer - ar: 7/18 ~.39)


New Paper: Exploring an option space to engineer a ubiquitous computing system

M. Harrison and C. Kray and J. C. Campos (2007) In Paul Curzon and Antonio Cerone, editors, The Pre-proceedings of the 2nd International Workshop on Formal Methods for Interactive Systems (FMIS 2007), pages 67-82. (to appear in ENTCS, Springer - ar: 7/18 ~.39)


New Paper: Integrating HCI into a Software Engineering course

A.N. Ribeiro and J.C. Campos and F.M. Martins (2007) In Pre-proceedings HCI Educators 2007.


New Paper: Combining Formal Methods and Functional Strategies Regarding the Reverse Engineering of Interactive Applications

J. C. Silva and J. C. Campos and J. Saraiva (2007) In G. Doherty and A. Blandford, editors, Interactive Systems: Design, Specification and Verification, volume 4323 of Lecture Notes in Computer Science, pages 137-150. Springer-Verlag.


New Paper: Paper Coupled Schema Transformation and Data Conversion For XML and SQL (by Pablo Berdaguer, Alcino Cunha, Hugo Pacheco, and Joost Visser) accepted by PADL 2007 (Nice, France).

Oct 5, 2006 4:21 PM


New Paper: Paper Strongly Typed Rewriting For Coupled Software Transformation (by AlcinoCunha? and Joost Visser) accepted by RULE 2006 (Seattle, USA).

Sep 25, 2006 11:42 AM


New Paper: Paper Strong Types for Relational Databases by Alexandra Silva and Joost Visser has been accepted for the Haskell Workshop 2006 (Portland, USA).

Sep 25, 2006 11:42 AM


New Paper: Paper Configurations of Web Services by MarcoAntonioBarbosa? and LuisSoaresBarbosa? has been accepted for FOCLASA'06 (Bonn, Germany). Sep 25, 2006 11:41 AM


New Paper: Paper Towards a Coordination Model for Interactive Systems by MarcoAntonioBarbosa? , JoseCampos? and LuisSoaresBarbosa? has been accepted for FMIS'06 (Macau).

Sep 25, 2006 11:40 AM