DevOps Synthesized