Login / Signup
Enhanced Semantic Access to Formal Software Models.
Hai H. Wang
Danica Damljanovic
Jing Sun
Published in:
ICFEM (2010)
Keyphrases
</>
formal methods
semantic models
source code
mathematical models
database
computational models
architectural models
fully functional
formal models
formal model
semantic network
statistical models
experimental data
software systems
access control
domain specific
natural language
case study