Perancangan Spesifikasi Kebutuhan Sistem Pengujian Kontrol dan Pemantauan Hasil Audit Berkesinambungan: Studi Kasus Internal Audit Group, PT XYZ = Requirement Specification Design for Continuous Auditing and Monitoring System: Case Study Internal Audit Group, PT XYZ