We use cookies to improve your experience with our site.
CAI Jiamei. The Sequence Modeling Method Based on ECCin Developing Program Specifications[J]. Journal of Computer Science and Technology, 1999, 14(4): 337-348.
Citation: CAI Jiamei. The Sequence Modeling Method Based on ECCin Developing Program Specifications[J]. Journal of Computer Science and Technology, 1999, 14(4): 337-348.

The Sequence Modeling Method Based on ECCin Developing Program Specifications

  • 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.
  • loading

Catalog

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return