activity
20162018
most citedTeaching Programming and Design-by-Contract

49 citations · 54 across the 2 of their papers we have counts for

collaborators
Showing cs.SEShow all

5 papers · 1 filter

cs.SE2017★ 49 cited

Teaching Programming and Design-by-Contract

Daniel de Carvalho, Rasheed Hussain, Adil Khan +7

This paper summarizes the experience of teaching an introductory course to programming by using a correctness by construction approach at Innopolis University, Russian Federation.…

cs.SE2017

Microservices Science and Engineering

Manuel Mazzara, Kevin Khanda, Ruslan Mustafin +3

In this paper we offer an overview on the topic of Microservices Science and Engineering (MSE) and we provide a collection of bibliographic references and links relevant to underst…

cs.SE2017

Microservices: How To Make Your Application Scale

Nicola Dragoni, Ivan Lanese, Stephan Thordal Larsen +3

The microservice architecture is a style inspired by service-oriented computing that has recently started gaining popularity and that promises to change the way in which software i…

cs.SE2016★ 5 cited

Towards Microservices and Beyond: An incoming Paradigm Shift in Distributed Computing

Manuel Mazzara, Ruslan Mustafin, Larisa Safina +1

The microservice architecture is a style inspired by service-oriented computing that has recently started gaining popularity and that promises to change the way in which software i…

cs.SE2016

Microservices: yesterday, today, and tomorrow

Nicola Dragoni, Saverio Giallorenzo, Alberto Lluch Lafuente +4

Microservices is an architectural style inspired by service-oriented computing that has recently started gaining popularity. Before presenting the current state-of-the-art in the f…