OutSystems and the INTERFACES project
The OutSystems is the industrial partner of the INTERFACES project, which aims the development of new techniques for enforcing security, integrity, and correctness requirements on distributed extensible web‐based applications by introducing novel, semantically rich notions of interface description languages, based on advanced type systems and logics. This project is developed in the scope of the Carnegie Mellon Portugal Program.
Read the Portuguese article at Computer World (May 31, 2011).