Junbo Liu

• Interessenschwerpunkte:
  • Sprache:
    Erweiterung von funktionale/logische Spezifikations-, bzw. Programmierungssprach, z.B. mit höherer Ordnung, multi-Logik.

    Entwicklung:

    Methodik der Softwareentwicklung basiert auf formale Methoden.

    System:

    Interaktive Systemsunterstützung für Softwareentwicklung basiert auf formale Methoden.
• Projekte:
  • PROSPECTRA:
    PROgram Entwicklung durch SPEC(Z)ifikation and TRAnsformation

    KORSO: Korrekte Software

    COMPASS:

    A COMPrehensive Algebraic approach to System Specification and development
• Publikationen:
  Liste der Veröffentlichungen.