Infrastructure as Code and Software Architecture Conformance Checking

被引：0
|
作者：
Ozkaya, Ipek [1 ]
机构：
[1] Carnegie Mellon Software Engn Inst, Pittsburgh, PA 15213 USA
来源：
IEEE SOFTWARE | 2023年 / 40卷 / 01期
关键词：
Compendex;
D O I：
10.1109/MS.2022.3213880
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
This article asks the question whether it is possible to take advantage of infrastructure as code to improve the structure and behavior of the software through realizing the deployment concerns of a system's software architecture.
引用
收藏
页码：4 / 8
页数：5
相关论文
共 39 条
  • [1] Recent Research Into Infrastructure as Code
    Staron, Miroslaw
    Abrahao, Silvia
    Penzenstadler, Birgit
    Hochstein, Lorin
    IEEE SOFTWARE, 2023, 40 (01) : 86 - 88
  • [2] Statically checking API protocol conformance with mined multi-object specifications
    Department of Computer Science, ETH Zurich, Switzerland
    不详
    Proc Int Conf Software Eng, (925-935):
  • [3] Verifying conformance between Web service choreography and implementation using learning and model checking
    Pacharoen, Warawoot
    Aoki, Toshiaki
    Bhattarakosol, Pattarasinee
    Surarerks, Athasit
    Proceedings - 5th International Conference on New Trends in Information Science and Service Science, NISS 2011, 2011, 2 : 375 - 381
  • [4] Infrastructure as Code: Digital Trust Enabler?
    Moyle, Ed
    ISACA Journal, 2023, 1 : 10 - 12
  • [5] Automated environment generation for software model checking
    Tkachuk, Oksana
    Dwyer, Matthew B.
    Păsăreanu, Corina S.
    Proc. - IEEE Int. Conf. Autom. Softw. Eng., ASE, 1600, (116-127):
  • [6] Checking Java implementation of a naming architecture using TestEra
    MIT Laboratory for Computer Science, 200 Technology Square, Cambridge, MA 02139, United States
    Electronic Notes in Theoretical Computer Science, 2001, 55 (03): : 322 - 342
  • [7] Embedded Systems Software Architecture
    Crnkovic, Ivica
    Stafford, Judith
    JOURNAL OF SYSTEMS ARCHITECTURE, 2013, 59 (10) : 1013 - 1014
  • [8] Research on code formatting and design and implementation of multilingual code formatting software
    Yang, Chunjing
    Yang, Da
    Proceedings of SPIE - The International Society for Optical Engineering, 2023, 12787
  • [9] Software Architecture is a Set of Abstractions
    Fairbanks, George
    IEEE SOFTWARE, 2023, 40 (04) : 110 - 113
  • [10] Bogor: An extensible and highly-modular software model checking framework
    Robby
    Dwyer, Matthew B.
    Hatcliff, John
    Proc ACM SIGSOFT Symp Found Software Eng, 1600, (267-276):
1234