Constructive Methods in Computing Science