• New project: GWS: providing consultancy in the development of Cachapuz's next generation software development framework. J.C. Campos (HASLab) and A.N. Ribeiro
• Paper accepted at Ada-Europe'2010: Program Verification in SPARK and ACSL: A Comparative Case Study by E. Brito and J. Sousa Pinto
• EASST Best Paper Award at FMICS'09 to J. Bacelar Almeida, M. Barbosa, J. Sousa Pinto, and B. Vieira, for their paper Verifying Cryptographic Software Correctness with Respect to Reference Implementations
• New Paper: Bringing Class Diagrams to Life. By Luis Barbosa and Sun Meng
• New Paper: Towards the introduction of Qos information in a Component Model. By Sun Meng, Luis Barbosa

                        (more...)