A Discrete Formulation of Successive Software Releases