Engineering Implementation Specification Exercise