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 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 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.
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.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 172 pp. Englisch. N° de réf. du vendeur 9783639414172
Quantité disponible : 2 disponible(s)
Vendeur : Books Puddle, New York, NY, Etats-Unis
Etat : New. N° de réf. du vendeur 26357367800
Quantité disponible : 4 disponible(s)
Vendeur : moluna, Greven, Allemagne
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Autor/Autorin: Akinyemi John A.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 syste. N° de réf. du vendeur 4985634
Quantité disponible : Plus de 20 disponibles
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Etat : New. Print on Demand. N° de réf. du vendeur 356204583
Quantité disponible : 4 disponible(s)
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Etat : New. PRINT ON DEMAND. N° de réf. du vendeur 18357367794
Quantité disponible : 4 disponible(s)
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -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 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 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.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 172 pp. Englisch. N° de réf. du vendeur 9783639414172
Quantité disponible : 1 disponible(s)
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Taschenbuch. Etat : Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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. N° de réf. du vendeur 9783639414172
Quantité disponible : 1 disponible(s)
Vendeur : preigu, Osnabrück, Allemagne
Taschenbuch. Etat : Neu. Financial Audit Systems Modeling | A Formal Specifications Approach | John A. Akinyemi (u. a.) | Taschenbuch | 172 S. | Englisch | 2012 | AV Akademikerverlag | EAN 9783639414172 | Verantwortliche Person für die EU: BoD - Books on Demand, In de Tarpen 42, 22848 Norderstedt, info[at]bod[dot]de | Anbieter: preigu. N° de réf. du vendeur 106439059
Quantité disponible : 5 disponible(s)