acezen / sedeve-kit

Specification-Driven Development Kit

sedeve-kit

Specification-Driven Development Kit

The workflow for building a system using sedeve-kit

Using the kit

How to start

Modeling the system

Use I/O automaton to model the system

Mapping logical model to physical system

From design-level to code-level