Preface

• Special Section on Software Systems 2019 • 下一篇

Tao Xie

Department of Computer Science and Technology, School of Electronics Engineering and Computer Science, Peking University, Beijing

出版日期:2019-08-31 发布日期:2019-08-31
作者简介:Tao Xie is a Chair Professor in the Department of Computer Science and Technology, the School of Electronics Engineering and Computer Science at Peking University, Beijing. He received his Ph.D. in Computer Science from the University of Washington at Seattle in 2005. He received an M.S. in Computer Science from Peking University in 2000, and a B.S. in Computer Science from Fudan University in 1997. His research interests are in software engineering, with focus on software testing, software analytics, software security, and intelligent software engineering. He is an ACM Distinguished Scientist, an IEEE Fellow, and a senior member of CCF.

Tao Xie

Department of Computer Science and Technology, School of Electronics Engineering and Computer Science, Peking University, Beijing

Online:2019-08-31 Published:2019-08-31
About author:Tao Xie is a Chair Professor in the Department of Computer Science and Technology, the School of Electronics Engineering and Computer Science at Peking University, Beijing. He received his Ph.D. in Computer Science from the University of Washington at Seattle in 2005. He received an M.S. in Computer Science from Peking University in 2000, and a B.S. in Computer Science from Fudan University in 1997. His research interests are in software engineering, with focus on software testing, software analytics, software security, and intelligent software engineering. He is an ACM Distinguished Scientist, an IEEE Fellow, and a senior member of CCF.

Tao Xie. Preface[J]. 计算机科学技术学报, 2019, 34(5): 939-941.

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

Viewed

Full text

Abstract

Cited

Shared

Discussed

[1]	卢学妙;. On the Complexity of Induction of Structural Descriptions[J]. , 1987, 2(1): 12 -21 .
[2]	姚荣; 康泰; 陈廷槐;. Algorithms for the Determination of Cutsets in a Hypergraph[J]. , 1990, 5(1): 41 -46 .
[3]	孙昱东; 谢志良;. Macro-Dataflow Computational Model and Its Simulation[J]. , 1990, 5(3): 289 -295 .
[4]	Klaus Buchenrieder;. Standard-Cell Placement from Functional Descriptions[J]. , 1991, 6(1): 37 -46 .
[5]	Harald E. Otto;. UNDO, An Aid for Explorative Learning?[J]. , 1992, 7(3): 226 -236 .
[6]	费翔林; 廖雷; 王和珍; 汪承藻;. Structured Development Environment Based on the Object-Oriented Concepts[J]. , 1992, 7(3): 193 -201 .
[7]	徐庆云; 王能斌;. Concurrency Control Mechanism of Complex Objects[J]. , 1992, 7(4): 305 -310 .
[8]	顾君忠;. Modelling Enterprises with Object-Oriented Paradigm[J]. , 1993, 8(3): 80 -89 .
[9]	马光胜; 张忠伟; 黄少滨;. A New Method of Solving Kernels in Algebraic Decomposition for the Synthesis of Logic Cell Array[J]. , 1995, 10(6): 569 -573 .
[10]	鞠九滨; 王勇; 尹玉;. Scheduling PVM Tasks[J]. , 1997, 12(2): 167 -176 .

PDF (PC)