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 +2 more sources
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
An experiment in software science [PDF]
, 1980 This paper describes an experiment which was undertaken for two purposes: firstly to test the applicability of software science in the realm of student programming, and secondly to obtain quantitative inferences about the programming language PASCAL. The results suggest that software science offers little in the area studied, and possible reasons for ...
Johnston, Dan B., Lister, Andrew M.
openaire +2 more sources
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
Parallelization and Performance Optimization on Face Detection Algorithm with OpenCL: A Case Study
Tsinghua Science and Technology, 2012 Face detect application has a real time need in nature. Although Viola-Jones algorithm can handle it elegantly, today’s bigger and bigger high quality images and videos still bring in the new challenge of real time needs.
Weiyan Wang +4 more
doaj +1 more source