Results 21 to 30 of about 2,493,519 (340)
A Correctness Enforcement Approach for Collaborative Business Processes
IEEE Access, 2019 Collaborative business processes are indeed complex and difficult to be correctly designed as business processes involved in them are typically developed by different participating organizations and there is no way to foresee all potential interactions ...
Qi Mo +5 more
doaj +1 more source
Identifying Patch Correctness in Test-Based Program Repair [PDF]
International Conference on Software Engineering, 2017 Test-based automatic program repair has attracted a lot of attention in recent years However, the test suites in practice are often too weak to guarantee correctness and existing approaches often generate a large number of incorrect patches.
Xinyuan Liu +4 more
semanticscholar +1 more source
Working Behind Bars, General Rules for Penitentiary Employees
Journal of Danubian Studies and Research, 2021 At first glance, working in a penitentiary unit seems quite simple: the employees provides security, accommodation, food, hygiene items, clothing when needed and the possibility of daily recreation for the imprisoned persons and inmates are waiting for
Florin Proca
doaj
Emu - Austral Ornithology, 1903 (Uploaded by Plazi from the Biodiversity Heritage Library) No abstract provided.
openaire +3 more sources
Correctness of an STM Haskell implementation [PDF]
, 2012 A concurrent implementation of software transactional memory in Concurrent Haskell using a call-by-need functional language with processes and futures is given.
Sabel, David +3 more
core +1 more source
Studies in Logic, Grammar and Rhetoric, 2020 The core entities of computer science include formal languages, spec-ifications, models, programs, implementations, semantic theories, type inference systems, abstract and physical machines.
Turner Raymond
doaj +1 more source
Defuzzification Strategies for Fuzzy Classifications of Remote Sensing Data
Remote Sensing, 2016 The classes in fuzzy classification schemes are defined as fuzzy sets, partitioning the feature space through fuzzy rules, defined by fuzzy membership functions.
Peter Hofmann
doaj +1 more source
From Event-B models to Dafny code contracts [PDF]
, 2015 International audienceThe constructive approach to software correctness aims at formal modelling and verification of the structure and behaviour of a system in different levels of abstraction. In contrast, the analytical approach to software verification
Mohammadsadegh Dalvandi +5 more
core +1 more source
Educare, 2018 There is a popular discourse in Sweden describing student writing as defective. Entering the discourse about the state and possible change of student writing, this paper analyses the writing part of the national test in Swedish for upper secondary school.
Martin Lennart Malmström
doaj +1 more source