Abrial, J.-R., Butler, M., Hallerstede, S., Hoang, T.S., Mehta, F., Voisin, L.: Rodin: an open toolset for modelling and reasoning in Event-B. Int J Softw Tools Technol Transf 12(6), 447–466 (2010)
Article
Google Scholar
Abrial, J.-R.: The B-book: assigning programs to meanings. Cambridge University Press, Cambridge (1996)
Book
Google Scholar
Abrial, J.-R.: Modeling in EventB: system and software engineering. Cambridge University Press, Cambridge (2010)
Book
Google Scholar
Behave: behavior-driven development, python style. https://github.com/behave/behave. Accessed 24 May 2019
Carter J (2017) BHive: behaviour-driven development meets B-method. Ph.D. thesis, The University of Guelph
Common criteria for information technology security evaluation. V3.1r5. Technical report, Common Criteria (2017)
Cucumber: 10 minute tutorial. https://cucumber.io/docs/guides/10-minute-tutorial/. Accessed 24 May 2019
Cucumber: a tool that supports behaviour-driven development. https://github.com/cucumber/cucumber. Accessed 24 May 2019
Falampin, J., Le-Dang, H., Leuschel, M., Mokrani, M., Plagge, D.: Improving railway data validation with ProB, pp. 27–43. Springer, Berlin (2013)
Google Scholar
Gherkin Reference: Cucumber. Accessed 24 May 2019
Gmehlich, R., Jones, C.: Experience of deployment in the automotive industry, pp. 13–26. Springer, Berlin (2013)
Google Scholar
Hallerstede, S., Leuschel, M., Plagge, D.: Validation of formal models by refinement animation. Sci Comput Program 78(3), 272–292 (2013)
Article
Google Scholar
HMRC (2016) The donations to charity (gift aid declarations) regulations 2016. Statutory instruments
HMRC (2018a) Alternative method of VAT collection—split payment. Summary of responses
HMR (2018b) Charitable giving and gift aid. HMRC research report 482
HMRC (2018c) Measuring tax gaps 2018 edition. An official statistics release
Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM 12(10), 576–580 (1969)
Article
Google Scholar
Hansen D, Schneider D, Leuschel M (2016) Using B and ProB for data validation projects. In: Proceedings ABZ 2016, pp 167–182. Springer International Publishing
Hoang, T.S., Schneider, S., Treharne, H., Williams, D.M.: Foundations for using linear temporal logic in Event-B refinement. Formal Asp Comput 28(6), 909–935 (2016)
MathSciNet
Article
Google Scholar
Ilić, D., Laibinis, L., Latvala, T., Troubitsyna, E., Varpaaniemi, K.: Deployment in the space sector, pp. 45–62. Springer, Berlin (2013)
Google Scholar
JBehave: a framework for behaviour-driven development. https://jbehave.org/. Accessed 24 May 2019
Leuschel, M., Butler, M.: ProB: A model checker for B. FME 2003: formal methods, pp. 855–874. Springer, Berlin (2003)
Chapter
Google Scholar
Larsen PG, Fitzgerald JS, Wolff S (2010) Are formal methods ready for agility? a reality check. Technical report no. CS-TR-1218, Newcastle University
Ladenberger L, Leuschel M (2016) BMotionWeb: A tool for rapid creation of formal prototypes. In: Software engineering and formal methods—14th international conference, SEFM 2016, Held as part of STAF 2016, Vienna, Austria, July 4–8, 2016, Proceedings, pp 403–417
Manifesto for agile software development. https://agilemanifesto.org/. Accessed 24 May 2019
Principles behind the agile manifesto. https://agilemanifesto.org/principles.html. Accessed 24 May 2019
North D (2006) Introducing behaviour-driven development (BDD). Better Software
Romanovsky, A., Thomas, M.: Industrial deployment of system engineering methods providing high dependability and productivity. Springer, Berlin (2013)
Book
Google Scholar
Siqueira FL, de Sousa TC, Silva PSM (2017) Using BDD and SBVR to refine business goals into an Event-B model: a research idea. In: 2017 IEEE/ACM 5th international FME workshop on formal methods in software engineering (FormaliSE), pp 31–36. IEEE
Snook C, Hoang TS, Dghyam D, Butler M, Fischer T, Schlick R, Wang K (2018) Behaviour-driven formal model development. In: Formal methods and software engineering, pp 21–36. Springer
Smart JF (2015) BDD in action: behavior-driven development for the whole software lifecycle. Manning
Streeva. Swiftaid. https://swiftaid.co.uk/. Accessed 09 July 2019
Schneider, S., Treharne, H., Wehrheim, H.: The behavioural semantics of Event-B refinement. Formal Asp Comput 26(2), 251–280 (2014)
MathSciNet
Article
Google Scholar
Solis C, Wang X (2011) A study of the characteristics of behaviour driven development. In: 2011 37th EUROMICRO conference on software engineering and advanced applications, pp 383–387. IEEE
UKRI gateway to research: Swift Aid project reference 133294. https://gtr.ukri.org/projects?ref=133294. Accessed 24 May 2019
Woodcock, J., Davies, J.: Using Z: specification, refinement, and proof. Prentice Hall, Upper Saddle River (1996)
MATH
Google Scholar
Williams, D.M., Darwish, S., Schneider, S., Michael, D.R.: Swiftaid rodin event-b models. Zonodo (2020). https://doi.org/10.5281/zenodo.3715494
Article
Google Scholar
Wieczorek, S., Kozyura, V., Wei, W., Roth, A., Stefanescu, A.: Business information sector, pp. 63–79. Springer, Berlin (2013)
Google Scholar
Werth M, Leuschel M (2020) VisB: A lightweight tool to visualize formal models with SVG graphics. In: Proceedings ABZ 2020, LNCS