En ingeniería de software , un marcador de diseño es una técnica para documentar las opciones de diseño en el código fuente utilizando el patrón Marker Interface . Las interfaces de marcador se han limitado tradicionalmente a aquellas interfaces destinadas a la verificación explícita en tiempo de ejecución (normalmente a través de instanceof ). Un marcador de diseño es una interfaz de marcador que se utiliza para documentar una opción de diseño. En los programas Java , la opción de diseño se documenta en la documentación Javadoc de la interfaz del marcador .
Muchas de las decisiones que se toman en el momento de diseñar un software no se pueden expresar directamente en los lenguajes de implementación actuales, como C# y Java. Estas decisiones de diseño (conocidas por nombres como Patrón de diseño , Contrato de diseño , Refactorización , Modismos de programación eficaces, Blueprints, etc.) se deben implementar mediante convenciones de programación y nomenclatura , porque van más allá de la funcionalidad incorporada de los lenguajes de programación de producción. Las consecuencias de esta limitación conspiran con el tiempo para erosionar las inversiones en diseño, así como para promover una falsa segregación entre las mentalidades del diseñador y del implementador.
Dos propuestas independientes reconocen estos problemas y ofrecen las mismas estrategias básicas para abordarlos. Hasta ahora, el movimiento de programación explícita en ciernes se ha vinculado al uso de una herramienta experimental de investigación de Java llamada ELIDE. La técnica de marcadores de diseño requiere únicamente herramientas estándar similares a Javadoc para aprovechar muchos de los beneficios de la programación explícita .