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

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). PURe Project (Program Understanding and Reengineering: Calculi and Applications).
• 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 Project (Information and Knowledge Fusion)

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.

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