Imagen de Portada
Código QR

Runtime Assertion Checking.

The article focuses on a report that describes the importance of runtime assertion checking. Assertions are considered as one of the most useful automated techniques available for detecting faults and providing information about their locations. The report claims that assertions have a long history...

Descripción completa

Publicado en:Computer (00189162) Vol. 41; no. 3; pp. 48 - 49
Autores principales: Clarke, Lori A., Rosenblum, David S.
Formato: Artículo
Publicado: IEEE Mar2008
Materias:
Software engineering
Computer programming
Systems development
Computer software development
Zuse, Konrad, 1910-1995
Goldstine, Herman H. (Herman Heine), 1913-2004
Von Neumann, John, 1903-1957
Acceso en línea:Ver este registro en EBSCOhost
Sumario:The article focuses on a report that describes the importance of runtime assertion checking. Assertions are considered as one of the most useful automated techniques available for detecting faults and providing information about their locations. The report claims that assertions have a long history in the annals of software engineering and programming language design. The important contributions of several individuals to computer programming, including Herman H. Goldstine, Konrad Zuse and John von Neumann, are also discussed.