TermComp

So, what is TermComp?

TermComp is the management software for the ongoing termination competition. More information about the competition can be found on the Termination Portal wiki.

The software itself can be seen in action by clicking on the “Demo” link on the left or going to termcomp.

Here you will mainly find technical infos about the TermComp software as well as related downloads.

Who is TermComp?

TermComp is being actively developed by the Computational Logic research group at the University of Innsbruck. The main developer is Simon Bailey, the rest of the group are involved in beta testing and brainstorming.

Contact Info

email: simon.bailey [atsym] uibk.ac.at
phone: +43/512/507 – 6433
skype: binabikatwork

(n.b. bug reports sent directly to Simon will be ignored—use bugzilla)

Other forms of communication (IRC or personal meetings) can be arranged on request.

Joining in the fun

There’s something about the web-interface you don’t like? You have a fantastic idea which should be integrated into TermComp? Your professor has given you a project to work on? You’re not afraid of Java, Hibernate, PostgreSQL, JBoss, Seam, Eclipse and a dictatorial lead developer? ;)

Perfect. The sources are available via SVN or can be browsed online in the SVN browser. Please be aware that there are some configuration files which are shown in the file listings in the browser, but will cause your browser to show a 403 Error. This is on purpose. ;)

Checking out the sources

svn co http://dev.aspsimon.org/svn/termcomp

Then read

• how to setup your development environment
• how the project is structured.
• A short introduction to using JBoss Seam (coming soon)
• coding guidelines (coming soon)