Models, Prompts, and Code! A Semi-Formal State Machine Language for Multi-Paradigmatic Software Development
Compared to both classical UML tooling and fully LLM-based generation, the approach offers stronger determinism, better traceability, lower cognitive modeling effort, and reduced computational cost, while retaining the flexibility to express complex action behavior in natural language where formal specification would b...