HASLab

High-Assurance Software Laboratory

Overview

News

  • New Paper: José N. Oliveira, Miguel A. Ferreira, "Alloy Meets the Algebra of Programming: A Case Study," IEEE Transactions on Software Engineering, vol. 39, no. 3, pp. 305-326, March 2013, doi:10.1109/TSE.2012.15
  • New Paper: Nuno Macedo and Alcino Cunha: Implementing QVT-R Bidirectional Model Transformations using Alloy. Accepted at FASE'13
  • New Paper: Shin-Cheng Mu, J.N. Oliveira. Programming from Galois connections. The Journal of Logic and Algebraic Programming 81 (2012) 680–704 (DOI 10.1016/j.jlap.2012.05.003)
  • New Position: Hugo Macedo is since this month (Jan. 2013) a post-doct at Deducteam in Paris.
  • New Paper: J.N. Oliveira. Towards a Linear Algebra of Programming. Formal Aspects of Computing (2012) 24: 433–458 (DOI 10.1007/s00165-012-0240-9)

                        (more...)

DI » FMHAS » WebHome » Education

Ph.D.

M.Sc.

Master courses in Computer science at Minho University are built upon the concept of a specialisation course.

Each of these corresponds to a half-time academic year (30 ECTS), and are focused on a particular applicational area of computer science. Moreover, they incorporate an important project component, where the student must incorporate all the necessary skills.

HASLab group members are involved in the following courses:

r11 - 22 Mar 2012 - 10:48:40 - 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