Challenges towards modeling and generating infrastructure-as-code
GN Nedeltcheva, B **ang, L Niculut… - Companion of the 2023 …, 2023 - dl.acm.org
The infrastructure-as-code (IaC) is an approach for automating the deployment,
maintenance, and monitoring of environments for online services and applications that …
maintenance, and monitoring of environments for online services and applications that …
IEM: A Unified Lifecycle Orchestrator for Multilingual IaC Deployments
Over the last few years, DevOps methodologies have promoted a more streamlined
operationalization of software components in production environments. Infrastructure as …
operationalization of software components in production environments. Infrastructure as …
Game-theory strategies for open-source Infrastructure-as-Code
AE de la Fuente Ruiz… - 2023 IEEE 20th …, 2023 - ieeexplore.ieee.org
Infrastructure-as-Code can be designed, developed, and managed with an Open-Source
Software approach. While openly embraced by academia, the OSS philosophy typically …
Software approach. While openly embraced by academia, the OSS philosophy typically …
Exploring extensibility of DevSecOps Modelling Language (DOML)
S Canzoneri - 2023 - politesi.polimi.it
In the continuously evolving field of software development, the adoption of DevOps
methodologies has significantly shaped practices and tools, particularly through the …
methodologies has significantly shaped practices and tools, particularly through the …
Verification and synthesis of Infrastructure-as-Code through satisfiability modulo theories
A Franchini - 2021 - politesi.polimi.it
This thesis explores formal verification and synthesis of Infrastructure-as-Code (IaC). Formal
verification techniques for IaC are not widespread and literature about IaC synthesis is …
verification techniques for IaC are not widespread and literature about IaC synthesis is …
Design and development of a framework to enhance the portability of cloud-based applications through model-driven engineering
T Mendez Ayerbe - 2020 - politesi.polimi.it
Software development has changed from Software as a Product, a finished product that is
installed and runs in a computer using the local resources, to Software as a Service, a …
installed and runs in a computer using the local resources, to Software as a Service, a …
Supporting the development of infrastructure as code using Ansible: a smart IDE integrating external sources
M Bachras - 2020 - politesi.polimi.it
Abstract Infrastructure as Code (IaC) is a process that enables developers to provision and
manage infrastructure resources through code rather than manually intervening. This …
manage infrastructure resources through code rather than manually intervening. This …