Model checking is a promising technique for the verification of complex software systems. As the use of the Internet for conduct business (e-business) extends the reach of many businesses, well-designed software becomes the foundation of reliable implementation of e-business processes. These...

Model checking offers a methodology for determining whether a model satisfies a list of correctness requirements. We propose a theory of dependability auditing with model checking based on four principles: (1) The modeling process should be partitioned into computational components and...

The purpose of this paper is to describe the results of an effort to utilize case‐based reasoning (CBR) to model a specific audit judgment task. To date, most efforts to develop computational models of audit judgment have used strictly rule‐based representation methods. Some researchers have...

Decision‐support systems can be improved by enabling them to use past decisions to assist in making present ones. Reasoning from relevant past cases is appealing because it corresponds to some of the processes an expert uses to solve problems quickly and accurately. All this depends on an...

This paper reports on the continued evaluation of EDP‐XPERT, and expert system for assisting Computer Audit Specialists (CASs) in evaluating the reliability of EDP controls in advanced computer environments. The current evaluation of the system involved four phases. First, Senior CASs used the...

This manuscript examines the unintended consequences that organizational computer monitoring can foster within the firm. We apply justice and reactance theories to explain why monitoring can actually increase the occurrence of detrimental organizational behaviors. Our model suggests monitoring...

Privacy concerns can greatly hinder consumers’ intentions to interact with a website. The success of a website therefore depends on its ability to improve consumers’ perceptions of privacy assurance. Seals and assurance statements are mechanisms often used to increase this assurance; however,...

A continual debate surrounds the effectiveness of agile software development practices. Some organizations adopt agile practices to become more competitive, improve processes, and reduce costs. Other organizations are skeptical about whether agile development is beneficial. Large organizations...

Historically, inaccurate credibility assessments have resulted in tremendous costs to businesses and to society. Recent research offers unobtrusive credibility assessment aids as a solution; however, the accuracy of these decision aids is inadequate, and users often resist accepting the aids’...

Trust is a crucial factor in e-commerce. However, consumers are less likely to trust unknown websites. This study explores how less-familiar e-commerce websites can use branding alliances and website quality to increase the likelihood of initial consumer trust. We use the associative network...