Financial Audit Systems Modeling- A Formal Specifications Approach - Tapa blanda

Jin, Dean; Akinyemi, J. A.

 
9783836422949: Financial Audit Systems Modeling- A Formal Specifications Approach
Tapa blanda
ISBN 10: 3836422948 ISBN 13: 9783836422949
Editorial: VDM Verlag Dr. Mueller e.K., 2007

Sinopsis

Failures in financial system auditing processes have had serious consequencesfor businesses. Fraudulent audit practices have resulted in loss of investmentcapital, jobs and businesses leading to a lack of trust in financial systems.These problems can be traced to irregular audit processes lacking adequateand verifiable audit models, processes and procedures.This book discusses how software engineering techniques used for modelingmission-critical systems can be used for modeling financial systems and theirassociated audit components. It outlines how accountability and transparencycan be correctly and completely built into financial audit systemsmodels using formal specifications. An approach for verifying the correctnessof audit models is provided.The book is well suited for designers and model engineers working on financialand audit control systems. Accounting students interested in financialauditing as well as Computer Science students interested in modeling misioncriticalsoftware systems will find the book useful. It is a valuable resource forpractitioners and researchers interested in modeling and building reliablefinancial systems.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
VDM Verlag Dr. Mueller e.K.
Año de publicación
2007
Idioma
Inglés
ISBN 10 
3836422948
ISBN 13 
9783836422949
Encuadernación
Tapa blanda
Número de páginas
172
Contacto del fabricante
no disponible
Persona responsable
no disponible

Otras ediciones populares con el mismo título

9783639414172: Financial Audit Systems Modeling: A Formal Specifications Approach

Edición Destacada

ISBN 10:  3639414179 ISBN 13:  9783639414172
Editorial: AV Akademikerverlag, 2012
Tapa blanda