Gaining confidence in scientific applications through executable interface contracts

被引：2

作者：

Dahlgren, Tamara L. ^{[1
]}

Bernholdt, David E. ^{[2
]}

McInnes, Lois Curfman ^{[3
]}

机构：

[1] Lawrence Livermore Natl Lab, Berkeley, CA 94720 USA

[2] Oak Ridge Natl Lab, Dept Comp Sci & Math, Oak Ridge, TN 37831 USA

[3] Argonne Natl Lab, Dept Math & Comp Sci, Argonne, IL 60439 USA

来源：

SCIDAC 2008: SCIENTIFIC DISCOVERY THROUGH ADVANCED COMPUTING | 2008年 / 125卷

关键词：

D O I：

10.1088/1742-6596/125/1/012086

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

Interface contract enforcement is intended to help scientists gain confidence in software built from third-party components. Unfamiliar components present increased risk of incorrect or unanticipated usage patterns and unexpected component behavior. Executable interface contracts can address these issues but may incur unacceptable overhead. Research into techniques for p erformance-driven contract enforcement pursues practical solutions to adapting the level of contract enforcement to performance constraints.

引用

页数：6

共 50 条

[1] GAINING CLIENTS CONFIDENCE THROUGH PARTICIPATORY MANAGEMENT
HUMBLE, JA
JOURNAL OF THE AMERICAN VETERINARY MEDICAL ASSOCIATION, 1994, 205 (04) : 542 - 543
[2] Inkling: An Executable Paper System for Reviewing Scientific Applications
Castleberry, Dennis G.
Brandt, Steven R.
Loeffler, Frank
2013 ASE/IEEE INTERNATIONAL CONFERENCE ON SOCIAL COMPUTING (SOCIALCOM), 2013, : 917 - 922
[3] Gaining confidence on molecular classification through consensus modeling and validation
Tong, WD
Fang, H
Xie, Q
Hong, HX
Shi, LM
Perkins, R
Scherf, U
Goodsaid, F
Frueh, F
TOXICOLOGY MECHANISMS AND METHODS, 2006, 16 (2-3) : 59 - 68
[4] Gaining confidence on dependability benchmarks' conclusions through "back-to-back" testing
Martinez, Miquel
de Andres, David
Ruiz, Juan-Carlos
2014 TENTH EUROPEAN DEPENDABLE COMPUTING CONFERENCE (EDCC), 2014, : 130 - 137
[5] Storage memory/NVM based executable memory interface IP for advanced IoT applications
Dinesh, Midhun K.
Bhakthavatchalu, Ramesh
2016 5TH INTERNATIONAL CONFERENCE ON RECENT TRENDS IN INFORMATION TECHNOLOGY (ICRTIT), 2016,
[6] Spatial autocorrelation and spatial filtering: Gaining understanding through theory and scientific visualization
Smirnov, O
JOURNAL OF REGIONAL SCIENCE, 2004, 44 (03) : 633 - 635
[7] Browser-Based Enforcement of Interface Contracts in Web Applications with BeepBeep
Halle, Sylvain
Villemaire, Roger
COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2009, 5643 : 648 - +
[8] GAINING KNOWLEDGE THROUGH EXPERIENCE: DEVELOPING DECISIONAL DNA APPLICATIONS IN ROBOTICS
Zhang, Haoxi
Sanin, Cesar
Szczerbicki, Edward
CYBERNETICS AND SYSTEMS, 2010, 41 (08) : 628 - 637
[9] Runtime Verification for the Web A Tutorial Introduction to Interface Contracts in Web Applications
Halle, Sylvain
Villemaire, Roger
RUNTIME VERIFICATION, 2010, 6418 : 106 - +
[10] Gaining Deeper Insights: Empowering Nurses Through Validated Scientific Evidence and Knowledge Translation
Yeh, Mei-Ling
JOURNAL OF NURSING RESEARCH, 2025, 33 (02)

← 1 2 3 4 5 →