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 |