Traceability and evidence of correctness of EDSL abstractions.

Martin Sulzmann Jürgen Nicklisch-Franken Axel Zechner

Published in: PEPM (2013)

Keyphrases

high level
life cycle
empirical evidence
real time
neural network
software architecture
data sets
learning algorithm
information systems
objective function
information technology
relational databases
search space
software development
belief functions