Login / Signup
Legislation-driven development of a Gift Aid system using Event-B.
David M. Williams
Salaheddin Darwish
Steve Schneider
David R. Michael
Published in:
Formal Aspects Comput. (2020)
Keyphrases
</>
software engineering
data driven
knowledge based systems
rapid development
data mining
multiscale
event driven
real world
computer vision
decision support
development process
st century
event recognition
economic development