Legislation-driven development of a Gift Aid system using Event-B
Reference
, ‘Legislation-driven development of a Gift Aid system using Event-B’ (2020) 32 Formal Aspects of Computing 251
Models the Swiftaid digital platform for adding Gift Aid to card donations, capturing requirements directly from the Charity (Gift Aid Declarations) Regulations 2016 via Gherkin scenarios and formalising them in Event-B.