Search the dblp DataBase

Publications of Author

1. Lijun Dong, Jiafu Xu
   Formal semantics of some functional constructs of the software requirements definition language NDRDL. [Citation Graph (0, 0)][DBLP]
   COMPSAC, 1997, pp:642-645 [Conf]
   
2. Jianguo Lu, Jiafu Xu
   Development Transformation Based on Higher Order Type Theory. [Citation Graph (0, 0)][DBLP]
   Constructivity in Computer Science, 1991, pp:58-70 [Conf]
   
3. Bo Yi, Jiafu Xu
   Analogical Type Theory. [Citation Graph (0, 0)][DBLP]
   DISCO, 1993, pp:33-44 [Conf]
   
4. Jiafu Xu, Daoxu Chen, Lu Jian, Wang Zhijian, Zongming Fei, Zhang Yousong, Qin Ding, Zhu Yingchun
   On the Design and Implementation of NDSAIL: A Software Automation System with Automated Learning Mechanisms. [Citation Graph (0, 0)][DBLP]
   IFIP Congress (1), 1992, pp:186-192 [Conf]
   
5. Jiafu Xu
   Report on a Software Automation R&D Project. [Citation Graph (0, 0)][DBLP]
   IFIP Congress, 1989, pp:81- [Conf]
   
6. Zongming Fei, Jiafu Xu
   The Directed Inference and Its Role in NDSAIL System. [Citation Graph (0, 0)][DBLP]
   IWAR, 1992, pp:177-186 [Conf]
   
7. Jiafu Xu, Hong Zhu
   Requirements Analysis and Specification as a Problem of Software Automation. [Citation Graph (0, 0)][DBLP]
   SEKE, 1996, pp:457-464 [Conf]
   
8. Cui Zhang, Qinping Zhao, Jiafu Xu
   A Knowledge Processing Language and Its Parallel Inference System. [Citation Graph (0, 0)][DBLP]
   SEKE, 1993, pp:199-206 [Conf]
   
9. Bo Yi, Jiafu Xu
   Analogical Type Theory. [Citation Graph (0, 0)][DBLP]
   J. Symb. Comput., 1995, v:19, n:1-3, pp:3-24 [Journal]
   
10. Jianguo Lu, Jiafu Xu
    Analogical Program Derivation Based on Type Theory. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:113, n:2, pp:259-272 [Journal]
    
11. Bo Yi, Jiafu Xu
    Analogy Calculus. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:113, n:2, pp:211-230 [Journal]