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
Documenting research software in engineering science
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 +1 more source
Modeling functional requirements using tacit knowledge: a design science research methodology informed approach [PDF]
, 2021 The research in this paper adds to the discussion linked to the challenge of capturing and modeling tacit knowledge throughout software development projects. The issue emerged when modeling functional requirements during a project for a client.
Benfell, Adrian
core +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
Models in the Cloud: Exploring Next Generation Environmental Software Systems [PDF]
, 2020 There is growing interest in the application of the latest trends in computing and data science methods to improve environmental science. However we found the penetration of best practice from computing domains such as software engineering and cloud ...
Bassett, Richard +4 more
core +4 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