SCIENCE CHINA Information Sciences
Submission and Review



Forget password?

Special Focus on High-Confidence Software Technologies


Special Focus on High-Confidence Software Technologies
Call for Papers
With the increasing impact of software systems on everyone’s daily work and life, it is becoming increasingly important that software engineers produce software systems with high confidence. In the past decade, many efforts have been devoted in research on technologies to achieve higher confidence in software during software development and evolution. To help researchers understand recent advances being made and challenges being faced in this emerging field, Science China Information Sciences plans to publish a special focus on overviews of advances, visions, and/or challenges in High Confidence Software Technologies in 2015.
Topics of interest include (but are not limited to):
- High-Confidence Requirements and Specifications
- High-Confidence Software Design
- Software Verification and Validation
- Software Testing and Analysis
- High-Confidence Software Evolution
- Software Measurement and Monitoring
- Data-Driven Quality Assurance
- High-Confidence Technologies for System/Embedded Software
Prospective authors should prepare their manuscripts in accordance with the Science China Information Sciences format and submit the PDF version of their complete manuscripts online according to the instructions given at:
Important Dates
Manuscript submission deadline:          July 15, 2014
Acceptance notification:                  October 8, 2014
Final manuscript due:                    October 31, 2014
Publication:                              January 1, 2015
Guest Editors
XIE Tao  (Univ. of Illinois at Urbana-Champaign;
ZHANG Lu  (Peking University;
Lü Jian  (Nanjing University;

Copyright © Science China Press
Address: SCIENCE CHINA Information Sciences, 16 Donghuangchenggen North Street, Beijing, China (100717)
Tel: +86 10 64015683   Fax: +86 10 64016350   E-mail: