Вопросы с тегом «software-engineering»

Мне интересно, есть ли какие-либо эксперименты, которые показывают существование или отсутствие корреляции между использованием динамического языка (такого как Python, Ruby, или даже языков, которые работают на платформе Java, таких как Groovy, Clojure) над статический язык (например, C / C ++) и разница в производительности.

25 programming-languages  empirical-research  software-engineering 

Проблема остановки не может быть решена в общем случае. Можно придумать определенные правила, которые ограничивают разрешенные входы, и можно ли решить проблему остановки для этого особого случая? Например, кажется вероятным, что язык, который не допускает циклы, например, будет очень легко определить, остановится ли программа или нет. Проблема, которую я пытаюсь …

18 computability  undecidability  software-engineering  formal-methods 

Как проверить, возвращают ли два алгоритма (скажем, сортировка слиянием и наивная сортировка) один и тот же результат для любого входа, когда набор всех входов бесконечен? Обновление: Спасибо, Бен, за описание того, как это невозможно сделать алгоритмически в общем случае. Ответ Дейва - это краткое изложение как алгоритмических, так и ручных …

18 computability  formal-methods  software-engineering  software-verification 

Есть ли доказательства того, что время, потраченное на написание или размышления о требованиях, повлияет на время разработки? Исследование, проведенное Standish (1995), показывает, что неполные требования частично (13,1%) способствовали провалу проектов. Проводятся ли какие-либо исследования, которые показывают, что время, потраченное на анализ требований, окажет какое-либо влияние на время разработки проекта, или …

15 software-engineering