Writing and using program specifications.

Steven P. Reiss

Published in: FoSER (2010)

Keyphrases

control flow
computer programs
data mining
social networks
high level
execution traces
open source
database
formal specification
specification language
reverse engineering
recursive programs
concurrent programming
reactive systems
search algorithm
multiscale
real world
data sets