• Name: Miguel Cruz
• Email: mcz@sidereus.pt
• Homepage: http://www.sidereus.pt
• Country: Portugal
• Comment:

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)
  • Set ALLOWTOPICCHANGE = MiguelCruz

Interest Areas

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

Projects

• 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

• TWikiPreferences has site-level preferences of TWiki.
• WebPreferences has preferences of the TWiki.Main web.
• TWikiUsers has a list of other TWiki users.