LIBRARY-Implementation of E-Proofs in IMathAS
The Library-Implementation stores the e-Proof-System in IMathAS core system as PHP-Scripts. This is not implemented yet. Currently authors have to use the Background-Code Implementation the e-Proof-System, that stores the e-Proof-Processing and Assessment in Questions.
Next Steps for LIBRARY-Implementation
- The Software Development will be started with an UML-Model (Unified Modelling Language).
- ArgoUML will be used as OpenSource UML-Tool that offers Code-Export of UML-Models into PHP.
- The exported Code will be tested and optimized at IWM-Koblenz-Landau (Thanks to Dr. Ingo Dahn).
- A finalized version will be suggested to David Lippmann for integration in iMathAS Release as default option.