Towards a Systematic Review of Automated Feedback Generation for Programming Exercises – Extended Version Raja Lala, Johan Jeuring and Jordy van Dortmont The Automatic Generation of Knowledge Spaces From Problem Solving StrategiesĪn implementation architecture for scenario-based simulations Johan Jeuring, Gemma Corbalan, Joek van Montfort, Nienke van Es and Hanneke Leeuwestein Vorm en effect van Programmeeronderwijs in het primair onderwijs Making sense of risks: A hybrid argumentative-narrative approach to risk assessment Robbert Jan Beun, Siska Fitrianie, Fiemke Griffioen-Both, Sandor Spruit, Corine Horsch, Jaap Lancee and Willem-Paul Brinkman Talk and Tools: The Best of Both Worlds in Mobile User Interfaces of E-coaching Josje Lodder, Bastiaan Heeren and Johan Jeuring Generating hints and feedback for Hilbert-style axiomatic proofs Victor Cacciari Miraldo and Wouter SwierstraĪ Lazy Language Needs a Lazy Type System: Introducing Polymorphic Contextsĭoaitse Swierstra, Marcos Viera and Atze DijkstraĬontext-Dependent Type Error Diagnosis for Functional Languagesįrom Attribute Grammars to Constraint Handling Rules Structure-aware Version Control: A generic approach using Agda
Michiel Meulendijk, Marco Spruit and Sjaak BrinkkemperĪ Generic Framework for Model-Driven Analysis of Heterogeneous Legacy Software SystemsĪmir Saeidi, Jurriaan Hage, Ravi Khadka and Slinger Jansen
Risk Mediation in Association Rules: Application Examples Raja Lala, Johan Jeuring, Jordy van Dortmont and Marcell van Geest Scenarios in virtual learning environments for one-to-one communication skills training Hieke Keuning, Bastiaan Heeren and Johan Jeuring
Timo Overbeek, Johan Jeuring and Raja LalaĪn extensible domain-specific language for describing problem-solving procedures Using scenario smells to analyse scripted communication scenarios in virtual learning environments Rico de Feijter, Rob van Vliet, Erik Jagroep, Sietse Overbeek and Sjaak Brinkkemper Towards the adoption of DevOps in sotfware product organizations: A maturity model approach Raja Lala, Johan Jeuring and Timo Overbeek. Visually Embodying Well-Typedness of Algebraic Data Structures through Maramaficationīuilding a generic feedback system for rule-based problemsĪnalysing and adapting communication scenarios in virtual learning environments for one-to-one communication skills training Hugo Arends, Bastiaan Heeren, Hieke Keuning and Johan Jeuringĭesigning and comparing two Scratch-based teaching approaches for students aged 10-12 years - extended version Samantha van Dalen, Sjaak Brinkkemper and Jan Martijn van der WerfĪn intelligent tutor to learn the evaluation of microcontroller I/O programming expressions Hendrik Vincent Koops, Bas de Haas, John Ashley Burgoyne, Jeroen Bransen, Anja VolkĪll-inclusive Software Architecture Video Wall - building a Prototype Pim de Jong, Marlies van Steenbergen, Jan Martijn van der Werf and Floris Bex The OMC Approach: Towards a method for digital business strategy formulationĬrystal Reijnen, Sjaak Brinkkemper and Sietse Overbeek Jan Martijn van der Werf, Artem Polyvyanyy, Sietse Overbeek and Rick Brouwers Jan Martijn van der Werf & Artem Polyvyanyy Some Reachability Results on Combining Petri Nets with Data Models Marco Spruit, Sonny van Lingen and Bilge Yigit OzkanĮvaluation of classification models for retrieving experimental sections from full-text publicationsĪrmel Lefebvre, Jorrit Berendsen and Marco SpruitīIDQI: The Business Impacts of Data Quality Interdependencies Model The CYSFAM Questionnaire: Assessing CYberSecurity Focus Area Maturity Marieke Huisman, Wouter Swierstra and Eelco Visser Sabine Molenaar, Sjaak Brinkkemper, Abel Menkveld, Thijs Smudde, Remmelt Blessinga, Fabiano DalpiazĪ Research Agenda for Formal Methods in the Netherlands On the Nature of Links between Requirements and Architectures: Case Studies on User Story Utilization in Agile Development M-RAM: a Mobile Risk Assessment Method for Enterprise Mobile Security What do you mean? The CIRCA-DIPS method for root cause analysis of data interoperability problems within aviation information systemsįundamental Constructs for Derivation Business RulesĮline de Haan, Marco Spruit and Martijn Zoet Technical reports : Intelligent Software Systems select other reports