Financial Audit Systems Modeling- A Formal Specifications Approach - Softcover

Akinyemi, J A; Jin, Dean

 
9783836422949: Financial Audit Systems Modeling- A Formal Specifications Approach
Softcover
ISBN 10: 3836422948 ISBN 13: 9783836422949
Publisher: VDM Verlag Dr. Mueller E.K., 2007

Synopsis

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.

"synopsis" may belong to another edition of this title.

Synopsis

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.

About the Author

John A. Akinyemi: MBA and MSc Computer Science degrees. He has used IT to support operations and internal audit processes at Citibank and FSB International Bank, Nigeria. His research interests include financial systems modeling and systems integration. Dean Jin: Assistant Professor in Computer Science at the University of Manitoba. He has extensive experience consulting in accounting system automation and system maintenance practices.

Dean Jin is an Assistant Professor in Computer Science at the University of Manitoba. He has extensive experience consulting in accounting system automation and system maintenance practices. His research interests include legacy system evolution, integration, and software migration in the financial management and medical informatics domain.

"About this title" may belong to another edition of this title.

Publisher
VDM Verlag Dr. Mueller E.K.
Publication date
2007
Language
English
ISBN 10 
3836422948
ISBN 13 
9783836422949
Binding
Paperback
Number of pages
172

Other Popular Editions of the Same Title

9783639414172: Financial Audit Systems Modeling: A Formal Specifications Approach

Featured Edition

ISBN 10:  3639414179 ISBN 13:  9783639414172
Publisher: AV Akademikerverlag, 2012
Softcover