STRAPS - A SOFTWARE TRANSPORT-SYSTEM FOR LOW-LEVEL SOFTWARE

被引:1
|
作者
FAIRFIELD, P [1 ]
机构
[1] UNIV LIVERPOOL,LIVERPOOL L69 3BX,ENGLAND
关键词
D O I
10.1016/0164-1212(85)90028-7
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
引用
收藏
页码:291 / 302
页数:12
相关论文
共 50 条
  • [31] EPICS-Based Software Development of a Low-level RF System for the PEFP 100-MeV Proton Accelerator
    Song, Young-Gi
    Kim, Han-Sung
    Seol, Kyung-Tae
    Kwon, Hyeok-Jung
    Cho, Yong-Sub
    JOURNAL OF THE KOREAN PHYSICAL SOCIETY, 2011, 59 (02) : 577 - 580
  • [32] Measurable quality characteristics of a software system on software architecture level
    Khayami, S. R.
    Towhidi, A.
    Ziarati, K.
    WORLD CONGRESS ON ENGINEERING 2008, VOLS I-II, 2008, : 489 - 493
  • [33] Correction: A framework for embedded software portability and verification: from formal models to low-level code
    Renata Martins Gomes
    Bernhard Aichernig
    Marcel Baunach
    Software and Systems Modeling, 2024, 23 : 317 - 317
  • [34] Low-level integration of quantum chemistry software: Component-based molecular integral evaluation
    Kenny, Joseph P.
    Janssen, Curtis L.
    Windus, Theresa L.
    Valeev, Edward F.
    ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 2006, 232 : 210 - 210
  • [35] A Computer-Algebraic Approach to Formal Verification of Data-Centric Low-Level Software
    Marx, Oliver
    Villarraga, Carlos
    Stoffel, Dominik
    Kunz, Wolfgang
    2016 ACM/IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN (MEMOCODE), 2016, : 34 - 42
  • [36] A FRAMEWORK FOR AUTOMATED CONSTRUCTION OF NODE SOFTWARE USING LOW-LEVEL ATTRIBUTES IN USN APPLICATION DEVELOPMENT
    Lee, Woojin
    Kim, Juil
    Kang, Jangmook
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2012, 22 (05) : 675 - 693
  • [37] FLEXIBLE LOW-LEVEL CONTROL SOFTWARE FRAMEWORK FOR ACHIEVING CRITICAL REAL-TIME DEADLINES
    Tremaroli, Nicholas J.
    Stelmack, Maxwell A.
    Herron, Connor W.
    Kalita, Bhaben
    Leonessa, Alexander
    PROCEEDINGS OF ASME 2022 INTERNATIONAL MECHANICAL ENGINEERING CONGRESS AND EXPOSITION, IMECE2022, VOL 5, 2022,
  • [38] MODERN TRANSPORT-SYSTEM WITH A HIGH-LEVEL OF HYGIENE
    MULLER, J
    FLEISCHWIRTSCHAFT, 1979, 59 (05): : 653 - 654
  • [39] ATSIS transport software integration system
    Anon
    Research Report ARR, 1999, (345): : 1 - 133
  • [40] THE MOMENTUM COUNTERGRADIENT TRANSPORT IN LOW-LEVEL JET
    LYKOSSOV, VN
    IZVESTIYA AKADEMII NAUK SSSR FIZIKA ATMOSFERY I OKEANA, 1991, 27 (08): : 803 - 812