Tool for Conceptual Modeling

Duration:January 2000 until December 2003
Contact:Prof.Dr. R.J. Wieringa (Roel)

The TCM project has as its aim the construction of a Toolkit for Conceptual Modeling. TCM contains about 20 graphical editors for all techniques from the UML, structured analysis, JSD and other methods. There is an interface between some of these editors and the model checker nuSMV.

Project information

Period: Unlimited

Sponsor: University of Twente and voluntary work by numerous people

More information on the TCM page