Constraint-based Analysis for Verifying and Debugging Concurrent Software

被引：0

作者：

Wang, Chao ^{[1
]}

机构：

[1] Virginia Tech, Blacksburg, VA 24061 USA

来源：

ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2016年 / 224期

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：9 / 9

页数：1

共 50 条

[1] CONSTRAINT-BASED SOFTWARE FOR CONCURRENT ENGINEERING
BOWEN, J
BAHLER, D
[J]. COMPUTER, 1993, 26 (01) : 66 - 68
[2] Constraint-based debugging in probabilistic model checking
Hichem Debbi
[J]. Computing, 2023, 105 : 321 - 351
[3] Constraint-based debugging in probabilistic model checking
Debbi, Hichem
[J]. COMPUTING, 2023, 105 (02) : 321 - 351
[4] A concurrent engineering constraint-based system
Abdalla, HS
[J]. COMPUTERS & INDUSTRIAL ENGINEERING, 1998, 35 (3-4) : 459 - 462
[5] A constraint-based genetic algorithm for concurrent engineering
Cormier, D
O'Grady, P
Sanii, E
[J]. INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 1998, 36 (06) : 1679 - 1697
[6] Model-based diagnosis of spreadsheet programs: a constraint-based debugging approach
Dietmar Jannach
Thomas Schmitz
[J]. Automated Software Engineering, 2016, 23 : 105 - 144
[7] Model-based diagnosis of spreadsheet programs: a constraint-based debugging approach
Jannach, Dietmar
Schmitz, Thomas
[J]. AUTOMATED SOFTWARE ENGINEERING, 2016, 23 (01) : 105 - 144
[8] A constraint-based model of coordination in concurrent design projects
Gupta, L
Chionglo, JF
Fox, MS
[J]. PROCEEDINGS OF THE 5TH WORKSHOPS ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES (WET ICE '96), 1996, : 184 - 190
[9] Flow analysis for verifying properties of concurrent software systems
Dwyer, MB
Clarke, LA
Cobleigh, JM
Naumovich, G
[J]. ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2004, 13 (04) : 359 - 430
[10] A constraint-based approach to the representation of software usage models
Poore, J
Walton, GH
Whittaker, JA
[J]. INFORMATION AND SOFTWARE TECHNOLOGY, 2000, 42 (12) : 825 - 833

← 1 2 3 4 5 →