Matches in SemOpenAlex for { <https://semopenalex.org/work/W1447190548> ?p ?o ?g. }
Showing items 1 to 53 of
53
with 100 items per page.
- W1447190548 abstract "Abstract : The DARPA project Crowd Sourced Formal Verification (CSFV) tries to investigate whether offering free games via the Internet that translate player's actions into program annotations helps to overcome the challenges of the expensive and time-consuming formal verification of software by human experts. This business case analysis evaluates the results of the CSFV-project phase 1. Based on data of the games, the author identifies three problems of the current CSFV approach. The author concludes, in accordance with the Gartner Hype Cycle Research Methodology, that the technology currently is not sufficiently mature to justify a financial investment, but that the cutting-edge approach may reach the plateau of productivity within two to five years, due to parallel maturation of some technologies. The author argues that a human-centered approach is necessary to transform the customer base in order to mitigate the identified deficiencies and to leverage crowdsourced formal verification as a sustainable business. He first explains the concepts relevant in the context of crowdsourced formal verification and the technologies having impact on it. He then identifies the current issues and existing obstacles in the current technology. Based on future trends and visions in the respective fields of technology, and the needs and motivations of people, he proposes a human-centered business model that may foster the implementation of crowdsourced formal verification of software in organizations that depend on security-critical and safety-critical software." @default.
- W1447190548 created "2016-06-24" @default.
- W1447190548 creator A5055972318 @default.
- W1447190548 date "2015-06-01" @default.
- W1447190548 modified "2023-09-23" @default.
- W1447190548 title "Crowdsourced Formal Verification: A Business Case Analysis Toward a Human-Centered Business Model" @default.
- W1447190548 hasPublicationYear "2015" @default.
- W1447190548 type Work @default.
- W1447190548 sameAs 1447190548 @default.
- W1447190548 citedByCount "0" @default.
- W1447190548 crossrefType "journal-article" @default.
- W1447190548 hasAuthorship W1447190548A5055972318 @default.
- W1447190548 hasConcept C110354214 @default.
- W1447190548 hasConcept C127413603 @default.
- W1447190548 hasConcept C144133560 @default.
- W1447190548 hasConcept C195094911 @default.
- W1447190548 hasConcept C41008148 @default.
- W1447190548 hasConcept C56739046 @default.
- W1447190548 hasConcept C57252376 @default.
- W1447190548 hasConceptScore W1447190548C110354214 @default.
- W1447190548 hasConceptScore W1447190548C127413603 @default.
- W1447190548 hasConceptScore W1447190548C144133560 @default.
- W1447190548 hasConceptScore W1447190548C195094911 @default.
- W1447190548 hasConceptScore W1447190548C41008148 @default.
- W1447190548 hasConceptScore W1447190548C56739046 @default.
- W1447190548 hasConceptScore W1447190548C57252376 @default.
- W1447190548 hasLocation W14471905481 @default.
- W1447190548 hasOpenAccess W1447190548 @default.
- W1447190548 hasPrimaryLocation W14471905481 @default.
- W1447190548 hasRelatedWork W119141299 @default.
- W1447190548 hasRelatedWork W1532003788 @default.
- W1447190548 hasRelatedWork W2008738472 @default.
- W1447190548 hasRelatedWork W2105846040 @default.
- W1447190548 hasRelatedWork W2111719116 @default.
- W1447190548 hasRelatedWork W2141854180 @default.
- W1447190548 hasRelatedWork W2166670083 @default.
- W1447190548 hasRelatedWork W2185163607 @default.
- W1447190548 hasRelatedWork W2214306769 @default.
- W1447190548 hasRelatedWork W2259472115 @default.
- W1447190548 hasRelatedWork W2502473436 @default.
- W1447190548 hasRelatedWork W2555734695 @default.
- W1447190548 hasRelatedWork W2597284187 @default.
- W1447190548 hasRelatedWork W2771645701 @default.
- W1447190548 hasRelatedWork W2905852840 @default.
- W1447190548 hasRelatedWork W3115017860 @default.
- W1447190548 hasRelatedWork W3175189269 @default.
- W1447190548 hasRelatedWork W627974769 @default.
- W1447190548 hasRelatedWork W83075467 @default.
- W1447190548 hasRelatedWork W95082474 @default.
- W1447190548 isParatext "false" @default.
- W1447190548 isRetracted "false" @default.
- W1447190548 magId "1447190548" @default.
- W1447190548 workType "article" @default.