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
1452006
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
1452006
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
582006
Calculating with pointers.
A Bijlsma
Eindhoven University of Technology, 1989
331989
On the creation of a reference framework for software product management: Validation and tool support
I Weerd, S Brinkkemper, R Nieuwenhuis, JM Versendaal, A Bijlsma
IEEE Computer Society, 2006
292006
A sharp proof rule for procedures in wp semantics
A Bijlsma, PA Matthews, JG Wiltink
Acta Informatica 26 (5), 409-419, 1989
221989
Exercises in formula manipulation
WH Feijen
Formal development programs and proofs, 139-158, 1989
181989
Crowdfunding in present society: deconstructing the Zeitgeist
J Méric
International Perspectives on Crowdfunding: Positive, Normative and Critical …, 2016
13*2016
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
112009
Semantics of quasi-boolean expressions
A Bijlsma
Beauty is Our Business, 27-35, 1990
111990
Dijkstra-Scholten predicate calculus: concepts and misconceptions
L Bijlsma, R Nederpelt
Acta Informatica 35 (12), 1007-1036, 1998
91998
Equivalence of the Gries and Martin proof rules for procedure calls
A Bijlsma, JG Wiltink, PA Matthews
Acta informatica 23 (4), 357-360, 1986
81986
Maintaining unit tests during refactoring
H Passier, L Bijlsma, C Bockisch
Proceedings of the 13th International Conference on Principles and Practices …, 2016
72016
Peer production & peer support at the Free Technology Academy
H Potters, A Berlanga, L Bijlsma
Computer Science Education Research Conference, 49-56, 2011
72011
An extension of the program derivation format
AJM Van Gasteren, A Bijlsma
Programming Concepts and Methods PROCOMET’98, 167-185, 1998
71998
Calculating with procedure calls.
A Bijlsma
Information processing letters 46 (5), 211-218, 1993
71993
On the simultaneous approximation of , and
A Bijlsma
Compositio Mathematica 35 (1), 99-111, 1977
71977
Simultaneous approximations in transcendantal number theory
A Bijlsma
61978
Software architecture
A Bijlsma, B Heeren, E Roubtsova, S Stuurman
Free Technology Academy, 2011
52011
Point-free substitution
A Bijlsma, CS Scholten
Science of computer programming 27 (2), 205-214, 1996
51996
The system can't perform the operation now. Try again later.
Articles 1–20