Towards a Shared Specification Repository.

Philipp Körner Michael Leuschel Jannik Dunkelau

Published in: ABZ (2020)

Keyphrases

metadata
high level
digital libraries
data sets from uci
formal specification
information retrieval
business rules
specification language
formal verification
data sets
machine learning
learning algorithm
e learning
formal language