Issue 4/2008
Content (11 Articles)
Research Article
Pushing requirements changes through to changes in specifications
Lan Lin, Jesse H. Poore
Research Article
Verifying BPEL-like programs with Hoare logic
Chenguang Luo, Shengchao Qin, Zongyan Qiu
Research Article
On automatic verification of self-stabilizing population protocols
Jun Pang, Zhengqin Luo, Yuxin Deng
Research Article
Compositional encoding for bounded model checking
Jun Sun, Yang Liu, Jin Song Dong, Jing Sun
Research Article
Automated verification of pointer programs in pointer logic
Zhifang Wang, Yiyun Chen, Zhenming Wang, Baojian Hua
Research Article
Workflow-based semantics for peer-to-peer specifications
Antonio Brogi, Razvan Popescu
Research Article
A Petri net-based approach for supporting aspect-oriented modeling
Lianwei Guan, Xingyu Li, Hao Hu, Jian Lu
Research Article
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
A robust localization algorithm in wireless sensor networks
Xin Li, Bei Hua, Yi Shang, Yan Xiong