Engineering Software with AI : Spec-Driven Development, Context Engineering, and Human-Guided Workflows for Requirements, Architecture, Planning, Implementation, Verification, and Reliable Software