Výsledky vyhledávání - "Montangero, Carlo"

Report

We introduce a temporal logic to reason on global applications in an asynchronous setting. First, we define the Distributed States Logic (DSL), a modal logic for localities that embeds the local theories of each component into a theory of the distrib

Externí odkaz: http://arxiv.org/abs/cs/0304046

Zobrazit plný text záznamu

Preserving landmark legacy software with the Software Heritage Acquisition Process

Autor: Bussi, Laura, Di Cosmo, Roberto, Montangero, Carlo, Scatena, Guido

Publikováno v: iPres2021-17th International Conference on Digital Preservation
iPres2021-17th International Conference on Digital Preservation, Oct 2021, Beijing, China. ⟨10.1145/nnnnnnn.nnnnnnn⟩

International audience; The source code of landmark software developed since the beginning of the computer era is a precious part of our cultural heritage, and needs to be properly rescued, curated, archived and made available to present and future g

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0e52313b1cd19ac7df6e447c3989b5cc
https://phaidra.univie.ac.at/o:1424833

Zobrazit plný text záznamu

Software Stories for landmark legacy code

Autor: Gruenpeter, Morane, Di Cosmo, Roberto, Thornton, Katherine, Seals-Nutt, Kenneth, Montangero, Carlo, Scatena, Guido

Publikováno v: [Research Report] Inria. 2021

Software Heritage in collaboration with the sciencestories.io team and the University of Pisa are introducing a new way to showcase software, that can be accessible to a wide range of software enthusiasts without any technical background, Software St

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e504222b090032085e3aec050d7f00f8
https://hal.science/hal-03483982

Zobrazit plný text záznamu