Embedding domain-specific modelling languages in maude specifications.
Vlad RusuPublished in: ACM SIGSOFT Softw. Eng. Notes (2011)
Keyphrases
- domain specific
- formal specification
- general purpose
- domain independent
- expressive power
- databases
- high level
- model checking
- vector space
- formal language
- cross lingual
- language independent
- relation extraction
- delay insensitive
- multi lingual
- language identification
- specification language
- functional requirements
- information retrieval
- nonlinear dimensionality reduction
- context free
- reverse engineering
- domain experts
- modelling language