Building white-box abstractions by program refinement.

Mehrdad Afshari Zhendong Su

Published in: Onward! (2016)

Keyphrases

white box
black box
high level
source code
test cases
real time
computer programs
relational databases
computer vision
information systems
multiscale
trade off
object oriented
face images