Jim Horning: "Untuk memperlakukan pemrograman secara ilmiah, harus mun...
"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 HorningVersi Bahasa Inggris
To treat programming scientifically, it must be possible to specify the required properties of programs precisely. Formality is certainly not an end in itself. The importance of formal specifications must ultimately rest in their utility -in whether or not they are used to improve the quality of software or to reduce the cost of producing and maintaining software.
Anda mungkin juga menyukai:
Bamanga Tukur
1 Kutipan dan Pepatah
Charles Haughey
3 Kutipan dan Pepatah
Ignacio Chapela
2 Kutipan dan Pepatah
J. A. Spender
7 Kutipan dan Pepatah
Jake Shields
2 Kutipan dan Pepatah
Jose Joaquin de Olmedo
1 Kutipan dan Pepatah
Kevin Towers
2 Kutipan dan Pepatah
Maneet Chauhan
2 Kutipan dan Pepatah
Mariela Griffor
1 Kutipan dan Pepatah
Meredith Vieira
21 Kutipan dan Pepatah
Sendhil Mullainathan
6 Kutipan dan Pepatah
Jim Harrison
98 Kutipan dan Pepatah