We Need a Testability Transformation Semantics.

Published in: SEFM (2018)

Keyphrases

transformation rules
formal semantics
logic programming
logical framework
uml activity diagrams
data mining
linear transformation
data sets
neural network
artificial intelligence
information systems
conceptual model
operational semantics
intended meaning