COMPUTER《计算机》（月刊）. Computer, the flagship publication of the IEEE Computer Society, publishes peer-reviewed articles written for and by computer researchers and practitioners representing the full spectrum of computing and information technology, from hardware to software and from emerging research to new applications.

Journal of Network and Computer Applications《网络与计算机应用》（月刊）. The Journal of Network and Computer Applications welcomes research contributions, surveys and notes in all areas relating to computer networks and applications thereof.

Software Testing, Verification and Reliability《软件测试、验证与可靠性》（一年8期）. Software Testing, Verification and Reliability (STVR) is an international journal, publishing 8 issues per year. It publishes papers on theoretical and practical issues of software testing, verification and reliability. The goal of the journal is to publish high-quality papers that help researchers, educators and practitioners understand cutting edge results.

Software Quality Journal《软件质量杂志》（季刊）. The Software Quality Journal promotes awareness of the crucial role of quality management in the effective construction of the software systems developed, used and maintained by organizations in pursuit of their business objectives.

Software: Practice and Experience《软件-实践与经验》（月刊）. Software: Practice and Experience is an internationally respected and rigorously refereed vehicle for the dissemination and discussion of practical experience with new and established software for both systems and applications.

Software and Systems Modeling《软件与系统模块》（双月刊）. Software and Systems Modeling (SoSyM) is an international journal, publishing six issues yearly, that focuses on theoretical and practical issues in the development and application of software and system modeling languages, techniques, and methods, such as the Unified Modeling Language.

JOURNAL OF FUNCTIONAL PROGRAMMING《函数式编程杂志》（Continuous publication）. Journal of Functional Programming is the only journal devoted solely to the design, implementation, and application of functional programming languages, spanning the range from mathematical theory to industrial practice. Topics covered include functional languages and extensions, implementation techniques, reasoning and proof, program transformation and synthesis, type systems, type theory, language-based security, memory management, parallelism and applications. Special tracks are devoted to tools and applications, commercial uses and education; pearl-type papers are encouraged.

JOURNAL OF DATABASE MANAGEMENT《数据库管理杂志》（季刊）. The Journal of Database Management (JDM) publishes original research on all aspects of database management, systems analysis and design, and software engineering. The primary mission of JDM is to be instrumental in the improvement and development of theory and practice related to information technology and management of information resources. The journal is targeted at both academic researchers and practicing IT professionals.

GRAPHICAL MODELS《制图模型》（双月刊）. Graphical Models is recognized internationally as a highly rated, top tier journal and is focused on the creation, geometric processing, animation, and visualization of graphical models and on their applications in engineering, science, culture, and entertainment. GMOD provides its readers with thoroughly reviewed and carefully selected papers that disseminate exciting innovations, that teach rigorous theoretical foundations, that propose robust and efficient solutions, or that describe ambitious systems or applications in a variety of topics.

IT Professional《IEEE信息技术专业杂志》（双月刊）. IT Professional is a technical magazine of the IEEE Computer Society. It publishes peer-reviewed articles, columns and departments written for and by IT practitioners.IT Professional’s goal is to inform the broad spectrum of IT executives, IT project managers, IT researchers, and IT application developers from industry, government, and academia.