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