Kata kata bijak "Jim Horning" tentang "ILMU KOMPUTER"
"Untuk memperlakukan pemrograman secara ilmiah, harus mungkin untuk menentukan properti program yang dibutuhkan secara tepat. Formalitas tentu saja bukan tujuan itu sendiri. Pentingnya spesifikasi formal pada akhirnya harus bersandar pada utilitas mereka - apakah mereka digunakan untuk meningkatkan kualitas perangkat lunak atau untuk mengurangi biaya produksi dan pemeliharaan perangkat lunak."
--- Jim Horning