Bookcover of Financial Audit Systems Modeling
Booktitle:

Financial Audit Systems Modeling

A Formal Specifications Approach

AV Akademikerverlag (2012-05-21 )

Books loader

Omni badge eligible for voucher
ISBN-13:

978-3-639-41417-2

ISBN-10:
3639414179
EAN:
9783639414172
Book language:
English
Blurb/Shorttext:
Revision with unchanged content. 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 trans­parency 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 finan­cial and audit control systems. Accounting students interested in finan­cial auditing as well as Computer Science students interested in mode­ling mision-critical software systems will find the book useful. It is a valuable resource for practitioners and researchers interested in modeling and building reliable financial systems.
Publishing house:
AV Akademikerverlag
Website:
http://www.akademikerverlag.de/
By (author) :
John A. Akinyemi, Dean Jin
Number of pages:
172
Published on:
2012-05-21
Stock:
Available
Category:
Informatics
Price:
49.00 €
Keywords:
modeling, formal specification, UML, Auditing, requirements specification, Formal Verification, financial systems, Predicate Logic, Financial Transactions, Constraints Specification.

Books loader

Newsletter

Adyen::diners Adyen::jcb Adyen::discover Adyen::amex Adyen::mc Adyen::visa Adyen::cup Adyen::unionpay Adyen::paypal Paypal CryptoWallet Wire Transfer

  0 products in the shopping cart
Edit cart
Loading frontend
LOADING