FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3030334764> ?p ?o ?g. }

• W3030334764 endingPage "273" @default.
• W3030334764 startingPage "251" @default.
• W3030334764 abstract "Abstract This work presents our approach to formally model the Swiftaid system design, a digital platform that enables donors to automatically add Gift Aid to donations made via card payments. Following principles of Behaviour-Driven Development, we use Gherkin to capture requirements specified in legislation, specifically the UK Charity (Gift Aid Declarations) Regulations 2016. The Gherkin scenarios provide a basis for subsequent formal modelling and analysis using Event-B, Rodin and ProB. Interactive model simulations assist communication between domain experts, software architects and other stakeholders during requirements capture and system design, enabling the emergent system behaviour to be validated. Our approach was employed within the development of the real Swiftaid product, launched by Streeva in February 2019. Our analysis helped conclude that there was not a strong enough business case for one of the features, whichwas shown to provide nominal user convenience at the expense of increased complexity. This work provides a case study in allying formal and agile software development to enable rapid development of robust software." @default.
• W3030334764 created "2020-06-05" @default.
• W3030334764 creator A5000838833 @default.
• W3030334764 creator A5031063197 @default.
• W3030334764 creator A5031228321 @default.
• W3030334764 creator A5086900730 @default.
• W3030334764 date "2020-07-01" @default.
• W3030334764 modified "2023-09-23" @default.
• W3030334764 title "Legislation-driven development of a Gift Aid system using Event-B" @default.
• W3030334764 cites W1544621933 @default.
• W3030334764 cites W1971486022 @default.
• W3030334764 cites W2001570688 @default.
• W3030334764 cites W2041971724 @default.
• W3030334764 cites W2072113070 @default.
• W3030334764 cites W2345050942 @default.
• W3030334764 cites W2463945760 @default.
• W3030334764 cites W2477050440 @default.
• W3030334764 cites W2612733337 @default.
• W3030334764 cites W2885469735 @default.
• W3030334764 cites W2987907651 @default.
• W3030334764 cites W3027526230 @default.
• W3030334764 cites W4244819751 @default.
• W3030334764 cites W4254354208 @default.
• W3030334764 cites W4256462683 @default.
• W3030334764 cites W639481382 @default.
• W3030334764 doi "https://doi.org/10.1007/s00165-020-00512-5" @default.
• W3030334764 hasPublicationYear "2020" @default.
• W3030334764 type Work @default.
• W3030334764 sameAs 3030334764 @default.
• W3030334764 citedByCount "1" @default.
• W3030334764 countsByYear W30303347642023 @default.
• W3030334764 crossrefType "journal-article" @default.
• W3030334764 hasAuthorship W3030334764A5000838833 @default.
• W3030334764 hasAuthorship W3030334764A5031063197 @default.
• W3030334764 hasAuthorship W3030334764A5031228321 @default.
• W3030334764 hasAuthorship W3030334764A5086900730 @default.
• W3030334764 hasBestOaLocation W30303347641 @default.
• W3030334764 hasConcept C11189718 @default.
• W3030334764 hasConcept C111919701 @default.
• W3030334764 hasConcept C115903868 @default.
• W3030334764 hasConcept C121332964 @default.
• W3030334764 hasConcept C127413603 @default.
• W3030334764 hasConcept C134306372 @default.
• W3030334764 hasConcept C14185376 @default.
• W3030334764 hasConcept C144133560 @default.
• W3030334764 hasConcept C17744445 @default.
• W3030334764 hasConcept C18762648 @default.
• W3030334764 hasConcept C195094911 @default.
• W3030334764 hasConcept C199539241 @default.
• W3030334764 hasConcept C2777351106 @default.
• W3030334764 hasConcept C2777904410 @default.
• W3030334764 hasConcept C2779662365 @default.
• W3030334764 hasConcept C33923547 @default.
• W3030334764 hasConcept C36503486 @default.
• W3030334764 hasConcept C41008148 @default.
• W3030334764 hasConcept C45384764 @default.
• W3030334764 hasConcept C529173508 @default.
• W3030334764 hasConcept C59488412 @default.
• W3030334764 hasConcept C62520636 @default.
• W3030334764 hasConcept C78519656 @default.
• W3030334764 hasConceptScore W3030334764C11189718 @default.
• W3030334764 hasConceptScore W3030334764C111919701 @default.
• W3030334764 hasConceptScore W3030334764C115903868 @default.
• W3030334764 hasConceptScore W3030334764C121332964 @default.
• W3030334764 hasConceptScore W3030334764C127413603 @default.
• W3030334764 hasConceptScore W3030334764C134306372 @default.
• W3030334764 hasConceptScore W3030334764C14185376 @default.
• W3030334764 hasConceptScore W3030334764C144133560 @default.
• W3030334764 hasConceptScore W3030334764C17744445 @default.
• W3030334764 hasConceptScore W3030334764C18762648 @default.
• W3030334764 hasConceptScore W3030334764C195094911 @default.
• W3030334764 hasConceptScore W3030334764C199539241 @default.
• W3030334764 hasConceptScore W3030334764C2777351106 @default.
• W3030334764 hasConceptScore W3030334764C2777904410 @default.
• W3030334764 hasConceptScore W3030334764C2779662365 @default.
• W3030334764 hasConceptScore W3030334764C33923547 @default.
• W3030334764 hasConceptScore W3030334764C36503486 @default.
• W3030334764 hasConceptScore W3030334764C41008148 @default.
• W3030334764 hasConceptScore W3030334764C45384764 @default.
• W3030334764 hasConceptScore W3030334764C529173508 @default.
• W3030334764 hasConceptScore W3030334764C59488412 @default.
• W3030334764 hasConceptScore W3030334764C62520636 @default.
• W3030334764 hasConceptScore W3030334764C78519656 @default.
• W3030334764 hasFunder F4320335087 @default.
• W3030334764 hasIssue "2-3" @default.
• W3030334764 hasLocation W30303347641 @default.
• W3030334764 hasLocation W30303347642 @default.
• W3030334764 hasOpenAccess W3030334764 @default.
• W3030334764 hasPrimaryLocation W30303347641 @default.
• W3030334764 hasRelatedWork W1986494167 @default.
• W3030334764 hasRelatedWork W2108761628 @default.
• W3030334764 hasRelatedWork W2139627947 @default.
• W3030334764 hasRelatedWork W2923708597 @default.
• W3030334764 hasRelatedWork W2928186775 @default.
• W3030334764 hasRelatedWork W2941128497 @default.
• W3030334764 hasRelatedWork W3011369224 @default.
• W3030334764 hasRelatedWork W3174442593 @default.
• W3030334764 hasRelatedWork W4315837232 @default.

• next