Marcador de diseño

En ingeniería de software , un marcador de diseño es una técnica para documentar decisiones de diseño en el código fuente mediante el patrón de interfaz de marcador . Tradicionalmente, las interfaces de marcador se han limitado a aquellas destinadas a la verificación explícita en tiempo de ejecución (normalmente mediante `instanceof` ). Un marcador de diseño es una interfaz de marcador que se utiliza para documentar una decisión de diseño. En los programas Java , la decisión de diseño se documenta en la documentación Javadoc de la interfaz de marcador.

Muchas decisiones tomadas durante la fase de diseño de software no pueden expresarse directamente en lenguajes de implementación actuales como C# y Java. Estas decisiones de diseño (conocidas como patrones de diseño , contratos de diseño , refactorización , modismos de programación eficaces , planos , etc.) deben implementarse mediante convenciones de programación y nomenclatura , ya que van más allá de la funcionalidad integrada de los lenguajes de programación de producción. Las consecuencias de esta limitación, con el tiempo, erosionan las inversiones en diseño y fomentan una falsa separación entre la mentalidad del diseñador y la del implementador.

Dos propuestas independientes reconocen estos problemas y ofrecen las mismas estrategias básicas para abordarlos. Hasta ahora, el incipiente movimiento de programación explícita se ha vinculado al uso de una herramienta experimental de investigación en Java llamada ELIDE. La técnica de marcadores de diseño solo requiere herramientas estándar similares a Javadoc para obtener muchos de los beneficios de la programación explícita .

• Patrones de diseño
• Patrón de interfaz de marcador

• Marcadores de diseño: Programación explícita para todos nosotros
• Página principal de Design Markers
• Manifiesto de la programación explícita