Abstract Computing Giacomo R. Sechi Machines lstituto di Fisica Cosmica e Tecnologie Relative, C.N.R. via Bassini 15/a, 20133 Milan0 (Italy). 1. INTRODUCTION During last five years I have felt the need to possess powerful theoretical means of improving my designing capability by automating the production of operative implementations. This implies on one hand the identification and avoidance of the causes of errors, and on the other the rigorous definition of all the implementative phases in order to make unnecessary the use of ingenuity and creativity for the product implementation. Most computer-users consider the problems (i.e. errors, lack of documentation and a generallly low level of service ) in s/w and h/w as unavoidable, inherent disasters . Unlike them, I believe that these problems can be solved. In [I] we show that most designers and purchasers accept having to spend as much as 100% or 120% more than the time predicted and the cost of the definition, design and initial manifacturing, stages, merely in order to achieve an acceptable product. Delays, efforts, and energy spent on meeting the requirements and the product during the test and the error-avoidance stage, yield a new product. This product conforms to specifications, requirements
/lp/association-for-computing-machinery/abstract-computing-machines-BPKAB7VGWV