This is a software visualizer built entirely on non-iconic glyphs, with support for color-impaired operators. Renderings produced show software as a diagram, not as a written language. The SableCC language interpreter is involved.
MCC is a UML model consistency checker, built as a plug-in for Poseidon for UML, based on description logics. Provides automated consistency checking of UML models.