Item description for Financial Audit Systems Modeling- A Formal Specifications Approach by J. A. Akinyemi...
Failures in financial system auditing processes have had serious consequences for businesses. Fraudulent audit practices have resulted in loss of investment capital, jobs and businesses leading to a lack of trust in financial systems. These problems can be traced to irregular audit processes lacking adequate and verifiable audit models, processes and procedures. This book discusses how software engineering techniques used for modeling mission-critical systems can be used for modeling financial systems and their associated audit components. It outlines how accountability and transparency can be correctly and completely built into financial audit systems models using formal specifications. An approach for verifying the correctness of audit models is provided. The book is well suited for designers and model engineers working on financial and audit control systems. Accounting students interested in financial auditing as well as Computer Science students interested in modeling misioncritical software systems will find the book useful. It is a valuable resource for practitioners and researchers interested in modeling and building reliable financial systems.
Promise Angels is dedicated to bringing you great books at great prices. Whether you read for entertainment, to learn, or for literacy - you will find what you want at promiseangels.com!
Est. Packaging Dimensions: Length: 9.53" Width: 6.54" Height: 0.47" Weight: 0.66 lbs.
Release Date Jul 27, 2007
Publisher VDM Verlag Dr. Mueller e.K.
ISBN 3836422948 ISBN13 9783836422949
Availability 98 units. Availability accurate as of Mar 30, 2017 08:59.
Usually ships within one to two business days from La Vergne, TN.
Orders shipping to an address other than a confirmed Credit Card / Paypal Billing address may incur and additional processing delay.