Checkout SpecKit and SpecDD too. There is a significant variety of spec-driven development approaches.