Development Environment for ISAC Front-end

Development for the ISAC Front-end is separated into several sub-projects collected within one IDE, the NetBeans integrated development environment.


 * Start from a Linux or a Mac operating system

These are the sub-projects presently:


 * isac-java the tutoring system which comprises
 * user-interface based on JavaSwing
 * an ObjectManager containing session management and dialogue guidance
 * a Bridge to Isabelle/ISAC implementing a proprietary protocol between the world of Java and the world of SML.
 * a KEStore for accessing the mathematics knowledge


 * isac-web for accessing ISAC's interactive tutoring via urls. Urls are general enough for access from various clients like Web-browsers, wikis, learning management systems (LMS), etc. isac-web is a cooperative development with IICM primarily serving the Modular Assessment System for Modern Learning Settings (MASS) under developed at IICM. The gain for ISAC is, that its Java frontend can be started by an url from any browser now.


 * Setup isac-author the ISAC authoring tools


 * Setup isac-jedit the feasibility study for adapting ISAC to Isabelle/Isar's document model