Denken over software. Syllabus bij symposium Informatica in het jaar 2000