Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Gianluca Turin"'
Publikováno v:
Service-Oriented Computing ISBN: 9783030914301
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::68619b9557b14db9e448cf38f36a5b80
https://doi.org/10.1007/978-3-030-91431-8_14
https://doi.org/10.1007/978-3-030-91431-8_14
Autor:
Andrea Borgarelli, Simone Donetti, Silvia Lizeth Tapia Tarifa, Ferruccio Damiani, Einar Broch Johnsen, Gianluca Turin
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles ISBN: 9783030613617
ISoLA (1)
ISoLA (1)
Loosely-coupled distributed systems organized as collections of so-called cloud-native microservices are able to adapt to traffic in very fine-grained and flexible ways. For this purpose, the cloud-native microservices exploit containerization and co
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::37a20712572cf45edd7bc48be674c96e
http://hdl.handle.net/2318/1768568
http://hdl.handle.net/2318/1768568
Publikováno v:
15th International Conference on Integrated Formal Methods, IFM 2019
15th International Conference on Integrated Formal Methods, IFM 2019, Dec 2019, BERGEN, Norway. ⟨10.1007/978-3-030-34968-4_32⟩
Lecture Notes in Computer Science ISBN: 9783030349677
IFM
15th International Conference on Integrated Formal Methods, IFM 2019, Dec 2019, BERGEN, Norway. ⟨10.1007/978-3-030-34968-4_32⟩
Lecture Notes in Computer Science ISBN: 9783030349677
IFM
International audience; A Software Product Line (SPL) is a set of programs, called variants, which are generated from a common artifact base. Delta-Oriented Programming (DOP) is a flexible approach to implement SPLs. This short paper summarises the c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4a5de15b42b9d4a3e1186dd7fca6f6d2
https://hal.archives-ouvertes.fr/hal-02901612
https://hal.archives-ouvertes.fr/hal-02901612
A Software Product Line (SPL) is a set of programs, called variants, which are generated from a common artifact base. Delta-Oriented Programming (DOP) is a flexible approach to implement SPLs. In this article, we provide a foundation for rigorous dev
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::575a59f04e3bfc81836655453e6afcc4
http://hdl.handle.net/2318/1671322
http://hdl.handle.net/2318/1671322