wiki:CurrentTasks

Current Tasks are the followings (eventually put this into the Ticket System):

  1. Worked Examples:
    • SAMS:
      • Responsible: Andrea, Serge, Christoph, Dominik
      • AssignedTo?: Andrea, Dominik
      • Goal
        • Auf welchen Dokumenten/Software? Version bauen wir auf?
        • Was genau aendert sich fuer die einzelnen Szenarien?
    • CAD Documents
      • Responsible Michael, Lutz
      • AssignedTo?: Ewaryst
      • Goals: ...
  2. Real Analysis Beweisunterstuetzung:
    • Responsible: Till
    • AssignedTo?: Dominik, Ewaryst
    • Goal:
      • Logikknoten in Hets (Isabelle/HOL) maybe using the Isabelle/OMDOC export.
  3. CAS Einbindung:
    • Responsible: Lutz
    • AssignedTo?: Dominik
    • Goals::
      • Logikknoten fuer Reduce in Hets:
      • Comorphismen entwickeln und implementieren
      • Hetsskriptsprache erweitern
  4. Funktionale Eigenschaften geometrischer Objekte:
    • Responsible: Lutz, Michael
    • Assigned to: Ewaryst, Tanmay
    • Goals: see ticket;
      • Am Beispiel des Flansches:
      • Verifikationsaufgaben
  5. Change Management Broker/Hets?:
    • Responsible: Christian, Serge
    • Assigned to: Christian, Serge
  6. Abstraction for Reuse:
    • Responsible: Christoph
  7. Eclipse Anbindung:
    • Responsible: Christoph, Serge, Michael
    • Assigned to: We have now an Eclipse task force with research assistants; the webpage is here.
Last modified 7 years ago Last modified on 16.06.2010 08:18:37