摘要: This article discusses the developing process of the version sequencesof specifications and the formal expressions of various reconstructions including theexpansion and revision of the version at each stage. The author suggests using ECC(Extended Calculus of Construction) to describe the specifications of formal systemand using functional language ML to implement this developing process.