Запитання з тегом «software-engineering»

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

25 programming-languages  empirical-research  software-engineering 

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

18 computability  undecidability  software-engineering  formal-methods 

Як ви перевіряєте, чи два алгоритми (скажімо, сортування злиття та сортування Naive) повертають однаковий результат для будь-якого вводу, коли безліч безлічі входів? Оновлення: Дякую Бену за опис того, як це неможливо зробити алгоритмічно в загальному випадку. Відповідь Дейва - це великий підсумок як алгоритмічних, так і ручних (з урахуванням людської …

18 computability  formal-methods  software-engineering  software-verification 

Чи є якісь докази, що свідчать про те, що час, витрачений на написання або роздуми над вимогами, матиме якийсь вплив на час розробки? Дослідження, проведене Standish (1995), свідчить про те, що неповні вимоги частково (13,1%) сприяли провалу проектів. Чи проводяться якісь дослідження, які показують, що час, витрачений на аналіз потреб, …

15 software-engineering