11 citations · 13 across the 3 of their papers we have counts for
4 papers · 1 filter
Formal Verification of Ecosystem Restoration Requirements using UML and Alloy
Tiago Sousa, Benoît Ries, Nicolas Guelfi
United Nations have declared the current decade (2021-2030) as the "UN Decade on Ecosystem Restoration" to join R\&D forces to fight against the ongoing environmental crisis. Given…
DevOps and its Philosophy : Education Matters!
Evgeny Bobrov, Antonio Bucchiarone, Alfredo Capozucca +4
DevOps processes comply with principles and offer practices with main objective to support efficiently the evolution of IT systems. To be efficient a DevOps process relies on a set…
Teaching DevOps in academia and industry: reflections and vision
Evgeny Bobrov, Antonio Bucchiarone, Alfredo Capozucca +3
This paper describes our experience of delivery educational programs in academia and in industry on DevOps, compare the two approaches and sum-up the lessons learnt. We also propos…
An Introduction to Software Engineering and Fault Tolerance
Patrizio Pelliccione, Henry Muccini, Nicolas Guelfi +1
This book consists of the chapters describing novel approaches to integrating fault tolerance into software development process. They cover a wide range of topics focusing on fault…