Bimonthly    Since 1986
ISSN 1000-9000(Print)
CN 11-2296/TP
Indexed in:
Publication Details
Edited by: Editorial Board of Journal Of Computer Science and Technology
P.O. Box 2704, Beijing 100190, P.R. China
Sponsored by: Institute of Computing Technology, CAS & China Computer Federation
Undertaken by: Institute of Computing Technology, CAS
Distributed by:
China: All Local Post Offices
Other Countries: Springer
    JCST CFP: Special Section on Software Systems 2021


Special Section on Software Systems 2021


Software systems have played critical roles in scientific research, business and society. Research on software systems focuses on construction, operation, maintenance, and assessment of software systems. This special section is an effort to encourage and promote research to address challenges from the software systems perspective. The goal of this special section is to present the state-of-the-art and high-quality original research papers in the area of software systems. Extended versions of papers published in conferences, symposiums, or workshop proceedings may be submitted with new contributions. Especially, we welcome the extended versions of papers published in first class software systems conferences. However, survey papers will not be considered. 

This special section focuses on the themes of Internetware and Beyond and Dependable Software Engineering.  However, this special section also welcomes all other aspects of research on software systems. Past articles from the JCST Special Section on Software Systems are at:, published in: Vol. 30, No. 5; Vol. 31, No. 5; Vol. 32, No.6; Vol. 33, No.5; Vol.34, No.5Vol.35, No.5&Vol.35, No.6


Theme: Internetware and Beyond

The Internet, not only of computers, but also of things and human users, has been rapidly and profoundly changing how software applications are constructed, deployed and used. To achieve their application goals, software systems on this Internet platform need to coordinate autonomous third-party services and resources, adapt to constant changes in the environment where they are situated and in the requirements they must satisfy, and continuously maintain for a level of service quality satisfactory to users. This theme aims to provide a forum where researchers and professionals from multiple disciplines and domains share ideas to explore and address the challenges brought by Internetware. It solicits submissions describing results of theoretical, empirical, conceptual, and experimental software engineering research related to Internetware. Topics of interests include but are not limited to: 

*Novel software paradigm for Internetware
*Modeling and implementation of Internetware
*Requirements engineering for Internetware
*Software analysis, verification and testing
*Mining software repositories
*Software dependability, trustworthiness and confidence
*Software architecture and design
*Crowd-based methods, techniques and tools for Internetware
*Socio-technical models and techniques
*Software ecosystem practices and experiences
*Software models and techniques for Internet-based systems, such as:
cloud computing, service computing, social computing, mobile Internet, Internet of Things, and cyber-physical systems
*Software engineering for/with Big data
*Software engineering for/with artificial intelligence


Theme: Dependable Software Engineering

Formal methods emerged as an important area in computer science and software engineering about half a century ago. An international community is formed researching, developing and teaching formal theories, techniques and tools for software modeling, specification, design and verification. However, the impact of formal methods on the quality improvement of software systems in practice is lagging behind. This is for instance reflected by the challenges in applying formal techniques and tools to engineering large-scale systems such as Cyber-Physical Systems (CPS), Internet-of-Things (IoT), Enterprise Systems, Cloud-Based Systems, and so forth.

The theme of Dependable Software Engineering solicits submissions describing theoretical results, tools, and applications, related to applying formal methods in improving the quality of computer software and systems. Topics of interests include but are not limited to:

*Requirements specification and analysis

*Formalisms for modeling, design and implementation

*Model checking, theorem proving, and decision procedures

*Scalable approaches to formal system analysis

*Formal approaches to simulation, run-time verification, and testing

*Integration of formal methods into software engineering practice

*Contract-based engineering of components, systems, and systems of systems

*Formal and engineering aspects of software evolution and maintenance

*Parallel and multicore programming

*Embedded, real-time, hybrid, probabilistic, and cyber-physical systems

*Mixed-critical applications and systems

*Formal aspects of service-oriented and cloud computing

*Safety, reliability, robustness, and fault-tolerance

*Dependability of smart software and systems

*Empirical analysis techniques and integration with formal methods

*Applications and industrial experience reports

*Software tools to assist the construction or analysis of software systems

Accepted papers to this theme will be presented and discussed at the conference SETTA 2021 (, hosted in Beijing, China. The purpose of the SETTA Symposium (Dependable Software Engineering: Theories, Tools and Application) is to bring international researchers together to exchange research results and ideas on bridging the gap between formal methods and software engineering. The interaction with the Chinese computer science and software engineering community is a central focus point. The aim is to show research interests and results from different groups so as to initiate interest-driven research collaboration. 


Important Dates

Submission Deadline: May 31, 2021 (AoE)

Tentative Acceptance Decision (Theme of Dependable Software Engineering Only): July 16, 2021 (AoE)

Acceptance Decision: August 30, 2021 (AoE)

Paper Presentations at Conference SETTA 2021 (Theme of Dependable Software Engineering Only): November 25-27, 2021

Publication: September 2021 (or subsequent issue)


Submission Procedure

All submissions must be done electronically through JCST's e-submission system at:, with manuscript type: "Special Section on Software Systems 2021". In the cover letter, please indicate which theme the submission is intended to.


Leading Editor
Tao Xie (Peking University, China), taoxie at


Guest Editors

Theme: Internetware and Beyond

Jun Sun, Singapore Management University, Singapore junsun at

Lei Bu, Nanjing University, China   bulei at

Ge Li, Peking University, China   lige at


Theme: Dependable Software Engineering

Shengchao Qin, Teesside University, UK   shengchao.qin at

Jim Woodcock, University of York, UK   jim.woodcock at

Wen-Hui Zhang, Institute of Software, Chinese Academy of Sciences, China  zwh at

CFP DOWNLOAD JCST CFP: Special Section on Software Systems 2021

2021-03-19    Hits: 39526

ISSN 1000-9000(Print)

CN 11-2296/TP

Editorial Board
Author Guidelines
Journal of Computer Science and Technology
Institute of Computing Technology, Chinese Academy of Sciences
P.O. Box 2704, Beijing 100190 P.R. China
  Copyright ©2015 JCST, All Rights Reserved