State machines

Spec Kitty mission lifecycle: a domain modeling pass through Giiken

Este artículo detalla el ciclo de vida de una misión Spec Kitty, un framework de agentes que ejecuta misiones reales a través de una máquina de estados con artefactos en disco. Sigue una misión específica de modelado de dominio para Giiken desde la especificación hasta la fusión.