An automated tool for semantic accessing to formal software models.
Hai H. WangDanica DamljanovicJing SunPublished in: Sci. Comput. Program. (2014)
Keyphrases
- software tools
- automated tools
- user interface
- source code
- mathematical models
- reactive systems
- probabilistic model
- software platform
- model selection
- software systems
- complex systems
- semantic annotation
- metamodel
- software architecture
- semantic representation
- semantic knowledge
- analysis tool
- web services
- computer systems
- prior knowledge
- high level