NDLI: A resolution-based approach to the validation of internal control systems

Please wait, while we are loading the content...

Computing personnel: Changes in the workplace

DP personnel productivity - the peopleware problem

Software development staffs in the seventies and eighties

Trends in certification and professionalism

Information systems: (Panel Discussion): A balanced approach to undergraduate computer curricula

Networking with small computers: Applications for home delivery of library services

Networking with small computers: Intermediate-level communication protocols

The Icon programming language a new approach to high-level string processing

The elements of SETL style.

Abstracto 84: The next generation

Current and future tools for debugging

Computer personnel productivity: Methods of measurement and improvement

An Integrated Productivity, Training, and Performance Planning/Appraisal Framework

Predictors of turnover among computer specialists

Data processing personnel career development program

New directions in the management of data processing training

New directions in the management of data processing training

Industrial darwinism: Evolution of microprogramming

A very easy hierarchical DBMS implementation

A model of the performance of a rollback algorithm

Automatic program generation for processing a high level relational-like query language

Dynamic derived relations within the RAQUEL II DBMS

Practical applications of path pascal in systems programming

DREAM - an approach to designing large scale, concurrent software systems

Issues in the design of concurrent programming languages

Structured program planning and design: Standardization needs

Structured standardization managers' views

TOP-DOWN systems design

PASCAL Users' forum

Business data processing education: Teaching in the 80's

A computer aid for Schenkerian analysis

An artificial intelligence approach to tonal music theory

Simulating musical skills by digital computer

Small computers (Panel Discussion): The information gap

Effective management of simulation and modeling projects

70's programming style for a developing country programming

EP-2, A prototype Exemplary Programming system

A case study in system integration using the Build approach

Assertional checking and symbolic execution: An effective combination for debugging

Computer based human communication: Lessons of the seventies, directions for the eighties

Computer-aided communications: New Directions for Higher Education

Theory Net: An electronic mail system

Computerized conferencing in the 80's: What could be, what should be and what probably will be

The ACM project on computers and society and computer literacy courses and materials

Documentation- a bridge from the 70's to the 80's

An overview of fortran standardization activities

A “core + modules” approach to Fortran standardization

Loop constructs - a design for Fortran

Array processing extensions to FORTRAN

Computers help solve problems in multinational corporations

Computer auditing and control

A systems manager's view of computer auditing

A resolution-based approach to the validation of internal control systems

On-line computer auditing

Case studies on the implementation and use of database management systems: Installing the first database application

Modeling the binding policies of programming languages

Logical Structure Specification and data type definition

An extension to algebraic specifications to incorporate state behavior

Organizing and accessing files for magnetic bubble memory and charge coupled devices

Programming in natural language: “NLC” as a prototype

The future of natural language processing (Panel Discussion)

The future of natural language processing (Panel Discussion)

Computer Education Technology (Panel Discussion)

Automatic deduction and equality

Applications of the theory of random graphs to average algorithm performance analysis

First programming language: Consequences (Panel Discussion)

A resolution-based approach to the validation of internal control systems

Content Provider	ACM Digital Library
Author	Bailey, Andrew D.
Abstract	Internal control comprises the plan of organization and the methods adopted within a business to safeguard its assets, check the accuracy and reliability of its accounting data, promote operational efficiency and encourage adherance to prescribed managerial policies. When an auditor is required to render an opinion on the validity of a system of internal control, a three stage process is usually performed. First, a model of the organization's system of internal control is developed and reviewed. If the model is found to be valid, tests for compliance with the model are performed. Finally, substantive audit tests are made to produce direct evidence about account balances. This work addresses the first of these processes. A description of the internal control system is generally obtained by interviewing knowledgeable managers in the organization and producing written descriptions and/or flowcharts of the system. These descriptions are then scrutinized by the auditor to find weaknesses in the system. For large scale operations, the magnitude of detail often overwhelms the auditor. The purpose of this paper is to describe a method for validating internal control systems which is implementable on a computer.
File Format	PDF
ISBN	0897910087
DOI	10.1145/800177.810065
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	1979-01-01
Publisher Place	New York
Access Restriction	Subscribed
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in