Spec Kitty mission lifecycle: a domain modeling pass through Giiken

Este artigo detalha o ciclo de vida de uma missão Spec Kitty, um framework de agentes que executa missões reais através de uma máquina de estados com artefatos em disco. Ele acompanha uma missão específica de modelagem de domínio para Giiken, desde a especificação até a fusão.