Some Challenges of Specifying Concurrent Program Components.

Published in: Refine@FM (2018)

Keyphrases

lessons learned
concurrent programs
static analysis
data model
computer programs
program execution
real world
computer vision
data structure
expert systems
software engineering
neural network
software components
application scenarios
real time
open issues
java programs
database