Java

The Two-Tier Programming Toolkit

An image of the Two-Tier Programing Toolkit

The Two-Tier Programming Toolkit (or simply "Toolkit"), a proof of concept tool demonstrating our (the TTP team's) research. Developed with my peer and good friend Dr. E. Gasparis.

I began work on the Toolkit in 2005 with adding my MSc research into version 0.3, which was the first 'complete' prototype, created by Dr. E. Gasparis who had rewritten, merged and improved several earlier prototype tools. Since then we've redesigned and re-implemented the entire program from scratch several times; from requirements specification all the way through to testing, feedback and experimentation. We have even used the tool to verify and analyse itself.

My principal contributions to the Toolkit were the verification algorithm, static analyser for Java 6 (using BCEL), XML specification import/export (and the pattern library live download system, using JDOM), Schema viewer (using XSLT and XHTMLrenderer), and the fair majority of the user interface. E.Gasparis principally developed the chart editor (JGraph), design navigator, and design model (MySQL Connector MXJ) modules.

For more information (and downloads as they become available) visit the Two-Tier Programming website, or watch the video demo available on YouTube (version 0.5.1)

This site has been optimized for use on mobile browsers, to see the full site in all its glory please visit again from a non-mobile browser.
Thank you.