1. 3D image synthesis forB-reps objects

   • Huang Zhengdong
   • Peng Qunsheng
   • Liang Youdong

   Regular Papers Pages: 113 - 120

2. Processing expertise systematically

   • Liu Xiaohui

   Regular Papers Pages: 121 - 134

3. An environment for rapid prototyping of interactive systems

   • Zhao Jinghai
   • Liu Shenquan

   Regular Papers Pages: 135 - 144

4. A domain knowledge driven approach for user interface software development

   • Wang Haiying
   • Liu Shenquan

   Regular Papers Pages: 145 - 152

5. An intelligent tool to support requirements analysis and conceptual design of database design

   • Wang Nengbin
   • Liu Haiqing

   Regular Papers Pages: 153 - 160

6. A conservative multiversion locking-graph scheduler algorithm

   • Chen Fang
   • Shi Baile

   Regular Papers Pages: 161 - 166

7. Program transformation by solving equations

   • Zhu Hong

   Regular Papers Pages: 167 - 177

8. Source-to-source conversion based on formal definition

   • Zhang Xing’er
   • Zhu Xiaojun
   • Dong Jianning

   Regular Papers Pages: 178 - 184

9. Optimal partitioning and granularity of uniform task graphs

   • Zhang Zhongyun
   • Li Guojie

   Regular Papers Pages: 185 - 194

10. Processing polynomial algebraic problems by using SAC-2/ALDES

    • Liu Zhuojun

    Brief Papers Pages: 195 - 200

11. A new approach to database auto-design by logic

    • Xu Jiepan
    • Wang Lei

    Brief Papers Pages: 201 - 204

12. An improved graphic representation for Structured Program Design

    • Zhou Qihai

    Brief Papers Pages: 205 - 208