English
Related papers

Related papers: Extending and Applying Automated HERMES Software P…

200 papers

Programming language-design and run-time-implementation require detailed knowledge about the programs that users want to implement. Acquiring this knowledge is hard, and there is little tool support to effectively estimate whether a…

Programming Languages · Computer Science 2017-04-03 Stephan Brandauer , Tobias Wrigstad

Research Software Engineering (RSEng) is a key success factor in producing high-quality research software, which in turn enables and improves research outcomes. However, as a principal investigator or leader of a research group you may not…

Critical software systems face stringent requirements in safety, security, and reliability due to the circumstances surrounding their operation. Safety and security have progressively gained importance over the years due to the integration…

Software Engineering · Computer Science 2015-12-16 Julio Escribano-Barreno , Marisol García-Valls

Regular, automated testing is a foundational principle of modern software development. Numerous widely-used continuous integration systems exist, but they are often not suitable for the unique needs of scientific simulation software. Here…

Instrumentation and Methods for Astrophysics · Physics 2023-10-19 William M. Wolf , Josiah Schwab , R. Farmer , Evan B. Bauer

Software engineering is extremely information-intensive. Every day developers work with source code, version repositories, issue trackers, documentation, web-based and other information resources. However, three key aspects of information…

Software Engineering · Computer Science 2016-07-18 Dimitar Asenov , Peter Müller , Lukas Vogel

Context. Systematic Reviews (SRs) are means for collecting and synthesizing evidence from the identification and analysis of relevant studies from multiple sources. To this aim, they use a well-defined methodology meant to mitigate the…

Software Engineering · Computer Science 2019-08-20 Francesco Osborne , Henry Muccini , Patricia Lago , Enrico Motta

This paper extends the FAIR (Findable, Accessible, Interoperable, Reusable) guidelines to provide criteria for assessing if software conforms to best practices in open source. By adding 'USE' (User-Centered, Sustainable, Equitable),…

Software Engineering · Computer Science 2024-04-04 Raphael Sonabend , Hugo Gruson , Leo Wolansky , Agnes Kiragga , Daniel S. Katz

The development of suitable statistical models for the analysis of bibliographic networks has trailed behind the empirical ambitions expressed by recent studies of science of science. Extant research typically restricts the analytical focus…

Digital Libraries · Computer Science 2024-07-30 Jürgen Lerner , Marian-Gabriel Hâncean , Alessandro Lomi

In most fields, computational models and data analysis have become a significant part of how research is performed, in addition to the more traditional theory and experiment. Mathematics is no exception to this trend. While the system of…

Computers and Society · Computer Science 2018-07-24 Daniel S. Katz , Neil P. Chue Hong

Modern intelligent systems researchers employ the scientific method: they form hypotheses about system behavior, and then run experiments using one or more independent variables to test their hypotheses. We present SIERRA, a novel framework…

Robotics · Computer Science 2022-03-10 John Harwell , London Lowmanstone , Maria Gini

MFEM is an open-source, lightweight, flexible and scalable C++ library for modular finite element methods that features arbitrary high-order finite element meshes and spaces, support for a wide variety of discretization approaches and…

The increasing prevalence of AI-generated content alongside human-written text underscores the need for reliable discrimination methods. To address this challenge, we propose a novel framework with textual embeddings from Pre-trained…

Computation and Language · Computer Science 2024-11-04 Arjun Ramesh Kaushik , Sunil Rufus R P , Nalini Ratha

The profile of research software engineering has been greatly enhanced by developments at institutions around the world to form groups and communities that can support effective, sustainable development of research software. We observe,…

Software Engineering · Computer Science 2019-08-07 Jeremy Cohen , Daniel S. Katz , Michelle Barker , Robert Haines , Neil Chue Hong

Integrating Artificial Intelligence into Software Engineering (SE) requires having a curated collection of models suited to SE tasks. With millions of models hosted on Hugging Face (HF) and new ones continuously being created, it is…

Software Engineering · Computer Science 2026-01-05 Alexandra González , Xavier Franch , Silverio Martínez-Fernández

Open source software development, particularly within institutions such as universities and research laboratories, is often decentralized and difficult to track. Although academic teams produce many impactful scientific tools, their…

Software Engineering · Computer Science 2026-02-27 Juanita Gomez , Emily Lovell , Stephanie Lieggi , Alvaro A. Cardenas , James Davis

A plethora of scientific software packages are published in repositories, e.g., Zenodo and figshare. These software packages are crucial for the reproducibility of published research. As an additional route to scholarly knowledge graph…

Digital Libraries · Computer Science 2022-12-16 Muhammad Haris , Markus Stocker , Sören Auer

Many scientific-software projects test their codes inadequately, or not at all. Despite its well-known benefits, adopting routine testing is often not easy. Development teams may have doubts about establishing effective test procedures,…

Software Engineering · Computer Science 2014-11-11 Paul Madden , Eduardo G. Valente

The increasing volume of scholarly publications requires advanced tools for efficient knowledge discovery and management. This paper introduces ongoing work on a system using Large Language Models (LLMs) for the semantic extraction of key…

Digital Libraries · Computer Science 2025-10-07 Samy Ateia , Udo Kruschwitz , Melanie Scholz , Agnes Koschmider , Moayad Almohaishi

The paper describes the need for and goals of tool-integration within software development processes. In particular we focus on agile software development but are not limited to. The integration of tools and data between the different…

Software Engineering · Computer Science 2013-11-25 Max Wielsch , Raik Bieniek , Bernd Grams , Jörg Lässig

Process mining offers techniques to exploit event data by providing insights and recommendations to improve business processes. The growing amount of algorithms for process discovery has raised the question of which algorithms perform best…

Software Engineering · Computer Science 2018-06-20 Toon Jouck , Alfredo Bolt , Benoît Depaire , Massimiliano de Leoni , Wil M. P. van der Aalst