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

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

Revision: r1.1 - 30 Aug 2004 - 13:18 - MiguelCruz
Main > TWikiUsers > MiguelCruz
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback