Universität Siegen
Modellbasierte Entwicklung
  • Home
  • Teaching
    • Summer semester
      • Database Systems II
      • Software Engineering II
      • Seminar “Model-based Engineering”
      • Project group / Project work “Software Engineering”
    • Winter semester
      • Model Checking
      • Software Engineering for Mechatronics
  • Mentoring
  • Theses
  • Research
    • Continuous Program Synthesis
    • A Calculus of Relational Database-Manipulation Processes
    • Co-InCyTe
  • Team
    • Prof. Dr. rer. nat. Malte Lochau
    • Katharina Zetzsche
    • Dipl.-Ing. Frank Schuh
    • M. Sc. Tobias Schüler
    • M. Sc. Robert Müller
    • M. Sc. Mathis Weiß
  • Contact
Modellbasierte Entwicklung » Winter semester
  • Deutsch (German)
  • English
 

Winter semester

Lectures

  • Database Systems I
  • Software Engineering I
  • Model Checking
  • Software Engineering for Mechatronics
  • Scientific Working

Lab

  • Software Engineering Lab

Aktualisiert um 17:12 am 10. March 2021 von Robert

  • Home
  • Teaching
    • Summer semester
      • Database Systems II
      • Software Engineering II
      • Seminar “Model-based Engineering”
        • Template for the written elaboration of the seminar
      • Project group / Project work “Software Engineering”
    • Winter semester
      • Model Checking
      • Software Engineering for Mechatronics
  • Mentoring
  • Theses
  • Research
    • Continuous Program Synthesis
    • A Calculus of Relational Database-Manipulation Processes
    • Co-InCyTe
  • Team
    • Prof. Dr. rer. nat. Malte Lochau
    • Katharina Zetzsche
    • Dipl.-Ing. Frank Schuh
    • M. Sc. Tobias Schüler
    • M. Sc. Robert Müller
    • M. Sc. Mathis Weiß
  • Contact
  • Home
  • Teaching
    • Summer semester
      • Database Systems II
      • Software Engineering II
      • Seminar “Model-based Engineering”
        • Template for the written elaboration of the seminar
      • Project group / Project work “Software Engineering”
    • Winter semester
      • Model Checking
      • Software Engineering for Mechatronics
  • Mentoring
  • Theses
  • Research
    • Continuous Program Synthesis
    • A Calculus of Relational Database-Manipulation Processes
    • Co-InCyTe
  • Team
    • Prof. Dr. rer. nat. Malte Lochau
    • Katharina Zetzsche
    • Dipl.-Ing. Frank Schuh
    • M. Sc. Tobias Schüler
    • M. Sc. Robert Müller
    • M. Sc. Mathis Weiß
  • Contact
  • Home
  • Teaching
    • Summer semester
      • Database Systems II
      • Software Engineering II
      • Seminar “Model-based Engineering”
        • Template for the written elaboration of the seminar
      • Project group / Project work “Software Engineering”
    • Winter semester
      • Model Checking
      • Software Engineering for Mechatronics
  • Mentoring
  • Theses
  • Research
    • Continuous Program Synthesis
    • A Calculus of Relational Database-Manipulation Processes
    • Co-InCyTe
  • Team
    • Prof. Dr. rer. nat. Malte Lochau
    • Katharina Zetzsche
    • Dipl.-Ing. Frank Schuh
    • M. Sc. Tobias Schüler
    • M. Sc. Robert Müller
    • M. Sc. Mathis Weiß
  • Contact

© Universität Siegen | Datenschutzerklärung

© Universität Siegen | Datenschutzerklärung