helm/mowgli/home/xml/work-packages/interfaces.xml

   1 <?xml version="1.0"?>
   2
   3 <!DOCTYPE work-package SYSTEM "work-package.dtd">
   4
   5 <work-package number="4">
   6  <name>Interfaces</name>
   7  <begin>Month 3</begin>
   8  <end>Month 24</end>
   9  <leader file="inria/pottier"/>
  10  <person-month participant="bologna" number="16"/>
  11  <person-month participant="inria" number="16"/>
  12  <person-month participant="dfki" number="5"/>
  13  <person-month participant="nijmegen" number="4"/>
  14  <person-month participant="aei" number="14"/>
  15  <person-month participant="trusted-logic" number="0"/>
  16  <objectives>
  17   <p>This Work-Package is devoted to the design and the
  18      implementation of the interfaces to the library, covering
  19      rendering, browsing, searching and retrieving
  20      functionalities. Some additional functionalities for
  21      authoring purposes (such as computer assisted annotation of
  22      proofs) will be also taken into account.</p>
  23   <p>Our privileged rendering language will be MathML, which is
  24      likely to be rapidly adopted as the main language for
  25      representing mathematical notation on the Web.</p>
  26  </objectives>
  27  <description>
  28   <p>The work is organised in the following tasks:</p>
  29   <tasks>
  30    <task id="T4.1">
  31     <name>MathML rendering/browsing engines.</name>
  32     <p>Our privileged
  33        rendering language will be MathML. In order to be able to
  34        test the presentational stylesheets,(Task 2.5) we need a
  35        MathML compliant browser, that will be developed as a
  36        part of the project (starting from a previous
  37        prototype).</p>
  38    </task>
  39    <task id="T4.2">
  40     <name>Consultation Engine (archiving, searching and retrieving).</name>
  41     <p>The task is devoted to the architectural design and
  42        implementation of the main functionalities for the
  43        consultation and the management of the library.</p>
  44    </task>
  45    <task id="T4.3">
  46     <name>Assisted Annotation.</name>
  47     <p>This cover an additional
  48        functionality of the interface, aimed to support the user
  49        in the process of annotating a proof in natural
  50        language.</p>
  51    </task>
  52    <task id="T4.4">
  53     <name>LaTeX-based authoring tool.</name>
  54     <p>A tool supporting automatic
  55        generation of Content-MathML from a suitably
  56        (macro-)enriched version of LaTeX.</p>
  57    </task>
  58   </tasks>
  59  </description>
  60  <deliverable file="interfaces/d4a"/>
  61  <deliverable file="interfaces/d4b"/>
  62  <deliverable file="interfaces/d4c"/>
  63  <deliverable file="interfaces/d4d"/>
  64  <deliverable file="interfaces/d4e"/>
  65  <milestones>
  66   <p>The main milestone is the release of the first MOWGLI
  67      prototype, at month 18.</p>
  68  </milestones>
  69 </work-package>