Research Program Towards High-Quality and Intelligent Software (THIS)

Filter

2023
Eyes on the prize: eye tracking for business value
Hermens, F. & Iren, Y. D., Feb 2023, Open Universiteit. 5 p. (Actionable Data Science Whitepaper Series; No. 1, Vol. 2).
Research output: Book/Report › Technical report › Academic
2022
API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Full Version)
Cledou, G., Edixhoven, L. J., Jongmans, S-S. & Proença, J., Jun 2022, Heerlen: Open Universiteit Nederland. 31 p. (OUNL-CS (Technical Reports); No. 03, Vol. 2022).
Research output: Book/Report › Technical report › Academic

Open Access
File
40 Downloads (Pure)
A Predicate Transformer for Choreographies (Full Version)
Jongmans, S-S. & van den Bos, P., 2022, Heerlen: Open Universiteit Nederland. 36 p. (OUNL-CS (Technical Reports); No. 01, Vol. 2022).
Research output: Book/Report › Technical report › Academic

Open Access
File
45 Downloads (Pure)
A Predicate Transformer for Choreographies (Technical Report)
Jongmans, S-S. & van den Bos, P., 2022, Heerlen: Open Universiteit Nederland. 132 p. (OUNL-CS (Technical Reports); No. 02, Vol. 2022).
Research output: Book/Report › Technical report › Academic

Open Access
File

16 Downloads (Pure)
Branching pomsets for choreographies (technical report)
Edixhoven, L., Jongmans, S-S., Cledou, G. & Proença, J., Jul 2022, Open Universiteit Nederland. 23 p. (OUNL-CS (Technical Reports); No. 04, Vol. 2022).
Research output: Book/Report › Technical report › Academic

Open Access
File
16 Downloads (Pure)
Realisability of branching pomsets (technical report)
Edixhoven, L. J. & Jongmans, S-S., 2022, Heerlen: Open Universiteit Nederland. 28 p. (OUNL-CS (Technical Reports); No. 05, Vol. 2022).
Research output: Book/Report › Technical report › Academic

Open Access
File
27 Downloads (Pure)
Specification based OO development: Procedural Guidance
Passier, H. J. M., Bijlsma, A. & Kuiper, R., 2022, Heerlen: Open Universiteit Nederland. 72 p. (OUNL-CS (Technical Reports); No. 06, Vol. 2022).
Research output: Book/Report › Technical report › Academic

Open Access
File

52 Downloads (Pure)
2021

Balanced-by-construction regular and ω-regular languages (technical report)
Edixhoven, L. J. & Jongmans, S-S., 2021, Heerlen: Open Universiteit Nederland. 26 p. (OUNL-CS (Technical Reports); No. 01, Vol. 2021).
Research output: Book/Report › Technical report › Academic

File

21 Downloads (Pure)
Construction of a knowledge graph for exercise selection
Bijlsma, A., Huizing, C., Kok, A. J. F., Kuiper, R., Passier, H. J. M., Scheffers, E., Schivo, S. & Vos, T. E. J., 14 Oct 2021, Open Universiteit. 24 p. (OUNL-CS (Technical Reports); No. 2, Vol. 2021).
Research output: Book/Report › Technical report › Academic

Open Access
File
34 Downloads (Pure)
2020

Het bevorderen van burgerschapscompetenties in de natuurwetenschappelijke vakken met behulp van zelfgemaakt actueel en innovatief lesmateriaal: Een onderzoek naar karakteristieken van effectief burgerschapsonderwijs in de natuurwetenschappelijke vakken en kenmerken van docenten die zelf actuele burgerschapslessen ontwerpen
Henze, I., Bayram-Jacobs, D., Barendsen, E. & Platteel, ., 2020, Delft/Nijmegen/Leiden: Nationaal Regieorgaan Onderwijsonderzoek (NRO). 44 p.
Research output: Book/Report › Technical report › Academic

Open Access

Research Program Towards High-Quality and Intelligent Software (THIS)

Research output

Search results