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
177 2006 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
177 2006 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
39 1989 A sharp proof rule for procedures in wp semantics A Bijlsma, PA Matthews, JG Wiltink
Acta Informatica 26, 409-419, 1989
25 1989 Exercises in formula manipulation WHJ Feijen, A Bijlsma
Formal development of programs and proofs, 139-158, 1990
19 1990 Maintaining unit tests during refactoring H Passier, L Bijlsma, C Bockisch
Proceedings of the 13th International Conference on Principles and Practices …, 2016
17 2016 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
13 2011 Dijkstra-Scholten predicate calculus: concepts and misconceptions L Bijlsma, R Nederpelt
Acta Informatica 35, 1007-1036, 1998
13 1998 Semantics of quasi-boolean expressions A Bijlsma
Beauty is our business: a birthday salute to Edsger W. Dijkstra, 27-35, 1990
12 1990 Equivalence of the Gries and Martin proof rules for procedure calls A Bijlsma, JG Wiltink, PA Matthews
Acta informatica 23, 357-360, 1986
11 1986 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
10 2009 Simultaneous approximations in transcendantal number theory A Bijlsma
10 1978 Calculating with procedure calls. A Bijlsma
Information processing letters 46 (5), 211-218, 1993
9 1993 On the simultaneous approximation of , and A Bijlsma
Compositio Mathematica 35 (1), 99-111, 1977
8 1977 Peer production & peer support at the Free Technology Academy H Potters, A Berlanga, L Bijlsma
Computer Science Education Research Conference, 49-56, 2011
7 2011 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
6 2010 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
6 1998 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
5 1980