Etapa C · Parte 13
Especificaciones, contratos y modelos
Fase 3 en reconstrucción: doce borradores visibles, todavía sin aprobación pedagógica.
Clases de la parte
- SE-157 — Especificación informal, semiformal y formal
- SE-158 — Specification by Example y BDD
- SE-159 — Contratos, invariantes y diseño por contrato
- SE-160 — Modelos estructurales, conductuales y de información
- SE-161 — Máquinas de estado y model checking introductorio
- SE-162 — Esquemas de datos y validación
- SE-163 — OpenAPI, AsyncAPI, GraphQL y contratos de eventos
- SE-164 — Compatibilidad, versionado y evolución de contratos
- SE-165 — Spec-first, spec-anchored y spec-as-source
- SE-166 — Especificaciones ejecutables y pruebas contractuales
- SE-167 — Taller: convertir intención en contrato comprobable
- SE-168 — Proyecto: paquete de especificaciones trazables