Pertanyaan yang diberi tag «software-engineering»

Saya bertanya-tanya apakah ada percobaan yang menunjukkan ada atau tidak adanya korelasi antara penggunaan bahasa dinamis (seperti Python, Ruby, atau bahkan bahasa yang berjalan pada platform Java seperti Groovy, Clojure) melalui bahasa statis (seperti C / C ++), dan perbedaan produktivitas.

25 programming-languages  empirical-research  software-engineering 

Masalah penghentian tidak dapat diselesaikan dalam kasus umum. Dimungkinkan untuk membuat aturan yang ditetapkan yang membatasi input yang diizinkan dan dapatkah masalah penghentian diselesaikan untuk kasus khusus itu? Misalnya, sepertinya bahasa yang tidak memungkinkan loop misalnya, akan sangat mudah untuk mengetahui apakah program akan berhenti atau tidak. Masalah yang saya …

18 computability  undecidability  software-engineering  formal-methods 

Bagaimana Anda memeriksa jika dua algoritma (katakanlah, Urutkan gabungan dan Urutkan naif) mengembalikan hasil yang sama untuk input apa pun, ketika set semua input tidak terbatas? Pembaruan: Terima kasih, Ben, karena telah menjelaskan bagaimana ini tidak mungkin dilakukan secara algoritmik dalam kasus umum. Jawaban Dave adalah ringkasan yang bagus dari …

17 computability  formal-methods  software-engineering  software-verification 

Adakah bukti yang menunjukkan bahwa waktu yang dihabiskan untuk menulis, atau memikirkan persyaratan akan berpengaruh pada waktu pengembangan? Studi yang dilakukan oleh Standish (1995) menunjukkan bahwa persyaratan yang tidak lengkap sebagian (13,1%) berkontribusi pada kegagalan proyek. Adakah penelitian yang dilakukan yang menunjukkan bahwa waktu yang dihabiskan untuk analisis kebutuhan akan …

15 software-engineering 

Saya telah memperhatikan dalam kehidupan akademis saya yang pendek bahwa banyak makalah yang diterbitkan di daerah kami terkadang tidak memiliki banyak ketelitian mengenai statistik. Ini bukan hanya asumsi; Saya pernah mendengar profesor mengatakan hal yang sama. Sebagai contoh, dalam disiplin ilmu CS saya melihat makalah yang diterbitkan mengklaim bahwa metodologi …

8 software-engineering  empirical-research  statistics