Results 1 to 10 of about 70 (67)
Some of the next articles are maybe not open access.
Privacy-Preserving Alpha Algorithm for Software Analysis
2016Intelligent ...
Tillem, G. (author) +2 more
openaire +1 more source
Preserving the software industry's past
IEEE Annals of the History of Computing, 2003openaire +1 more source
Branching Preserving Specialization for Software Model Checking
2012Wepresentametho dforverifyingprop ertiesofimp erativeprogramsbyusingtechniquesbasedonconstraintlogicprogramming(CLP).Weconsiderasimpleimp erativelanguage,calledSIMP,extendedwithanondeterministicchoiceop eratorandweaddresstheproblemofcheckingwhetherornotasafetyprop erty?(thatsp eciesthatanun-safecongurationcannotb ereached)holdsforaSIMPprogramP.Theop ...
De Angelis E +3 more
openaire +3 more sources
VITAM SOFTWARE SOLUTION'S PRESERVATION FEATURES
2018Vasseur, Édouard, Rebours, Mélanie
openaire +1 more source
Multibus link preserves hardware and software investment
Microprocessors and Microsystems, 1984openaire +1 more source
Software assisted preservation management tools — product reviews
Archives and Museum Informatics, 1991openaire +1 more source
Software Preservation Benefits Framework [PDF]
, 2010 An investigation of software preservation has been carried out by Curtis+Cartwright Consulting Limited, in partnership with the Software Sustainability Institute (SSI), on behalf of the JISC. The aim of the study was to raise awareness and build capacity throughout the Further and Higher Education (FE/HE) sector to engage with preservation issues as ...
Chue Hong, Neil +4 more
openaire +4 more sources
CiTAR - Preserving Software-based Research
International Journal of Digital Curation, 2020 In contrast to books or published articles, pure digital output of research projects is more fragile and, thus, more difficult to preserve and more difficult to be made available and to be reused by a wider research community. Not only does a fast-growing format diversity in research data sets require additional software preservation but also today’s ...
Klaus Rechert +4 more
openaire +3 more sources
Preservation Metadata for Software - Describing Software in Archives.
, 2021 Software preservation is concerned with the long-term storage of and access to computer programs in order to keep software alive. As archival objects, software presents us with many challenges. The notion of software covers a huge variety of applications that have complex relationships with often specific hard- and software environments that are maybe ...
O'Donohoe, Eoin +2 more
openaire +1 more source