UPB Bildmarke
Specification and Modelling of Software Systems
Contact
  • English
  • Deutsch
    • Open Page "Teaching"
      • Open Page "Courses"
      • Group Seminar
      • WS 2020/21
      • SS 2020
      • WS 2019/20
      • SS 2019
      • WS 2018/19
      • SS 2018
      • WS 2017/18
      • Open Page "Student Projects"
      • Bachelor/Master Thesis
    • Open Page "Research"
      • Open Page "Research projects"
      • Validation of Software Transactional Memory
      • Verification of service compositions (CRC 901, Subproject B3)
      • Proof-Carrying Services (CRC 901, Subproject B4)
      • Cooperative Software Verification
    • Open Page "Team"
      • Open Page "Group"
      • People
      • Open Jobs
      • Where to find us
      • Open Page "Additional"
      • Photos
    • Open Page "Faculty"
      • Open Page "Faculty"
      • Faculty for Electrical Engineering, Computer Science, and Mathematics
      • Department of Electrical Engineering
      • Department of Computer Science
      • Department of Mathematics
  1. Computer Science
  2. Specification and Modelling of Software Systems
  3. Teaching
  4. WS 2017/18

Courses in WS 2017/18

Number Courses
L.079.05101 Modellierung
L.079.05700 Software Analysis (in English)
L.079.08000 Seminar: Software Transactional Memory (in English)

Specification and Modelling of Software Systems

Warburger Str. 100
33098 Paderborn
Germany

Universität Paderborn

Warburger Str. 100
33098 Paderborn
Germany

Phone University

+49 5251 60-0
Legal notice
  • Imprint
  • Data privacy
  • Whistleblower system
Social networks