Can concurrent software ever be quality software?

被引：0

作者：

Lee, Edward A. ^{[1
,2
,3
,4
,5
,6
]}

机构：

[1] EECS

[2] U.C Berkeley

[3] Electrical Engineering and Computer Sciences (EECS) Department, U. C. Berkeley

[4] Berkeley Center for Hybrid and Embedded Software Systems, Berkeley Ptolemy Project

[5] BDTI, Inc.

[6] IEEE

来源：

关键词：

D O I：

4385468

中图分类号：

学科分类号：

摘要：

Program debugging

引用

页码：19 / 20

共 50 条

[1] Will software ever work?
Lieberman, H
Fry, C
COMMUNICATIONS OF THE ACM, 2001, 44 (03) : 122 - 124
[2] Will there ever be software engineering?
Jackson, M
IEEE SOFTWARE, 1998, 15 (01) : 36 - 39
[3] Guest editorial: special issue on concurrent software quality
Zijiang Yang
Ting Liu
Daniel Xiapu Luo
Chao Wang
Software Quality Journal, 2018, 26 : 851 - 853
[4] Guest editorial: special issue on concurrent software quality
Yang, Zijiang
Liu, Ting
Luo, Daniel Xiapu
Wang, Chao
SOFTWARE QUALITY JOURNAL, 2018, 26 (03) : 851 - 853
[5] CAN SOFTWARE FOR THE STRATEGIC DEFENSE INITIATIVE EVER BE ERROR-FREE
MYERS, W
COMPUTER, 1986, 19 (11) : 61 - 67
[6] Software concurrent engineering
Beijing Univ of Aeronautics and, Astronautics, Beijing, China
Beijing Hangkong Hangtian Daxue Xuebao/Journal of Beijing University of Aeronautics and Astronautics, 1997, 23 (01): : 133 - 139
[7] Verification of Concurrent Software
Kroening, Daniel
DEPENDABLE SOFTWARE SYSTEMS ENGINEERING, 2016, 45 : 159 - 178
[8] TESTING OF CONCURRENT SOFTWARE
TAI, KC
PROCEEDINGS : THE THIRTEENTH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, 1989, : 62 - 64
[9] ANALYSIS OF CONCURRENT SOFTWARE
SHATZ, SM
PROCEEDINGS : THE THIRTEENTH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, 1989, : 60 - 61
[10] Testing Concurrent Software
Ur, Shmuel
HARDWARE AND SOFTWARE: VERIFICATION AND TESTING, 2011, 6504 : 4 - 4