A functional paradigm for software development

Abstract

A method is basically a set of operations together with rules about where and when particular operations can be applied. An implemented method is put into practice by a combination of human and mechanical agents there is a division of labour between man and machine. Our aim is for all algorithmic operations to be performed by machine, leaving to human deveiopers only those operations requiring “expert” decision-making or the input of novel information.