About me



Name: António Miguel Rosado da Cruz

Education

  • I'm now developing my PhD research work.
  • MSc in Informatics (U. Minho) in Nov 2004.
  • Post-graduation in Informatics (U. Minho) in Jul 2001.
  • 5 years graduation in Mathematics and Computer Science (U. Minho) in Dec 1993.
    

Professional Curriculum

  • Assistant professor at ESTG - IPVC since September 2005.
  • Analyst/Consultant at Sidereus, SA from March 2001 until September 2005.
  • Analyst/Consultant at Edinfor, SA (the pre-Logica CMG site no longer exists) from Feb 1994 until March 2001.
  • Junior researcher at INESC from March 1993 until Jan 1994.

Interest&Research Areas

  • Code Generation
  • Software engineering using formal and semi-formal methods
  • Rigorous Software Modelling Methods in Industry
  • Program Calculi
  • Models and Programs Transformation / Model-driven Development
  • VDM/VDM++
  • UML and OCL
  • Microsoft .Net technology
  • Data Migration and ETL tools with a formal basis

Main Projects

  • Business Model and Requirements elicitation and modeling for the ``Portal Autárquico" project - Valimar Digital - 2006.
  • Objectification of Formal Specifications - MSc Thesis - PURe Project (Program Understanding and Reengineering: Calculi and Applications) - 2004.
  • KMig - Data Migration Tool fully specified in VDM++ at Sidereus, S.A. - 2002.
  • 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.
  • IKF Project (Information and Knowledge Fusion)
  • 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.