We describe a method for the specification and verification of the dynamic behaviour of component systems. Building applications using a component framework allows the developers to specify the architecture, the deployment, the life-cycle of the system with well-defined formalisms, and to gain productivity by reusing existing components. But then one wants to make sure that the application buil...

this study examines the differences between strategic systems audit approach compared with traditional based audit approach and its impact on development of auditors’ knowledge of the client’s business, has been discussed. strategic systems audit approach advocates argue that this approach creates a better development of auditors’ knowledge of the client’s business than the traditional-based au...

Corporate accounting failures and regulatory proceedings that led to the enactment of the Sarbanes–Oxley Act of 2002 increased the scrutiny of auditors. We investigate whether these events resulted in a change in auditor behavior with respect to going concern reporting. Generally speaking, we find that non-Big N auditors became more conservative while Big N auditors became more accurate. Specif...

In the model there are two types of financial auditors with identical technology, one of which is endowed with a prior reputation for honesty. We characterize conditions under which there exists a “two-tier equilibrium” in which “reputable” auditors refuse bribes offered by clients for fear of losing reputation, while “disreputable” auditors accept bribes because even persistent refusal does no...

This paper analyzes political agency with endogenous information collection and revelation by third-party auditors. While increasing incentives for auditors to provide information straightforwardly improves political control, a small amount of pro-incumbent bias can also be useful for maintaining high levels of control. When the equilibrium level of control is high, most investigations uncover ...

Automated control weaknesses are associated with defects in computer hardware or computer applications. AU 319 does not require auditors to add professionals with specialized skills in automated controls (or IT audit specialists) to the audit engagement. Auditors may encounter a material automated control weakness and adjust their audit plan without the assistance of an IT audit specialists. Th...

The purpose of the current study is to examine the degree of reliance external auditors are willing to place on the work of the internal audit function (IAF) when the IAF's objectivity might be compromised. Experienced external auditors (N = 142) participated in a 2 (reporting relationship: audit committee of the board of directors [ACBOD] or chief finance officer [CFO]) by 2 (IAF involvement i...