Formal engineering methods for software quality assurance Shaoying Liu Editorial 27 January 2012 Pages: 1 - 2
The use of mathematics in software quality assurance David Lorge Parnas Review Article 27 January 2012 Pages: 3 - 16
rCOS: a formal model-driven engineering method for component-based software Wei KeXiaoshan LiVolker Stolz Research Article 27 January 2012 Pages: 17 - 39
An institution theory of formal meta-modelling in graphically extended BNF Hong Zhu Research Article 27 January 2012 Pages: 40 - 56
SeVe: automatic tool for verification of security protocols Anh Tuan LuuJun SunThanh Tho Quan Research Article 27 January 2012 Pages: 57 - 75
Mining the interests of Chinese microbloggers via keyword extraction Zhiyuan LiuXinxiong ChenMaosong Sun Research Article 27 January 2012 Pages: 76 - 87
Enriching short text representation in microblog for clustering Jiliang TangXufei WangHuan Liu Research Article 27 January 2012 Pages: 88 - 101
Forecasting complex group behavior via multiple plan recognition Xiaochen LiWenji MaoDaniel Zeng Research Article 27 January 2012 Pages: 102 - 110
Prediction of urban human mobility using large-scale taxi traces and its applications Xiaolong LiGang PanZonghui Wang Research Article 27 January 2012 Pages: 111 - 121
On social computing research collaboration patterns: a social network perspective Tao WangQingpeng ZhangDing Wen Review Article 27 January 2012 Pages: 122 - 130