Specs Driven Development capabilities for defining, validating and implement code from specifications