Results 51 to 60 of about 22,627,038 (292)
A survey of software development practices in the New Zealand software industry [PDF]
, 2000 We report on the software development techniques used in the New Zealand software industry, paying particular attention to requirements gathering. We surveyed a selection of software companies with a general questionnaire and then conducted in-depth ...
Groves, Lindsay +4 more
core +2 more sources
Toward Bounds on Parallel Execution Times of Task Graphs on Multicores With Memory Constraints
IEEE Access, 2019 As more and more parallel programs are migrating to shared computing platforms, bounding their parallel execution times under resource constraints is particularly important for their efficient executions.
Jiangong Song, Qinyong Li, Shilong Ma
doaj +1 more source
DAEOM: A Deep Attentional Embedding Approach for Biomedical Ontology Matching
Applied Sciences, 2020 Ontology Matching (OM) is performed to find semantic correspondences between the entity elements of different ontologies to enable semantic integration, reuse, and interoperability.
Jifang Wu +3 more
doaj +1 more source
Heterogeneous Ensemble Model to Optimize Software Effort Estimation Accuracy
IEEE Access, 2023 The software industry has experienced rapid expansion in recent years, with software development now essential to the success of many multinational corporations.
Syed Sarmad Ali +4 more
doaj +1 more source
Benefits of Session Types for software Development [PDF]
, 2016 Session types are a formalism used to specify and check the correctness of communication based systems. Within their scope, they can guarantee the absence of communication errors such as deadlock, sending an unexpected message or failing to handle an ...
Gay, Simon J., Voinea, A. Laura
core +1 more source
IEEE Access, 2019 In GitHub, integrators inspect submitted code changes, make evaluation decision, and close pull requests. Some pull requests may be reopened for further modification and code review.
Jing Jiang, Abdillah Mohamed, Li Zhang
doaj +1 more source
MPEFT: A novel task scheduling method for workflows
Frontiers in Environmental Science, 2023 Optimizing the scheduling algorithm is a key problem to improving the service efficiency of urban heterogeneous computing platforms. In this paper, we propose a novel list-based scheduling algorithm called Modified Predict Earliest Finish Time (MPEFT ...
Juhua Pu +6 more
doaj +1 more source
Achieving Flexible and Self-Contained Data Protection in Cloud Computing
IEEE Access, 2017 For enterprise systems running on public clouds in which the servers are outside the control domain of the enterprise, access control that was traditionally executed by reference monitors deployed on the system servers can no longer be trusted.
Bo Lang, Jinmiao Wang, Yanxi Liu
doaj +1 more source
Encyclopedia of Social Network Analysis and Mining. 2nd Ed., 2018 : Software development is a rigorous process used in the creation and maintenance of software. In this paper the systems development lifecycle (SDLC) has been explored as the universal model upon which other models are based.
Software Development Methodologies
semanticscholar +1 more source
Software Development by Refinement
, 2003 This paper presents an overview of the technical foundations and current directions of Kestrel’s approach to mechanizing software development. The approach emphasizes machine-supported refinement of property-oriented specifications to code, based on a category of higher-order specifications.
Pavlovic, D, Smith, D
openaire +3 more sources