• Publications
  • Influence
The Fault-Tolerant Insulin Pump Therapy
TLDR
This paper presents the development cycle for the Insulin Pump Therapy Control System case study, starting from requirements and reaching the implementation following a top-down approach. Expand
  • 20
  • 3
  • PDF
Modelling dependable collaborative time-constrained business processes
TLDR
This article presents a business process language called DT4BP, which has been designed to drive the modelling of dependable, collaborative and time-constrained business processes. Expand
  • 27
  • 1
Teaching DevOps in academia and industry: reflections and vision
TLDR
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. Expand
  • 7
  • 1
  • PDF
Analysis and framework-based design of a fault-tolerant web information system for m-health
TLDR
This paper presents, through a case study, how we can analyse and design an application that controls the insulin injection and that is embedded in a mobile device belonging to an e-health Web Information System (WIS). Expand
  • 3
  • 1
  • PDF
CAA-DRIP: a framework for implementing Coordinated Atomic Actions
TLDR
This paper presents an implementation framework, called CAA-DRIP, that has been defined to allow a straightforward implementation of dependable distributed applications designed using the coordinated atomic action (CAA) paradigm. Expand
  • 19
  • PDF
Design of a (Yet Another?) DevOps Course
TLDR
DevOps have received marginal attention inside the higher education level curricula despite of its boom in the industrial sector. Expand
  • 6
  • PDF
DevOps and its Philosophy : Education Matters!
TLDR
In this chapter we present the main aspects of the educational effort made in the recent years to educate to the concepts and values of the DevOps philosophy. Expand
  • 5
  • PDF
Frameworks for designing and implementing dependable systems using Coordinated Atomic Actions: A comparative study
TLDR
This paper presents ways of implementing dependable distributed applications designed using the Coordinated Atomic Action (CAA) paradigm. Expand
  • 9
  • PDF
Messir: a text-first DSL-based approach for UML requirements engineering (tool demo)
TLDR
This tool paper presents the design and tool-support of Messir, an approach centered on textual domain-specific languages supported by our open-source UML requirements engineering tool, named Excalibur. Expand
  • 1
  • PDF