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 条
  • [41] An Evaluation Model for Measuring the Usability of Mobile Office Applications through User Interface Design Metrics
    Nosheen, Mariam
    Sayed, Zahwa
    Malik, Muhammad Saad
    Fahiem, Muhammad Abuzar
    MEHRAN UNIVERSITY RESEARCH JOURNAL OF ENGINEERING AND TECHNOLOGY, 2019, 38 (03) : 641 - 654
  • [42] Understanding the galinstan oxide interface through interfacial tension and interfacial rheology for use in stretchable applications
    Koh, Amanda
    Mrozek, Randy
    Slipher, Geoffrey
    ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 2018, 255
  • [43] DEVELOPMENT OF SCIENTIFIC INQUIRY SKILLS OF SCIENCE TEACHING THROUGH ARGUMENT-FOCUSED VIRTUAL LABORATORY APPLICATIONS
    Topalsan, Aysegul Kinik
    JOURNAL OF BALTIC SCIENCE EDUCATION, 2020, 19 (04): : 628 - 646
  • [44] Design and Development of User-Friendly Interface Environment for Accelerating Scientific Research Process: A Case Study for Nuclear Fusion Applications
    Aggarwal, Deepak
    Shingala, Ankita
    PROCEEDINGS OF THE 7TH INTERNATIONAL CONFERENCE ON COMPUTING FOR SUSTAINABLE GLOBAL DEVELOPMENT (INDIACOM-2020), 2019, : 102 - 107
  • [45] Through Plane Networked Graphene Oxide/Polyester Hybrid Thermal Interface Material for Heat Management Applications
    Khan, Junaid
    Jaafar, Mariatti
    NANOSCALE AND MICROSCALE THERMOPHYSICAL ENGINEERING, 2022, 26 (04) : 188 - 197
  • [46] Discriminating the brain activities for brain–computer interface applications through the optimal allocation-based approach
    Siuly Siuly
    Yan Li
    Neural Computing and Applications, 2015, 26 : 799 - 811
  • [47] Crawling AJAX-Based Web Applications through Dynamic Analysis of User Interface State Changes
    Mesbah, Ali
    van Deursen, Arie
    Lenselink, Stefan
    ACM TRANSACTIONS ON THE WEB, 2012, 6 (01)
  • [48] Homogenizing Access to Highly Time-Consuming Biomedical Applications through a Web-Based Interface
    Grasso, Luigi
    Medina-Medina, Nuria
    Montes-Soldado, Rosana
    Abad-Grau, Maria M.
    EURO-PAR 2011: PARALLEL PROCESSING WORKSHOPS, PT II, 2012, 7156 : 33 - 42
  • [49] Science Camps for Introducing Nature of Scientific Inquiry Through Student Inquiries in Nature: Two Applications with Retention Study
    G. Leblebicioglu
    N. M. Abik
    E. Capkinoglu
    D. Metin
    E. Eroglu Dogan
    P. S. Cetin
    R. Schwartz
    Research in Science Education, 2019, 49 : 1231 - 1255
  • [50] Science Camps for Introducing Nature of Scientific Inquiry Through Student Inquiries in Nature: Two Applications with Retention Study
    Leblebicioglu, G.
    Abik, N. M.
    Capkinoglu, E.
    Metin, D.
    Dogan, E. Eroglu
    Cetin, P. S.
    Schwartz, R.
    RESEARCH IN SCIENCE EDUCATION, 2019, 49 (05) : 1231 - 1255
12345