7 citations · 20 across the 15 of their papers we have counts for
11 papers · 1 filter
Parsing Fortran-77 with proprietary extensions
Younoussa Sow, Larisa Safina, Léandre Brault +3
Far from the latest innovations in software development, many organizations still rely on old code written in "obsolete" programming languages. Because this source code is old and…
SAT-Based Extraction of Behavioural Models for Java Libraries with Collections
Larisa Safina, Simon Bliudze
Behavioural models are a valuable tool for software verification, testing, monitoring, publishing etc. However, they are rarely provided by the software developers and have to be e…
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 Corporate Environments: An experience report
Manuel Mazzara, Alexandr Naumchev, Larisa Safina +2
This paper describes our experience of training a team of developers of an East-European phone service provider. The training experience was structured in two sessions of two days…
Domain Objects and Microservices for Systems Development: a roadmap
Kizilov Mikhail, Antonio Bucchiarone, Manuel Mazzara +2
This paper discusses a roadmap to investigate Domain Objects being an adequate formalism to capture the peculiarity of microservice architecture, and to support Software developmen…
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…
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…
Jolie Static Type Checker: a prototype
Daniel de Carvalho, Manuel Mazzara, Bogdan Mingela +3
Static verification of a program source code correctness is an important element of software reliability. Formal verification of software programs involves proving that a program s…
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…
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…
Refinement types in Jolie
Alexander Tchitchigin, Larisa Safina, Manuel Mazzara +3
Jolie is the first language for microservices and it is currently dynamically type checked. This paper considers the opportunity to integrate dynamic and static type checking with…