«software-engineering» etiketlenmiş sorular

Dinamik bir dil (Python, Ruby ve hatta Java platformunda Groovy, Clojure gibi çalışan diller) kullanımı arasında bir korelasyonun varlığını veya var olmadığını gösteren herhangi bir deney olup olmadığını merak ediyorum. statik dil (C / C ++ gibi) ve verimdeki fark.

25 programming-languages  empirical-research  software-engineering 

Durma problemi genel durumda çözülemez. İzin verilen girdileri kısıtlayan tanımlı kurallar bulmak mümkündür ve durdurma sorunu bu özel durum için çözülebilir mi? Örneğin, döngülere izin vermeyen bir dilin, programın durup durmayacağını söylemek çok kolay olacaktır. Şu anda çözmeye çalıştığım sorun, programın geçerliliğini kontrol eden bir komut dosyası denetleyicisi yapmaya çalışıyorum. …

18 computability  undecidability  software-engineering  formal-methods 

Tüm girişler kümesi sonsuz olduğunda, iki algoritmanın (örneğin, Birleştirme sıralaması ve Naif sıralaması) herhangi bir girdi için aynı sonucu döndürüp döndürmediğini nasıl kontrol edersiniz? Güncelleme: Ben , genel durumda bunun algoritmik olarak nasıl imkansız olduğunu anlattığınız için teşekkür ederim . Dave'in yanıtı , her zaman işe yaramayan, ancak oldukça etkili …

18 computability  formal-methods  software-engineering  software-verification 

Yazmak veya gereksinimleri düşünmek için harcanan zamanın gelişim zamanı üzerinde herhangi bir etkisi olacağını gösteren herhangi bir kanıt var mı? Standish (1995) tarafından yapılan çalışma, eksik gereksinimlerin kısmen (% 13.1) projelerin başarısızlığına katkıda bulunduğunu göstermektedir. İhtiyaç analizi için harcanan zamanın bir projenin geliştirme süresi üzerinde veya projenin ne kadar başarılı …

15 software-engineering