KMig - Data Migration Tool fully specified in VDM++ at Sidereus, S.A.
CRM - Customers Relationship Management - Application partially formally specified in VDM++, being the Datatypes fully specified. Developement in C# for web environments over MS SQL/Server databases.
SGCCE - Sistema de Gestão Comercial de Clientes Especiais (at Edinfor) - Comercial system for Customers' account management, Invoicing, Billing, etc. directed at EDP's big accounts' clients.