中文
相关论文

相关论文: Recommendations to clarify NASA open source requir…

200 篇论文

Software engineering concepts and processes are worthy of formal study; and yet we seldom formalize them. This "research ideas" article explores what a theory of software engineering could and should look like. Software engineering research…

软件工程 · 计算机科学 2025-02-25 Bertrand Meyer

Software is the most used instrument in astronomy, and organizations such as NASA and the Heidelberg Institute for Theoretical Physics (HITS) fund, develop, and release research software. NASA, for example, has created sites such as…

天体物理仪器与方法 · 物理学 2020-12-24 Alice Allen , Siddha Mavuram , Robert J. Nemiroff , Judy Schmidt , Peter Teuben

In this paper, we address program development by multiple different programmers (or programming teams), each working in different settings (programming languages or reasoning frameworks), but following a common specification; in particular,…

计算机科学中的逻辑 · 计算机科学 2023-06-13 Georgios V. Pitsiladis , Petros S. Stefaneas

The notion that algorithmic systems should be "transparent" and "explainable" is common in the many statements of consensus principles developed by governments, companies, and advocacy organizations. But what exactly do policy and legal…

机器学习 · 计算机科学 2023-09-18 Matthew O'Shaughnessy

While software and algorithms have become increasingly important in astronomy, the majority of authors who publish computational astronomy research do not share the source code they develop, making it difficult to replicate and reuse the…

Algorithmic fairness for artificial intelligence has become increasingly relevant as these systems become more pervasive in society. One realm of AI, recommender systems, presents unique challenges for fairness due to trade offs between…

信息检索 · 计算机科学 2020-04-21 Jessie Smith , Nasim Sonboli , Casey Fiesler , Robin Burke

Formulating data science problems is an uncertain and difficult process. It requires various forms of discretionary work to translate high-level objectives or strategic goals into tractable problems, necessitating, among other things, the…

计算机与社会 · 计算机科学 2019-01-16 Samir Passi , Solon Barocas

The term Open Access not only describes a certain model of scholarly publishing -- namely in digital format freely accessible to readers -- but often also implies that free availability of research results is desirable, and hence has a…

数字图书馆 · 计算机科学 2019-10-28 Niels Taubert , Anne Hobert , Nicolas Fraser , Najko Jahn , Elham Iravani

Progress is being made in code discoverability and preservation, but as discussed at ADASS XXI, many codes still remain hidden from public view. With the Astrophysics Source Code Library (ASCL) now indexed by the SAO/NASA Astrophysics Data…

Accountability is an often called for property of technical systems. It is a requirement for algorithmic decision systems, autonomous cyber-physical systems, and for software systems in general. As a concept, accountability goes back to the…

软件工程 · 计算机科学 2021-04-30 Severin Kacianka , Alexander Pretschner

Variability constraints are an integral part of the requirements for a configurable system. The constraints specified in the requirements on the legal combinations of options define the space of potential valid configurations for the…

软件工程 · 计算机科学 2023-09-08 Chin Khor , Robyn Lutz

A later translation (2015) of the article in Russian published in 1990. The article proposes an approach to defining a set of basic notions for subject area of software engineering discipline. The set of notions is intended to serve as a…

软件工程 · 计算机科学 2015-08-12 Fedor Dzerzhinskiy , Leonid D. Raykov

Software is a central part of modern science, and knowledge of its use is crucial for the scientific community with respect to reproducibility and attribution of its developers. Several studies have investigated in-text mentions of software…

数字图书馆 · 计算机科学 2024-04-19 David Schindler , Tazin Hossain , Sascha Spors , Frank Krüger

Requirements and code, in conventional software engineering wisdom, belong to entirely different worlds. Is it possible to unify these two worlds? A unified framework could help make software easier to change and reuse. To explore the…

软件工程 · 计算机科学 2016-02-18 Alexandr Naumchev , Bertrand Meyer , Victor Rivera

In today's world, we need to ensure that AI systems are fair and unbiased. Our study looked at tools designed to test the fairness of software to see if they are practical and easy for software developers to use. We found that while some…

软件工程 · 计算机科学 2024-09-05 Thanh Nguyen , Luiz Fernando de Lima , Maria Teresa Badassarre , Ronnie de Souza Santos

The objective of this research is to analyse the ways members of open-source software communities participate in design. In particular we focus on how users of an Open Source (OS) programming language (Python) participate in adding new…

人机交互 · 计算机科学 2016-08-16 Flore Barcellini , Françoise Détienne , Jean-Marie Burkhardt

Open source licenses create a legal framework that plays a crucial role in the widespread adoption of open source projects. Without a license, any source code available on the internet could not be openly (re)distributed. Although recent…

软件工程 · 计算机科学 2020-12-10 João Pedro Moraes , Ivanilton Polato , Igor Wiese , Filipe Saraiva , Gustavo Pinto

The main problems of Software Engineering appear as a result of incompatibilities. For example, the quality of organization of the production process depends on correspondence with existent resources and on a common understanding of project…

软件工程 · 计算机科学 2009-03-13 Kirill A Sorudeykin

Context: Scientific software plays an important role in critical decision making, for example making weather predictions based on climate models, and computation of evidence for research publications. Recently, scientists have had to…

软件工程 · 计算机科学 2018-04-06 Upulee Kanewala , James M. Bieman

Open-source software (OSS) supply chain security has become a topic of concern for organizations. Patching an OSS vulnerability can require updating other dependent software products in addition to the original package. However, the…

软件工程 · 计算机科学 2024-04-19 Cadence Patrick , Kimberly Ruth , Zakir Durumeric