Ilmu falak yang dihadapkan pada perkembangan teknologi yang serba computerized ini harus mampu menunjukkan eksistensinya. Hal ini dijawab oleh para pecinta falak dengan menghadirkan banyak software (program) berbasis ilmu falak. Munculnya varian software komputer tersebut acapkali menimbulkan problematika. Sebagai user, umat Islam khususnya mereka yang mendalami ilmu falak dihadapkan pada kebimbangan mengenai software waktu salat mana yang benar-benar bisa digunakan dan dipercaya. Karena software waktu salat –yang umumnya beredar− hanya menyediakan hasil akhir perhitungan tanpa transparansi (memperlihatkan proses perhitungannya). Pasalnya, dalam perhitungan waktu salat, beberapa koreksi harus diperhitungkan, yaitu: ketinggian tempat, ihtiyat, dan penggunaan data astronomis yang tepat. Tentu saja dalam skala makro anomali ini tidak disadari oleh user, karena memang tidak ada transparansi proses perhitungan dalam software tersebut. Dari problematika tersebut, peneliti merasa perlu untuk meneliti tentang pembuatan program waktu salat menggunakan software Micrososft Visual Basic 2010.
Rumusan masalah yang penulis tentukan ada dua. Pertama, bagaimana algoritma pembuatan program waktu salat yang transparan, berkualitas, akurat, dan berbeda menggunakan software Microsoft Visual Basic 2010. Kedua, Bagaimana hasil uji evaluasi dan verifikasi program waktu salat “ShalatQ” dengan program lain.
Penelitian ini menggunakan metode penelitian kualitatif dengan pendekatan matematis dan pemrograman. Metode pengumpulan data adalah library research (penelitian kepustakaan). Sumber data primer meliputi metode perhitungan waktu salat pada buku-buku falak dan astronomi, serta pemrograman. Sedangkan data sekundernya adalah seluruh dokumen berupa buku, kitab, makalah, yang masih berkaitan dengan obyek penelitian. Data-data tersebut dianalisis dengan menggunakan metode deskriptif, metode pemrograman, sehingga menghasilkan penelitian berupa program waktu salat. Setelah itu program waktu salat diuji dengan dua tahap pengujian, yaitu uji evaluasi dan uji verifikasi hasil perhitungan waktu salat dengan program waktu salat lainnya.
Dari hasil penelitian, dapat disimpulkan bahwa algoritma pemrogaman waktu salat melalui beberapa tahap, yaitu pengumpulan data, analisis kebutuhan program, perancangan program, implementasi program (penulisan bahasa pemrograman), pengujian program dan yang terakhir adalah tahap compile dan build program. Hasil uji evaluasi program menunjukkan bahwa program ini hanya bisa dioperasikan komputer dengan sistem operasi Windows saja. Sedangkan hasil uji verifikasi ShalatQ menghasilkan kesimpulan bahwa hasil perhitungan ShalatQ sudah akurat dibanding dengan program lain.