News

3 March 2010:

OutSystems SA engineering kickoff 2010 meeting at FCT/UNL hosts invited talk by CITI PLASTIC team researcher João Seco, on "Programming Language Techniques for Software Validation".

Project Highlights

INTERFACES - Certified Interfaces for Integrity and Security in Extensible Web Based Applications

STREAMLINE - Thread-Safety by Typing for Mainstream Concurrent Object-Oriented Programming

FLEX-AGILE - Flexibility and Confidence in Application Development