Formal Descriptions of Developing Systems