Gaining confidence in scientific applications through executable interface contracts

T. L. Dahlgren; D. E. Bernholdt; L. C. McInnes

doi:10.1088/1742-6596/125/1/012086

Gaining confidence in scientific applications through executable interface contracts

T. L. Dahlgren, D. E. Bernholdt, L. C. McInnes

Programming Systems

Research output: Contribution to journal › Article › peer-review

2 Scopus citations

Abstract

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 performance-driven contract enforcement pursues practical solutions to adapting the level of contract enforcement to performance constraints.

Original language	English
Article number	012086
Journal	Journal of Physics: Conference Series
Volume	125
DOIs	https://doi.org/10.1088/1742-6596/125/1/012086
State	Published - 2008

Access to Document

10.1088/1742-6596/125/1/012086

Cite this

@article{99801ec3f0da49ac93ad80117edc6a77,

title = "Gaining confidence in scientific applications through executable interface contracts",

abstract = "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 performance-driven contract enforcement pursues practical solutions to adapting the level of contract enforcement to performance constraints.",

author = "Dahlgren, {T. L.} and Bernholdt, {D. E.} and McInnes, {L. C.}",

year = "2008",

doi = "10.1088/1742-6596/125/1/012086",

language = "English",

volume = "125",

journal = "Journal of Physics: Conference Series",

issn = "1742-6588",

}

TY - JOUR

T1 - Gaining confidence in scientific applications through executable interface contracts

AU - Dahlgren, T. L.

AU - Bernholdt, D. E.

AU - McInnes, L. C.

PY - 2008

Y1 - 2008

N2 - 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 performance-driven contract enforcement pursues practical solutions to adapting the level of contract enforcement to performance constraints.

AB - 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 performance-driven contract enforcement pursues practical solutions to adapting the level of contract enforcement to performance constraints.

UR - http://www.scopus.com/inward/record.url?scp=65749105425&partnerID=8YFLogxK

U2 - 10.1088/1742-6596/125/1/012086

DO - 10.1088/1742-6596/125/1/012086

M3 - Article

AN - SCOPUS:65749105425

SN - 1742-6588

VL - 125

JO - Journal of Physics: Conference Series

JF - Journal of Physics: Conference Series

M1 - 012086

ER -

Gaining confidence in scientific applications through executable interface contracts

Abstract

Access to Document

Other files and links

Fingerprint

Cite this