From Specifications to Implementation in the Gen-AI Era: Lessons from a Project-Based Software Engineering Course | Synapse