On local stratifiability of logic programs and databases Shen YidongTong FuCheng Daijie Regular Papers Pages: 97 - 107
Design rationale for a wide spectrum specification language FGSPEC Lu JianXu Jiafu Regular Papers Pages: 138 - 146
Two new strategies for developing loop invariants and their applications Xue Jinyun Regular Papers Pages: 147 - 154
A standard model-theoretic approach to operational semantics of recursive programs Shao Zhiqing Regular Papers Pages: 155 - 161
OOMMS: A module management system based on an object-oriented model Pong Man-ChiZhang YongguangDing Jie Regular Papers Pages: 172 - 181
Deductive fault simulation algorithm based on fault collapsing Gong YunzhanWei Daozheng Regular Papers Pages: 182 - 187
A knowledge-based specification technique for protocol development Zhang YaoxueShi MeilinNorio Shiratori Research Notes Pages: 188 - 192