Contracts in System Development: From Multiconcern Analysis to Assurance With the Architecture Analysis and Design Language

被引：0
|
作者：
Hugues, Jerome [1 ]
Procter, Sam [2 ]
机构：
[1] Carnegie Mellon Univ, Software Engn Inst, Assuring Cyber Phys Syst Team, Pittsburgh, PA 15213 USA
[2] Carnegie Mellon Univ, Software Engn Inst, Pittsburgh, PA 15213 USA
来源：
IEEE SOFTWARE | 2022年 / 39卷 / 04期
关键词：
Contracts; Computer architecture; Analytical models; Unified modeling language; Standards; System analysis and design;
D O I：
10.1109/MS.2022.3167533
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We advocate a broader application of the notion of contracts to support the development of software-intensive systems. We discuss how system development can benefit from a contract-driven approach and review examples that utilize the Architecture Analysis and Design Language.
引用
收藏
页码：34 / 38
页数：5
相关论文
共 50 条
  • [21] Design and Analysis of Contracts for Software Outsourcing
    Dey, Debabrata
    Fan, Ming
    Zhang, Conglei
    INFORMATION SYSTEMS RESEARCH, 2010, 21 (01) : 93 - 114
  • [22] Analysis and Design Architecture Beat me Integrated System
    Sari, Dita Lupita
    Prihatmanto, Ary Setijadi
    Harsoyo, Agung
    PROCEEDINGS OF THE 2013 JOINT INTERNATIONAL CONFERENCE ON RURAL INFORMATION & COMMUNICATION TECHNOLOGY AND ELECTRIC-VEHICLE TECHNOLOGY (RICT & ICEV-T), 2013,
  • [23] Space systems modeling using the Architecture Analysis & Design Language (AADL)
    Munoz, Michela
    2013 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW), 2013, : 97 - 98
  • [24] Modelling Airborne Mission Systems using the Architecture Analysis and Design Language
    Sioutis, C.
    Nguyen, T.
    18TH WORLD IMACS CONGRESS AND MODSIM09 INTERNATIONAL CONGRESS ON MODELLING AND SIMULATION: INTERFACING MODELLING AND SIMULATION WITH MATHEMATICAL AND COMPUTATIONAL SCIENCES, 2009, : 1650 - 1655
  • [25] Formal Semantics of Behavior Specifications in the Architecture Analysis and Design Language Standard
    Besnard, Loic
    Gautier, Thierry
    Guy, Clement
    Le Guernic, Paul
    Talpin, Jean-Pierre
    Larson, Brian R.
    Borde, Etienne
    2016 IEEE INTERNATIONAL HIGH LEVEL DESIGN VALIDATION AND TEST WORKSHOP (HLDVT), 2016, : 30 - 39
  • [26] Modeling and Analysis Cyber Threats in Power Systems Using Architecture Analysis & Design Language (AADL)
    Tamimi, Ali
    Touhiduzzaman, Md
    Hahn, Adam
    2019 RESILIENCE WEEK (RWS), 2019, : 213 - 218
  • [27] AN ANALYSIS OF THE DESIGN PROCESS OF A LANGUAGE LEARNING MANAGEMENT SYSTEM
    Hu, Jie
    CONTROL AND INTELLIGENT SYSTEMS, 2014, 42 (01) : 80 - 86
  • [28] Development Methodology: from System and Design Architecture to EMC Improvement
    Galtie, Franck
    Vrignon, Bertrand
    2010 ASIA-PACIFIC INTERNATIONAL SYMPOSIUM ON ELECTROMAGNETIC COMPATIBILITY & TECHNICAL EXHIBITION ON EMC RF/MICROWAVE MEASUREMENTS & INSTRUMENTATION, 2010, : 1055 - 1059
  • [29] AN INTEGRATIVE DESIGN ANALYSIS PROCESS MODEL WITH CONSIDERATIONS FROM QUALITY ASSURANCE
    Eriksson, Martin
    Motte, Damien
    DESIGN FOR HARMONIES, VOL 1: DESIGN PROCESSES, 2013,
  • [30] Analysis of the XC6000 architecture for embedded system design
    Weiss, K
    Kistner, R
    Kunzmann, A
    Rosenstiel, W
    IEEE SYMPOSIUM ON FPGAS FOR CUSTOM COMPUTING MACHINES, PROCEEDINGS, 1998, : 245 - 252
12345