We use cookies to improve your experience with our site.

Indexed in:

SCIE, EI, Scopus, INSPEC, DBLP, CSCD, etc.

Submission System
(Author / Reviewer / Editor)
Advanced Search
Volume 14 Issue 4
July  1999
Turn off MathJax
Article Contents
Abstract
References
Related Articles
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.
shu

The Sequence Modeling Method Based on ECCin Developing Program Specifications

  • Institute of Information; Zhejiang University of Technology; Hangzhou 310014; P.R. China; Received October 27; 1997; revised March 31; 1998.;

More Information
  • Published Date: July 09, 1999
    Abstract
  • 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.
    • FullText(HTML)
    • References (3)
  • [1]
    Gardenfors P. Epistemic importance and minimal changes of belief. Australian J. Philos., 1984, 62: 136-157.
    [2]
    Ma Shaohan M et al. A propositional knowledge base revision algorithm. Computer research and development, 1996, 2: 127-131.
    [3]
    Eiter T, Gottlob G. On the complexity of knowledge base revision, updates, and counterfactuals. Artificial Intelligence, 1992, 57: 227-270. ……….
    • Relative Articles

  • Related Articles

    [1]Yu-Qian Zhu, Jia-Ying Deng, Jia-Chen Pu, Peng Wang, Shen Liang, Wei Wang. ML-Parser: An Efficient and Accurate Online Log Parser[J]. Journal of Computer Science and Technology, 2022, 37(6): 1412-1426. DOI: 10.1007/s11390-021-0730-4
    [2]FU maxi. Relative Properties of Frame Language[J]. Journal of Computer Science and Technology, 1999, 14(4): 320-327.
    [3]Zhang Tong. Intuitionistic Logic as the Implement of Incremental Model Construction for Natural Language[J]. Journal of Computer Science and Technology, 1998, 13(1): 13-17.
    [4]Lu Jian, Xu Jiafu. Design Rationale for a Wide Spectrum Specification Language FGSPEC[J]. Journal of Computer Science and Technology, 1993, 8(2): 42-50.
    [5]Xu Yongsen, He Biao. Specification Language NUJSL Based on JSP and Its Supporting System[J]. Journal of Computer Science and Technology, 1992, 7(2): 153-163.
    [6]Zheng Jianping, Song Guoxing. The ECSP Language and Its Implementation[J]. Journal of Computer Science and Technology, 1991, 6(4): 362-369.
    [7]Jin Lingzi, Zhu Hong. Systems Programming in the Functional Language FP[J]. Journal of Computer Science and Technology, 1988, 3(1): 40-55.
    [8]Zhu Hong. Some Mathematical Properties of the Functional Programming Language FP[J]. Journal of Computer Science and Technology, 1987, 2(3): 202-216.
    [9]Zhang Cui, Zhao Qinping, Xu Jiafu. Kernel Language KLND[J]. Journal of Computer Science and Technology, 1986, 1(3): 65-79.
    [10]Sun Zhongxiu, Shang Lujun. DMODULA:A Distributed Programming Language[J]. Journal of Computer Science and Technology, 1986, 1(2): 25-31.
    • Supplements (0)

Catalog

    Get Citation
    PDF
    XML
    Article views (23) PDF downloads (1355) Cited by()
    Related

    Copyright ©2025 JCST, All Rights Reserved     京ICP备05002829号-1

    Institute of Computing Technology, Chinese Academy of Sciences
    P.O. Box 2704, Beijing 100190, P.R. China

    Tel.: 86-10-62610746 E-mail: jcst@ict.ac.cn

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return