Ingeniería de software

He leído un poco sobre semántica denotativa (DS) y estoy muy intrigado por el proceso de diseño de programas de computadora donde los tipos y funciones tienen asignaciones claras y fuertes a las matemáticas. ¿Hay algún recurso que discuta el diseño de programas basados ​​en DS en detalle? He visto …

30 scala  haskell  scheme 

De acuerdo con las reglas de TDD, las pruebas unitarias se escriben antes del código de producción, pero ¿qué pasa con las pruebas de integración que ejercitan la interacción entre objetos cableados concretos (no simulados)? ¿Deberían escribirse antes de las pruebas unitarias o después del código de producción solo para …

30 tdd  integration-tests 

Abstracto: Entonces, como lo entiendo (aunque tengo una comprensión muy limitada), hay tres dimensiones con las que (generalmente) trabajamos físicamente: El primero estaría representado por una línea. El segundo estaría representado por un cuadrado. El tercero estaría representado por un cubo. Suficientemente simple hasta llegar a la 4ta . Es …

30 theory  array 

Mi compañía está usando Git y está usando un esquema de ramificación peculiar: el trabajo se realiza en master y las ramas están reservadas para lanzamientos. Esto funciona bien, siempre que todo el trabajo realizado en una iteración llegue a la rama, pero si surge un problema de producción crítico, …

30 git  workflows  branching  gitflow 

Según el artículo de Wikipedia sobre Spurious Wakeups "un hilo puede despertarse de su estado de espera aunque ningún hilo indique la variable de condición". Si bien conozco esta 'característica', nunca supe qué la causó hasta que, en el mismo artículo "El despertar espurio puede sonar extraño, pero en algunos …

30 multithreading  bug  features 

¿La introducción de la nueva notación lambda (ver, por ejemplo, este artículo ) en Java 8 va a requerir algún tipo de inferencia de tipos? Si es así, ¿cómo afectará el nuevo sistema de tipos al lenguaje Java en su conjunto?

30 java  type-systems  lambda  java8 

Si un programador se comunica con usted y le pide que contribuya a su proyecto, ¿cómo lo maneja? No sabes si este tipo es bueno. Quizás sea más problemático de lo que vale. Podría estar tratando de adjuntar su nombre a un proyecto exitoso solo por elogios. Podría estar tratando …

30 open-source  github 

Me gustaría saber si tiene sentido dividir el proyecto en el que estoy trabajando en dos repositorios en lugar de uno. Por lo que puedo decir: Frontend se escribirá en html + js Backend en .net El backend no depende del frontend y el frontend no depende del backend El …

30 project-management  version-control  git  mercurial  organization 

Supongamos que tengo un Administrador de clase derivado de un Empleado de clase base , y ese Empleado tiene un método getEmail () que hereda el Administrador . ¿Debo probar que el comportamiento del método getEmail () de un gerente es, de hecho, el mismo que el de un empleado? …

30 testing  inheritance 

Acabo de leer que habrá dos versiones de Windows disponibles: Windows RT y Windows 8 . ¿Podría alguien describir cuáles son las diferencias entre Windows RT y Windows 8 ? ¿Y cómo pueden afectar estas diferencias a los desarrolladores que crean aplicaciones para uno u otro? Además, ¿qué es WinRT …

30 applications  windows-8  winrt 

Sé que la programación por pares es una técnica de desarrollo de software ágil en la que dos programadores trabajan juntos en una estación de trabajo. Uno, el conductor, escribe el código, mientras que el otro, el observador, revisa cada línea de código a medida que se escribe. Pero me …

30 agile  pair-programming 

Se disponen vasos de agua vacíos en el siguiente orden: Cuando vierte líquido en el primer vaso si está lleno, entonces el líquido extra fluirá a los vasos 2 y 3 en cantidades iguales. Cuando el vaso 2 está lleno, el líquido extra fluiría a 4 y 5 y así …

30 algorithms  puzzles 

Supongamos que tengo un archivo que foo.pycontiene una clase Foo: class Foo(object): def __init__(self, data): ... Ahora quiero agregar una función que cree un Fooobjeto de cierta manera a partir de datos de origen sin procesar. ¿Debo ponerlo como un método estático en Foo o como otra función separada? class …

30 design  python 

¿Existen técnicas específicas de Java (cosas que no se aplicarían a C ++) para escribir código de baja latencia en Java? A menudo veo roles de baja latencia de Java y piden experiencia escribiendo Java de baja latencia, lo que a veces parece un poco oxímoron. Lo único que se …

30 java  performance  caching  latency 

Hace poco vi esta pregunta en matemáticas. Me hizo pensar. ¿Podría Pi utilizarse como un generador de números aleatorios en bruto? Quiero decir que los resultados son bien conocidos (¿hasta cuándo se ha calculado pi ahora?) Pero, Pi parece ser bastante aleatorio cuando se toma 1 dígito a la vez. …

30 algorithms  language-agnostic  math  random