Follow
Lex Bijlsma
Lex Bijlsma
Emeritus hoogleraar, Open Universiteit
Verified email at ou.nl - Homepage
Title
Cited by
Cited by
Year
Towards a reference framework for software product management
I Van De Weerd, S Brinkkemper, R Nieuwenhuis, J Versendaal, L Bijlsma
14th IEEE International Requirements Engineering Conference (RE'06), 319-322, 2006
1772006
Towards a reference framework for software product management
I Van De Weerd, S Brinkkemper, R Nieuwenhuis, J Versendaal, L Bijlsma
14th IEEE International Requirements Engineering Conference (RE'06), 319-322, 2006
1772006
On the creation of a reference framework for software product management: Validation and tool support
I Van De Weerd, S Brinkkemper, R Nieuwenhuis, J Versendaal, L Bijlsma
2006 International Workshop on Software Product Management (IWSPM'06-RE'06 …, 2006
104*2006
Calculating with pointers
A Bijlsma
Science of Computer Programming 12 (3), 191-205, 1989
391989
A sharp proof rule for procedures in wp semantics
A Bijlsma, PA Matthews, JG Wiltink
Acta Informatica 26, 409-419, 1989
251989
Exercises in formula manipulation
WHJ Feijen, A Bijlsma
Formal development of programs and proofs, 139-158, 1990
191990
Maintaining unit tests during refactoring
H Passier, L Bijlsma, C Bockisch
Proceedings of the 13th International Conference on Principles and Practices …, 2016
172016
How do students test software units?
L Bijlsma, N Doorn, H Passier, H Pootjes, S Stuurman
2021 ieee/acm 43rd international conference on software engineering …, 2021
14*2021
Software architecture
A Bijlsma, B Heeren, E Roubtsova, S Stuurman
Free Technology Academy, 2011
132011
Dijkstra-Scholten predicate calculus: concepts and misconceptions
L Bijlsma, R Nederpelt
Acta Informatica 35, 1007-1036, 1998
131998
Semantics of quasi-boolean expressions
A Bijlsma
Beauty is our business: a birthday salute to Edsger W. Dijkstra, 27-35, 1990
121990
Equivalence of the Gries and Martin proof rules for procedure calls
A Bijlsma, JG Wiltink, PA Matthews
Acta informatica 23, 357-360, 1986
111986
Free technology academy: A European initiative for distance education about free software and open standards
D Megias, W Tebbens, L Bijlsma, F Santanach
ACM SIGCSE Bulletin 41 (3), 70-74, 2009
102009
Simultaneous approximations in transcendantal number theory
A Bijlsma
101978
Calculating with procedure calls.
A Bijlsma
Information processing letters 46 (5), 211-218, 1993
91993
On the simultaneous approximation of , and
A Bijlsma
Compositio Mathematica 35 (1), 99-111, 1977
81977
Peer production & peer support at the Free Technology Academy
H Potters, A Berlanga, L Bijlsma
Computer Science Education Research Conference, 49-56, 2011
72011
Free Technology Academy: a Joint Venture of Free Software and OER
W Tebbens, D Megías, J David, B Lex
Universitat Oberta de Catalunya, 2010
62010
An extension of the program derivation format
AJM van Gasteren, A Bijlsma
Programming Concepts and Methods PROCOMET’98: IFIP TC2/WG2. 2, 2.3 …, 1998
61998
An elliptic analogue of the Franklin-Schneider theorem
A Bijlsma
Annales de la Faculté des sciences de Toulouse: Mathématiques 2 (2), 101-116, 1980
51980
The system can't perform the operation now. Try again later.
Articles 1–20