1. Pushing requirements changes through to changes in specifications

   • Lan Lin
   • Jesse H. Poore

   Research Article 06 November 2008 Pages: 331 - 343

2. Verifying BPEL-like programs with Hoare logic

   • Chenguang Luo
   • Shengchao Qin
   • Zongyan Qiu

   Research Article 05 December 2008 Pages: 344 - 356

3. On automatic verification of self-stabilizing population protocols

   • Jun Pang
   • Zhengqin Luo
   • Yuxin Deng

   Research Article 05 December 2008 Pages: 357 - 367

4. Compositional encoding for bounded model checking

   • Jun Sun
   • Yang Liu
   • Jing Sun

   Research Article 04 November 2008 Pages: 368 - 379

5. Automated verification of pointer programs in pointer logic

   • Zhifang Wang
   • Yiyun Chen
   • Baojian Hua

   Research Article 05 November 2008 Pages: 380 - 397

6. Workflow-based semantics for peer-to-peer specifications

   • Antonio Brogi
   • Razvan Popescu

   Research Article 05 December 2008 Pages: 398 - 412

7. A Petri net-based approach for supporting aspect-oriented modeling

   • Lianwei Guan
   • Xingyu Li
   • Jian Lu

   Research Article 05 December 2008 Pages: 413 - 423

8. Style transformation in natural languages

   • Yue Hu
   • Xiaoyu Gao
   • Qingshi Gao

   Research Article 04 November 2008 Pages: 424 - 430

9. An improved algorithm for gray image representation using non-symmetry and anti-packing model with triangles and rectangles

   • Yunping Zheng
   • Chuanbo Chen
   • Mudar Sarem

   Research Article 04 November 2008 Pages: 431 - 437

10. A robust localization algorithm in wireless sensor networks

    • Xin Li
    • Bei Hua
    • Yan Xiong

    Research Article 30 July 2008 Pages: 438 - 450

11. Types, structures and theories in NKI

    • Xiaoru Zhang
    • Zaiyue Zhang
    • Yuefei Sui

    Research Article 04 November 2008 Pages: 451 - 459