Vol. 59, No. 8, 2016 Cover Contents

Special Focus on Software Engineering for Internet Computing
EDITORIAL Website SpringerLink Google Scholar Cited in SCI: 0

Special focus on software engineering for Internet computing
Jin, Zhi; Hu, Zhenjiang; Yin, Gang
Sci China Inf Sci, 2016, 59(8): 080100
Cite as: Jin Z, Hu Z J, Yin G. Special focus on software engineering for Internet computing. Sci China Inf Sci, 2016, 59(8): 080100, doi: 10.1007/s11432-016-5599-4

Special Focus on Software Engineering for Internet Computing
RESEARCH PAPER Website SpringerLink Google Scholar Cited in SCI: 4

Improving BDD-based attractor detection for synchronous Boolean networks
Yuan, Qixia; Qu, Hongyang; Pang, Jun; Mizera, Andrzej
Sci China Inf Sci, 2016, 59(8): 080101
Keywords: Boolean network; system biology; binary decision diagram; attractor; verification algorithm
Cite as: Yuan Q X, Qu H Y, Pang J, et al. Improving BDD-based attractor detection for synchronous Boolean networks. Sci China Inf Sci, 2016, 59(8): 080101, doi: 10.1007/s11432-016-5594-9

Special Focus on Software Engineering for Internet Computing
RESEARCH PAPER Website SpringerLink Google Scholar Cited in SCI: 1

CBBR: enabling distributed shared memory-based coordination among mobile robot
Jiang, Xue; Huang, Yu
Sci China Inf Sci, 2016, 59(8): 080102
Keywords: distributed shared memory; behavior-based robotics; coordination; behavior hierarchy; behavior scheduling
Cite as: Jiang X, Huang Y. CBBR: enabling distributed shared memory-based coordination among mobile robot. Sci China Inf Sci, 2016, 59(8): 080102, doi: 10.1007/s11432-016-5593-x

Special Focus on Software Engineering for Internet Computing
RESEARCH PAPER Website SpringerLink Google Scholar Cited in SCI: 1

Flourishing creativity in software development via Internetware paradigm
Liu, Lin; Feng, Letong; Li, Yanqing; Jing, Delin; Yang, Hongji
Sci China Inf Sci, 2016, 59(8): 080103
Keywords: requirements; information system; Internetware; creativity; evolution
Cite as: Liu L, Feng L T, Li Y Q, et al. Flourishing creativity in software development via Internetware paradigm. Sci China Inf Sci, 2016, 59(8): 080103, doi: 10.1007/s11432-016-5596-7

Special Focus on Software Engineering for Internet Computing
RESEARCH PAPER Website SpringerLink Google Scholar Cited in SCI: 7

Determinants of pull-based development in the context of continuous integration
Yu, Yue; Yin, Gang; Wang, Tao; Yang, Cheng; Wang, Huaimin
Sci China Inf Sci, 2016, 59(8): 080104
Keywords: pull-request; continuous integration; GitHub; distributed software development; empirical analysis
Cite as: Yu Y, Yin G, Wang T, et al. Determinants of pull-based development in the context of continuous integration. Sci China Inf Sci, 2016, 59(8): 080104, doi: 10.1007/s11432-016-5595-8

Special Focus on Software Engineering for Internet Computing
RESEARCH PAPER Website SpringerLink Google Scholar Cited in SCI: 4

Petri net based test case generation for evolved specification
Ding, Zuohua; Jiang, Mingyue; Chen, Haibo; Jin, Zhi; Zhou, Mengchu
Sci China Inf Sci, 2016, 59(8): 080105
Keywords: test case generation; regression testing; evolved specification; Petri net; reachability graph
Cite as: Ding Z H, Jiang M Y, Chen H B, et al. Petri net based test case generation for evolved specification. Sci China Inf Sci, 2016, 59(8): 080105, doi: 10.1007/s11432-016-5598-5