Documenting research software in engineering science [PDF]
Scientific Reports, 2022 The reuse of research software needs good documentation, however, the documentation in particular is often criticized. Especially in non-IT specific disciplines, the lack of documentation is attributed to the lack of training, the lack of time or missing
Sibylle Hermann, Jörg Fehr
doaj +4 more sources
On the Frontiers of Software Science and Software Engineering
Frontiers in Computer Science, 2022 Advances in software engineering, software science, computational intelligence, and intelligent mathematics have led to the establishment of Frontiers in Computer Science—Software (FCSS).
Yingxu Wang
doaj +1 more source
Improving ecological data science with workflow management software
Methods in Ecology and Evolution, 2023 Pressing environmental research questions demand the integration of increasingly diverse and large‐scale ecological datasets as well as complex analytical methods, which require specialized tools and resources.
Matthew R. Brousil +4 more
doaj +1 more source
On the robustness of generalization of drug–drug interaction models
BMC Bioinformatics, 2021 Background Deep learning methods are a proven commodity in many fields and endeavors. One of these endeavors is predicting the presence of adverse drug–drug interactions (DDIs).
Rogia Kpanou +4 more
doaj +1 more source
On Resolving Non-determinism in Choreographies [PDF]
Logical Methods in Computer Science, 2020 Choreographies specify multiparty interactions via message passing. A realisation of a choreography is a composition of independent processes that behave as specified by the choreography.
Laura Bocchi +2 more
doaj +1 more source
A Software Institute for Data-Intensive Sciences, Joining Computer Science Academia and Natural Science Research [PDF]
EPJ Web of Conferences, 2020 With the ever-increasing size of scientific collaborations and complexity of scientific instruments, the software needed to acquire, process and analyze the gathered data is increasing in both complexity and size.
Bird Ian +6 more
doaj +1 more source
Advanced Model Consistency Restoration with Higher-Order Short-Cut Rules [PDF]
Logical Methods in Computer ScienceSequential model synchronisation is the task of propagating changes from one model to another correlated one to restore consistency. It is challenging to perform this propagation in a least-changing way that avoids unnecessary deletions (which might ...
Lars Fritsche +4 more
doaj +1 more source
A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems [PDF]
Logical Methods in Computer ScienceThe Business Process Modeling Notation (BPMN) is a widely used standard notation for defining intra- and inter-organizational workflows. However, the informal description of the BPMN execution semantics leads to different interpretations of BPMN elements
Tim Kräuter +3 more
doaj +1 more source
High-level Counterexamples for Probabilistic Automata [PDF]
Logical Methods in Computer Science, 2015 Providing compact and understandable counterexamples for violated system properties is an essential task in model checking. Existing works on counterexamples for probabilistic systems so far computed either a large set of system runs or a subset of the ...
Ralf Wimmer +3 more
doaj +1 more source
Summary of the First Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE1) [PDF]
, 2014 Challenges related to development, deployment, and maintenance of reusable software for science are becoming a growing concern. Many scientists’ research increasingly depends on the quality and availability of software upon which their works are built ...
Allen, Gabrielle D. +14 more
core +3 more sources