The Two-Tier Programming Toolkit visualizing the JGraph library
The Two-Tier Programming Toolkit (or simply “Toolkit”) is a proof of concept for the LePUS3 design description language. I have been developing the Toolkit since 2005 in collaboration with my colleague Dr Epameinondas Gasparis.
My principal contributions to the Toolkit so far are the verification algorithm (the Verifier), static analyser for Java 6 (using BCEL), XML specification import/export (and the online pattern library system, using JDOM), Schema viewer (using XSLT and XHTMLrenderer), and the fair majority of the user interface. Dr Gasparis principally developed the chart editor (using JGraph), the reverse engineering tool (the Design Navigator), and design model (using an embedded MySQL database) modules.
For more information, videos, tutorials, and downloads please visit the Two-Tier Programming Project website.