Software Assumptions And Dependencies