Patrones de diseño para aplicaciones concurrentes

un concepto muy parecido a los patrones de diseño se encuentra en la matemática y en la teoría de los algoritmos, por ejemplo:

técnicas de pruebas matemáticas:

 

• comprobación directa
• inducción
• contradicción
• contra-ejemplo
• comprobación indirecta
• diagonalización
• amortización
• reducción
• y mas ...

paradigmas de desarrollo de algoritmos:

 

búsqueda exhaustiva

búsqueda binaria

divide-y-vencerás

ramificación-y-poda

barrido

perturbación

y mas ...