HASLab

High-Assurance Software Laboratory

Overview


News

  • New Position: Hugo Macedo is since this month (Apr. 2012) an Invited Researcher at LIAFA in Paris.
  • New Paper: Formal analysis of Ubiquitous Computing environments through the APEX framework, J.L. Silva, J.C. Campos and M.D. Harrison. In the proceedings of EICS'12, Copenhagen, Denmark, June 25-28, 2012 (to appear)
  • Software: Just released the latest version of the AlloyMDA tools, for bidirectional transformation between Alloy and UML class diagrams annotated with OCL
  • New Paper: Towards an Evaluation of Bidirectional Model-driven Spreadsheets, J. Cunha, J.P. Fernandes, J. Mendes and J. Saraiva. In the proc. of USER'12, an ICSE'12 Workshop, Zurich, Switzerland, June 5, 2012 (to appear)
  • New Poster: A Bidirectional Model-driven Spreadsheet Environment, J. Cunha, J. Paulo Fernandes, J. Mendes and J. Saraiva. In the Posters Session of ICSE'12, Zurich, Switzerland, June 2-9, 2012 (to appear)

                        (more...)

DI » FMHAS » WebHome

Welcome to HASLab

TFM09.jpg Hello! My name is Jorge Sousa Pinto and I am the leader of HASLab, the University of Minho's High-Assurance Software Laboratory. In this laboratory, we do research on formal methods applied to the development of high-quality software, that is, software that you can depend on.

Our lemma is "Improving Practice Through Theory", meaning that we do not believe in ad-hoc, pre-scientific technology. Our lab is the outcome of more than 25 years of research and teaching in the field.

HASLab is a research center of the University of Minho and a privileged partner (PP) of the INESC TEC associate laboratory.

Bookshelf

rsd-cover.png TFM09.jpg LERNET08.jpg
|GTTSE09.jpg | GTTSE07.jpg FACS2010 |

Links:

CACE-logo.jpg UsiXML Promoter    
CCTC-logo.jpg DI-logo.jpg Intranet

r71 - 16 Apr 2012 - 17:28:27 - JoseNunoOliveira
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