Lex Bijlsma

According to our database, Lex Bijlsma authored at least 27 papers between 1986 and 2023.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of four.

2023

Improving students' code correctness and test completeness by informal specifications.

Arno Broeders, Ruud Hermans, Sylvia Stuurman, Lex Bijlsma, Harrie Passier

CoRR, 2023

2022

Evaluation of design pattern alternatives in Java.

Lex A. Bijlsma, Arjan J. F. Kok, Harrie J. M. Passier, Harold J. Pootjes, Sylvia Stuurman

Softw. Pract. Exp., 2022

Towards a Tool to Support Students through Procedural Programming Guidance.

Sander Albers, Nando Reij, Wouter Brinksma, Lex Bijlsma, Harrie Passier

Proceedings of the 11th Computer Science Education Research Conference, 2022

2021

Exploring students' sensemaking of test case design. An initial study.

Niels Doorn, Tanja E. J. Vos, Beatriz Marín, Harrie Passier, Lex Bijlsma, Silvio Cacace

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

How do Students Test Software Units?

Lex Bijlsma, Niels Doorn, Harrie Passier, Harold Pootjes, Sylvia Stuurman

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Software Engineering Education and Training, 2021

A Structured (Java) Exercise Repository with Automated Feedback (SERF).

Harrie Passier, Cornelis Huizing, Arjan J. F. Kok, Ruurd Kuiper, Lex Bijlsma, Erik Scheffers, Stefano Schivo, Tanja E. J. Vos

Proceedings of the CSERC '21: The 10th Computer Science Education Research Conference, Virtual Event, The Netherlands, November 22, 2021

2019

Evaluation of a Structured Design Methodology for Concurrent Programming.

Lex Bijlsma, Kees Huizing, Ruurd Kuiper, Harrie Passier, Harold Pootjes, Sjaak Smetsers

Proceedings of the CSERC '19: The 8th Computer Science Education Research Conference, 2019

2018

Template Method test pattern.

A. Bijlsma, Harrie J. M. Passier, Harold Pootjes, Sylvia Stuurman

Inf. Process. Lett., 2018

2016

Maintaining Unit Tests During Refactoring.

Harrie Passier, Lex Bijlsma, Christoph Bockisch

Proceedings of the 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools, Lugano, Switzerland, August 29, 2016

2011

Shared QA for producing free educational materials at the FTA.

Frans Mofers, Wouter Tebbens, Hanneke Potters, Lex Bijlsma

Proceedings of the 6th Open Knowledge Conference, 2011

Peer production & peer support at the Free Technology Academy.

Hanneke Potters, Adriana J. Berlanga, Lex Bijlsma

Proceedings of the Computer Science Education Research Conference, 2011

2009

Free technology academy: a European initiative for distance education about free software and open standards.

David Megías, Wouter Tebbens, Lex Bijlsma, Francesc Santanach

Proceedings of the 14th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2009

2006

On the Creation of a Reference Framework for Software Product Management: Validation and Tool Support.

Inge van de Weerd, Sjaak Brinkkemper, Richard Nieuwenhuis, Johan Versendaal, Lex Bijlsma

Proceedings of the International Workshop on Software Product Management, 2006

Towards a Reference Framework for Software Product Management.

Inge van de Weerd, Sjaak Brinkkemper, Richard Nieuwenhuis, Johan Versendaal, Lex Bijlsma

Proceedings of the 14th IEEE International Conference on Requirements Engineering (RE 2006), 2006

The Software Product Management Workbench: An Integrated Environment for Managing Product Releases in a Distributed Development Context.

Richard Nieuwenhuis, Inge van de Weerd, Lex Bijlsma, Sjaak Brinkkemper, Johan Versendaal

Proceedings of the 18th Conference on Advanced Information Systems Engineering (CAiSE '06), 2006

2001

Model-based specification.

Lex Bijlsma

Inf. Process. Lett., 2001

1998

Dijkstra-Scholten Predicate Calculus: Concepts and Misconceptions.

Lex Bijlsma, Rob Nederpelt

Acta Informatica, 1998

An extension of the program derivation format.

A. J. M. van Gasteren, A. Bijlsma

Proceedings of the Programming Concepts and Methods, 1998

An Application of Program Derivation Techniques to 18th-Century Mathematics.

A. Bijlsma

Proceedings of the Mathematics of Program Construction, 1998

1996

Point-free Substitution.

A. Bijlsma, Carel S. Scholten

Sci. Comput. Program., 1996

1993

Calculating with Procedure Calls.

A. Bijlsma

Inf. Process. Lett., 1993

Quasi-Boolean Equivalence.

A. Bijlsma

Inf. Process. Lett., 1993

1991

Derivation of Logic Programs by Functional Methods.

A. Bijlsma

Inf. Process. Lett., 1991

1989

Calculating with Pointers.

A. Bijlsma

Sci. Comput. Program., 1989

A Sharp Proof Rule for Procedures in wp Semantics.

A. Bijlsma, P. A. Matthews, J. G. Wiltink

Acta Informatica, 1989

Transformational Programming and Forests.

A. Bijlsma

Proceedings of the Mathematics of Program Construction, 1989

1986

Equivalence of the Gries and Martin Proof Rules for Procedure Calls.

A. Bijlsma, J. G. Wiltink, P. A. Matthews

Acta Informatica, 1986