REALLY RETHINKING 'FORMAL METHODS.'.

The article provides comments to an article in the September issue of "Computer" magazine entitled, "Rethinking Formal Methods." The writer examines the comparable progress made in formal methods to investigate program design errors seen in 1967 which can still be found in modern day software. He su...

Descripción completa

Detalles Bibliográficos

Publicado en:	Computer (00189162) Vol. 43; no. 1; pp. 28 - 35
Autor principal:	Parnas, David Lorge
Formato:	Artículo
Publicado:	IEEE Jan2010
Materias:	Formal methods (Computer science) Computer software development Personal computers > Programming Systems design
Acceso en línea:	Ver este registro en EBSCOhost