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 autho...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.展开更多
文摘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.
