var fDesc=new Array();
fDesc[0] = "The Toolkit for Conceptual Modeling is a collection of software tools to present specifications of software systems in the form of diagrams, tables, trees, and the like. TCM offers editors for techniques used in Structured Analysis as well as editors for object-oriented (UML) techniques. For some of the behavior specification techniques, an interface to model checkers is offered. More in particular, TCM contains the following editors. <br /> <br /> - Generic editors for generic diagrams, generic tables and generic trees. All available icons can be used and no syntactic diagram constraints are checked.<br /> - Unified Modeling Language (UML) editors for static structure (i.e. class and object) diagrams, use-case diagrams, activity diagrams, statecharts, collaboration diagrams, component diagrams and deployment diagrams.<br /> - Structured Analysis (SA) editors for entity-relationship diagrams, data and event flow diagrams, state transition diagrams, function refinement trees, transaction-use tables and function-entity type tables.<br /> - Miscellaneous editors such as for JSD (process structure and network diagrams), recursive process graphs and transaction decomposition tables. These editors are no longer updated but they will remain available within TCM.<br /> <br /> Main Features:<br /> <br /> - Easy to use graphical interface. Click here for a screen dump of one of the diagram editors and here for a screen dump of one of the table editors.<br /> - Support for UML and Structured Analysis diagrams.<br /> - Some basic diagram syntax rules are built in, so these cannot be violated when drawing the diagrams. Soft syntax constraints are checked upon request.<br /> - Support for hierarchic diagrams.<br /> - Most TCM diagram editors are graph editors, where graphs consist of nodes and edges presented to the user in various formats and with various labels. Exceptions are the statechart editor, that manipulates higraphs with hierarchical nodes, and the sequence diagram editor.<br /> - The TCM editors output the TCM file format, which is a set of human-readable information about the diagram.<br /> - TCM also generates PostScript, Encapsulated PostScript, PNG, and the Fig format (Fig with either LaTeX- or PostScript fonts). PNG can be used for inclusion in Word documents and web pages. The Fig format can be further processed by xfig to produce other formats such as JPG and GIF.<br /> - Links to model checkers are being implemented. A prototype version of the activity diagram editor is available for download, that can generate input for the NuSMV model checker. This allows verification of activity diagrams using NuSMV. Counterexamples generated by NuSMV are shown as traces through the activity diagram. See our download page for information where to get this prototype editor.<br /> - The state transition diagram editor can be extended with model checking capabilities too. Please check the corresponding Makefile for details.";

function tShowHide(id, show)
{
	var s = document.getElementById("desc");

	if ((s.innerHTML.length<=212 || show==1) && show!=2)
	{
		s.innerHTML = fDesc[id];
		if (document.getElementById('m1'))
			document.getElementById('m1').style.display='none';
		if (document.getElementById('m2'))
			document.getElementById('m2').style.display='none';
		if (document.getElementById('more_txt'))
			document.getElementById('more_txt').style.display='inline';
	}
	else
	{
		s.innerHTML = '';
	}
}