- Full text PDF available (0)
This paper deals with the problem of assessing the reliability of programs written using structured programming techniques and having undergone a certain amount of testing. A program is said to be verified if, for a given set of tests it can be shown that every case of interest has been tested. As this end is, however, unattainable, we will consider, in the… (More)
A set of functions dealing with graph theory is presented: graph description, modifications, k-connectivity analysis, and search for paths with given properties. Graph coding coherence and the modularity of APL functions enable one to link these different procedures at will and to use them in such different problems as digital circuit implementation, fault… (More)
An attempt is made to demonstrate that the use of APL is growing in an epidemic fashion. The theory of epidemic processes is applied in an approximate manner by means of data provided by a nearly-exhaustive bibliography given as an appendix. APL is proved to be undoubtedly epidemic. A second part details the given bibliography.
Promoting CAD techniques within industry encounters usually three stumbling blocks: - the use of conventional computer tools requires acquaintance with intricate “indications for use” with too much of a computer flavor. Potential users are reluctant to accept this “unnecessary” burden which might make their job more difficult and… (More)