1. Formal engineering methods for software quality assurance

   • Shaoying Liu

   Editorial 27 January 2012 Pages: 1 - 2

2. The use of mathematics in software quality assurance

   • David Lorge Parnas

   Review Article 27 January 2012 Pages: 3 - 16

3. rCOS: a formal model-driven engineering method for component-based software

   • Wei Ke
   • Xiaoshan Li
   • Volker Stolz

   Research Article 27 January 2012 Pages: 17 - 39

4. An institution theory of formal meta-modelling in graphically extended BNF

   • Hong Zhu

   Research Article 27 January 2012 Pages: 40 - 56

5. SeVe: automatic tool for verification of security protocols

   • Anh Tuan Luu
   • Jun Sun
   • Thanh Tho Quan

   Research Article 27 January 2012 Pages: 57 - 75

6. Mining the interests of Chinese microbloggers via keyword extraction

   • Zhiyuan Liu
   • Xinxiong Chen
   • Maosong Sun

   Research Article 27 January 2012 Pages: 76 - 87

7. Enriching short text representation in microblog for clustering

   • Jiliang Tang
   • Xufei Wang
   • Huan Liu

   Research Article 27 January 2012 Pages: 88 - 101

8. Forecasting complex group behavior via multiple plan recognition

   • Xiaochen Li
   • Wenji Mao
   • Daniel Zeng

   Research Article 27 January 2012 Pages: 102 - 110

9. Prediction of urban human mobility using large-scale taxi traces and its applications

   • Xiaolong Li
   • Gang Pan
   • Zonghui Wang

   Research Article 27 January 2012 Pages: 111 - 121

10. On social computing research collaboration patterns: a social network perspective

    • Tao Wang
    • Qingpeng Zhang
    • Ding Wen

    Review Article 27 January 2012 Pages: 122 - 130