Preface

Tao Xie. Preface[J].Journal of Computer Science and Technology, 2019, 34(5): 939-941.     

Preface

Computing and Visualization in Science -     

Preface

International Journal on Software Tools for Technology Transfer -     

Preface

Data science targets the data life cycle of real applications, studying phenomena at scales, complexities, and granularities never before possible. This data life cycle encompasses databases and data engineering often leveraging statistical, machine learning, and artificial intelligence methods and, in many instances, using massive and heterogeneous collections of potentially noisy datasets. In this special section, we focus on data-intensive components of data science pipelines; and solve problems in areas of interest to our community (e.g., data curation, optimization, performance, storage, and systems).     

面向新兴系统的形式化建模与验证方法专题前言

<正>形式化方法是计算机科学的重要理论基础.它以严格的数学化和机械化方法为基础来规约、构建和验证计算系统,是改善和确保计算系统质量的重要方法.近年来,随着相关技术的发展,形式化方法已经在越来越多的新兴系统中得到应用并取得显著效果.为了记录中国学者在新兴系统的形式化建模与验证理论、方法、工具和应用等方面的最新研究成果,特设立此专题.本专题采取自由投稿的方式,共收到17篇投稿,其中16篇通过了形式审查.特邀编辑邀请17位领域专家参