Thursday, April 19, 2012

Future Plans

The semester is nearing an end but the project will be continuing over the summer and also next semester.
We hope to have the basics of the proof system ready this semester. We've gotten most of the back-end and a large part of the front end working. We still have to get the hardest rule iteration and de-iteration working and also smooth out some of the other rules. After those are set along with a way to switch proof modes and save and load proofs we should be set with the fundamental software. A couple of added touches to the GUI are needed too.

After that there will be a split in the branches of development. Professor Bram van Heuveln is guiding us through the way of adding features to the project for a classroom environment. Some features to be added is multi-user environments, multi-touch environments, logic short-circuiting, and dual-direction proof modes. Since we are doing everything in java-script the multi user feature can easily be integrated from converting this into a full web app. We also hope to eventually port it into a tablet for the multi-touch use. The logic short-circuiting and dual direction proofs are back-end features that will probably be worked on next semester. An automated proof checker will also be added in over the summer or next summer to allow the user to make sure they're on the right track.

No comments:

Post a Comment