435 citations · 840 across the 65 of their papers we have counts for
8 papers · 2 filters
The role of formalism in system requirements (full version)
Jean-Michel Bruel, Sophie Ebersold, Florian Galinier +3
A major determinant of the quality of software systems is the quality of their requirements, which should be both understandable and precise. Most requirements are written in natur…
From DevOps to DevDataOps: Data Management in DevOps processes
Antonio Capizzi, Salvatore Distefano, Manuel Mazzara
DevOps is a quite effective approach for managing software development and operation, as confirmed by plenty of success stories in real applications and case studies. DevOps is now…
Anomaly Detection in DevOps Toolchain
Antonio Capizzi, Salvatore Distefano, Manuel Mazzara +3
The tools employed in the DevOps Toolchain generates a large quantity of data that is typically ignored or inspected only in particular occasions, at most. However, the analysis of…
Towards A Broader Acceptance Of Formal Verification Tools: The Role Of Education
Mansur Khazeev, Manuel Mazzara, Daniel De Carvalho +1
Formal methods yet advantageous, face challenges towards wide acceptance and adoption in software development practices. The major reason being presumed complexity. The issue can b…
Size Matters: Microservices Research and Applications
Manuel Mazzara, Antonio Bucchiarone, Nicola Dragoni +1
In this chapter we offer an overview of microservices providing the introductory information that a reader should know before continuing reading this book. We introduce the idea of…
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…