The term assert is a Java keyword that was introduced into the language with the JDK 1.4 release in February 2002. Java's assert keyword is unique in two very interesting ways: The Java assert is ...

Design-for-verification (DFV) using assertions has received much attention in the recent technical press. Coverage has ranged from standardization efforts for assertion languages to complete DFV ...

Managers who prepare financial statements from company records according to standard accounting procedures make assertions about the data in the statements. For example, management asserts that each ...

Audit assertions are claims made by the management of a company about certain areas of their financial statements or operations. Auditors verify these claims by performing tests of internal controls.

The SystemVerilog standard is the result of an industry-wide effort to extend the Verilog language in a consistent way to include enhanced modeling and verification features. By adding verification ...

In my last post, I wrote about hints provided in NetBeans 7.4 beta that improve a developer’s ability to avoid nasty runtime issues with Java exception handling. In this post, I look at how two more ...