Where I work we do (for high assurance software) systems specifications, systems design, software specifications and software design and ultimately source code.

That said, there is a bit of redundancy between software design and source code. We tend to rather get rid of the development of the latter than the former though, i.e. by having the source code be generated by some modelling tool.