An environment for formal lingware engineering
暂无分享,去创建一个
[1] Lauri Karttunen,et al. D-PATR: A Development Environment for Unification-Based Grammars , 1986, COLING.
[2] Mohamed Jmaiel,et al. A Formal Approach to Lingware Development , 1999, IEA/AIE.
[3] Karen Jensen,et al. Natural Language Processing: The PLNLP Approach , 2013, Natural Language Processing.
[4] Mohamed Jmaiel,et al. Using a Formal Approach to Evaluate Grammars , 2000, LREC.
[5] John Dawes,et al. The VDM-SL Reference Guide , 1991 .
[6] Cliff B. Jones,et al. Systematic software development using VDM (2. ed.) , 1990, Prentice Hall International Series in Computer Science.
[7] Wojciech Skut,et al. A Report on the Draft EAGLES Encoding Standard for HPSG , 1996 .