Nelle Note sulla programmazione strutturata di Dijkstra parla molto della verificabilità dei programmi per elaboratore come entità astratte. Come corollario, sottolinea come il testing non sia abbastanza. Ad esempio, egli sottolinea il fatto c...
posta
06.01.2011 - 04:15