1. Facets of software development

   • Dines Bjørner

   Regular Papers Pages: 193 - 203

2. On pattern separating function in a two-layered random nerve net with feedforward inhibitory connections

   • Toyoshi Torioka
   • Wang Jiaye

   Regular Papers Pages: 204 - 217

3. A new attribute-based learning algorithm GS and a comparison with existing algorithms

   • Hong Jiarong
   • Carl Unrik

   Regular Papers Pages: 218 - 228

4. Robotic path finding with collision avoidance using expert system

   • Cai Zixing

   Regular Papers Pages: 229 - 235

5. The geometric modelling of furniture parts and its application

   • Zhang Fuyan
   • Cai Shijie
   • Ju Zhengwen

   Regular Papers Pages: 236 - 244

6. A logic design automation system for generating logic diagram from hardware description

   • Liu Mingye
   • Guo Shuming
   • Hong Enyu

   Regular Papers Pages: 245 - 254

7. A feedback macro-scheduler

   • Samuel T. Chanson
   • Prem S. Sinha

   Regular Papers Pages: 255 - 274

8. Model and algorithm of backward error recovery of distributed software

   • Liu Chunsheng
   • Wen Chuanyuan

   Regular Papers Pages: 275 - 285

9. On relative accessibility depending on a set of parameters

   • Zhang Mingyi

   Short Paper Pages: 286 - 288