Preguntas etiquetadas con software-engineering

Me pregunto si hay experimentos que muestren la existencia o la inexistencia de una correlación entre el uso de un lenguaje dinámico (como Python, Ruby o incluso lenguajes que se ejecutan en la plataforma Java como Groovy, Clojure) en un lenguaje estático (como C / C ++), y la diferencia …

25 programming-languages  empirical-research  software-engineering 

El problema de la detención no se puede resolver en el caso general. Es posible proponer reglas definidas que restrinjan las entradas permitidas y ¿se puede resolver el problema de detención para ese caso especial? Por ejemplo, parece probable que un lenguaje que no permita bucles, por ejemplo, sea muy …

18 computability  undecidability  software-engineering  formal-methods 

¿Cómo se verifica si dos algoritmos (por ejemplo, ordenar por combinación y ordenar por ingenuo) devuelven el mismo resultado para cualquier entrada, cuando el conjunto de todas las entradas es infinito? Actualización: Gracias Ben por describir cómo esto es imposible de hacer algorítmicamente en el caso general. La respuesta de …

18 computability  formal-methods  software-engineering  software-verification 

¿Hay alguna evidencia que sugiera que el tiempo dedicado a escribir o pensar en los requisitos tendrá algún efecto en el tiempo de desarrollo? El estudio realizado por Standish (1995) sugiere que los requisitos incompletos contribuyeron parcialmente (13.1%) al fracaso de los proyectos. ¿Se han realizado estudios que demuestren que …

15 software-engineering 

He notado en mi corta vida académica que muchos artículos publicados en nuestra área a veces no tienen mucho rigor con respecto a las estadísticas. Esto no es solo una suposición; He escuchado a los profesores decir lo mismo. Por ejemplo, en las disciplinas de CS veo publicaciones que afirman …

8 software-engineering  empirical-research  statistics