Login / Signup
Solving the bank with Rebel: on the design of the Rebel specification language and its application inside a bank.
Jouke Stoel
Tijs van der Storm
Jurgen J. Vinju
Joost Bosman
Published in:
ITSLE@SPLASH (2016)
Keyphrases
</>
specification language
software environment
case study
formal specification
description language
information systems
design process
database
machine learning
high level
user interface
general purpose
knowledge based systems
building blocks