Miguel Cruz


Personal Preferences (details in TWikiVariables)

  • Horizontal size of text edit box:
    • Set EDITBOXWIDTH = 70
  • Vertical size of text edit box:
    • Set EDITBOXHEIGHT = 17
  • Style of text edit box. width: 99% for full window width (default), width: auto to disable.
    • Set EDITBOXSTYLE = width: 99%
  • Optionally write protect your home page: (set it to your WikiName)

Interest Areas

  • Formal Methods in Industry
  • Program Transformation
  • VDM/VDM++
  • Data Migration and ETL tools with a formal basis


  • Objectification of Formal Specifications - MSc Thesis in preparation (at Minho University, Portugal)
  • 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.
  • IKF

Related topics