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 条
  • [1] Architecture Analysis and Design Language & Harmony System Engineering Process
    Zhang, Teng-teng
    2012 IEEE/AIAA 31ST DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2012,
  • [2] ARCHITECTURE ANALYSIS AND DESIGN LANGUAGE & HARMONY SYSTEM ENGINEERING PROCESS
    Zhang, Teng-teng
    Wu, Jian-min
    Qi, Lin
    Xu, Hai-yu
    2012 IEEE/AIAA 31ST DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2012,
  • [3] Quantitative Tradeoff Analysis of Software Architecture using the Architecture Analysis and Design Language
    Lee, Jihyun
    Lee, Dan Hyung
    SNPD 2009: 10TH ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCES, NETWORKING AND PARALLEL DISTRIBUTED COMPUTING, PROCEEDINGS, 2009, : 561 - +
  • [4] Static analysis is not enough: The role of architecture and design in software assurance
    Houser, Walter, 1600, U.S. Department of Defense (27):
  • [5] QUALITY ASSURANCE IN WATER-ANALYSIS CONTRACTS
    EDWARDS, RR
    DAILY, RA
    CRUSE, H
    JOURNAL AMERICAN WATER WORKS ASSOCIATION, 1975, 67 (07): : 363 - 366
  • [6] ABV - A Verifier for the Architecture Analysis and Design Language (AADL)
    Bjornander, Stefan
    Seceleanu, Cristina
    Lundqvist, Kristina
    Pettersson, Paul
    2011 16TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2011, : 355 - 360
  • [7] Blockchain Smart Contracts Static Analysis for Software Assurance
    Schmeelk, Suzanna
    Rosado, Bryan
    Black, Paul E.
    INTELLIGENT COMPUTING, VOL 2, 2021, 284 : 881 - 890
  • [8] Analysis of relationship between quality management system and design assurance system
    Zhang, Zhao
    Song, Tao
    Song, Jiashan
    3RD INTERNATIONAL SYMPOSIUM ON AIRCRAFT AIRWORTHINESS (ISAA 2013), 2014, 80 : 565 - 572
  • [9] DESIGN SPRINT FOR COMPLEX SYSTEM ARCHITECTURE ANALYSIS
    Holtta-Otto, Katja
    Niutanen, Valtteri
    Eppinger, Steven
    Browning, Tyson R.
    Stowe, H. Mike
    Lampinen, Riku
    Rahardjo, Andhikaputra
    PROCEEDINGS OF THE ASME INTERNATIONAL DESIGN ENGINEERING TECHNICAL CONFERENCES AND COMPUTERS AND INFORMATION IN ENGINEERING CONFERENCE, 2018, VOL 7, 2018,
  • [10] Architecture of an expert system for ergonomics analysis and design
    Gilad, I
    Karni, R
    INTERNATIONAL JOURNAL OF INDUSTRIAL ERGONOMICS, 1999, 23 (03) : 205 - 221
12345