Results 11 to 20 of about 3,923,394 (245)
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
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
Community Recommendations for Sustainable Scientific Software
Journal of Open Research Software, 2015 Science software has contributed to research practices, but the sustainability of scientific software presents challenges for the future use of research resources.
Robert R. Downs +4 more
doaj +1 more source
Behavioral Science of Software Engineering [PDF]
IEEE Software, 2020 Large-scale software development is a sociotechnical activity only bounded by human imagination, ingenuity, and creativity. It involves teams of developers progressing by coordinating their activities and communicating their bottlenecks, goals, and advancements toward the wider goal of creating large, high-quality software systems.
Marian Petre +4 more
openaire +1 more source
Complexity, 2020 In recent years, a number of recombination operators have been proposed for multiobjective evolutionary algorithms (MOEAs). One kind of recombination operators is designed based on the Gaussian process model. However, this approach only uses one standard
Xunfeng Wu +5 more
doaj +1 more source
IEEE Access, 2021 In the decomposition-based multiobjective evolutionary algorithms (MOEA/Ds), a set of subproblems are optimized by using the evolutionary search to exploit the feasible regions.
Naili Luo +4 more
doaj +1 more source
Open Science in Software Engineering [PDF]
, 2020 Open science describes the movement of making any research artefact available to the public and includes, but is not limited to, open access, open data, and open source. While open science is becoming generally accepted as a norm in other scientific disciplines, in software engineering, we are still struggling in adapting open science to the ...
Daniel Mendez +3 more
openaire +5 more sources
A new energy-aware wireless sensor network evolution model based on complex network
EURASIP Journal on Wireless Communications and Networking, 2018 For solving the problem of heterogeneous node energy and low energy efficiency in wireless sensor networks (WSNs), an effective and dynamic self-organization evolution model by introducing a complex network model is proposed in this paper. In the process
Shujuan Cui +3 more
doaj +1 more source
Sustainable Software Ecosystems for Open Science
, 2013 Sustainable software ecosystems are difficult to build, and require concerted effort, community norms and collaborations. In science it is especially important to establish communities in which faculty, staff, students and open-source professionals work ...
Hanwell, Marcus D. +6 more
core +2 more sources
Energy Harvesting-Based Smart Transportation Mode Detection System via Attention-Based LSTM
IEEE Access, 2019 Detecting the transportation mode of an individual's everyday travel provides useful information in urban design, real-time journey planning, and activity monitoring.
Weitao Xu +5 more
doaj +1 more source