University of Münster
CRIS@UM
DE | EN
Profile picture of Dr. Jan Dageförde

Dr. Jan Dageförde, M.Sc.

No current affiliations available for this person. The person is no longer active at the university.

Curriculum Vitae (CV)

  • Logic (Constraint) Programming
  • Integration of Programming Paradigms
  • E-Learning for Universities

Academic Education

2015 - 2020PhD Studies in Information Systems at the University of Münster
2014 - 2015Master studies in Information Systems at the University of Münster
2010 - 2014Bachelor studies in Information Systems at the University of Münster

Publications

Applications of Muli: Solving Practical Problems with Constraint-Logic Object-Oriented Programming
Dageförde, Jan C.; Kuchen, Herbert (2023)
In: Lopez-Garcia, Pedro; Gallagher, John P.; Giacobazzi, Roberto (eds.), Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 97-112. Cham: Springer. doi:10.1007/978-3-031-31476-6_5
Research article (book contribution) | Peer reviewed | Published
Constraint-Logic Object-Oriented Programming with Free Arrays
Winkelmann Hendrik, Dagefoerde Jan C., Kuchen Herbert (2021)
In:  (eds.), , 129-144. Springer. doi:10.1007/978-3-030-75333-7_8
Research article in edited proceedings (conference) | Peer reviewed | Published
Structured Traversal of Search Trees in Constraint-logic Object-oriented Programming
Dageförde Jan C., Teegen Finn (2020)
In: Hofstedt P, Abreu S, John U, Kuchen H, Seipel D (eds.), Declarative Programming and Knowledge Management, 199-214. Springer VDI Verlag. doi:10.1007/978-3-030-46714-2_13
Research article (book contribution) | Peer reviewed | Published
Constraint-Logic Object-Oriented Programming with Free Arrays
Dageförde Jan C., Kuchen Herbert (2020)
In:  (eds.), . (kein Verlag angegeben).
Research article in edited proceedings (conference) | Peer reviewed | Published
An Integrated Constraint-Logic and Object-Oriented Programming Language
Dageförde, Jan C. (2020)
Münster(kein Verlag angegeben).
Thesis (doctoral or post-doctoral) | Published
Show all publications

Projects

Muli – The Münster Logic-Imperative Language (Muli)
Duration: since 01/11/2015
Type of project: Own resources project
The Münster Generator of Glass-box Test Cases (Muggl)
Duration: since 01/11/2003
Type of project: Own resources project

Doctorates

An Integrated Constraint-Logic and Object-Oriented Programming Language - The Münster Logic-Imperative Language
Candidate: Dageförde, Jan C. | Supervisors: Kuchen, Herbert
Period of time: until 07/07/2020
Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster