222 search results - page 34 / 45 » Unembedding domain-specific languages |
LREC
2008
13 years 8 months ago
2008
Air traffic control (ATC) is based on voice communication between pilots and controllers and uses a highly task and domain specific language. Due to this very reason, spoken langu...
IJES
2006
13 years 7 months ago
2006
Model-driven development (MDD) is an emerging paradigm that uses domain-specific modeling languages (DSMLs) and generative technologies to provide "correct-by-construction&quo...
IR
2006
13 years 7 months ago
2006
When searching for health information, results quality can be judged against available scientific evidence: Do search engines return advice consistent with evidence based medicine...
FORTE
2009
13 years 5 months ago
2009
We present a strategy for model-checking the correctness of service composition. We do so in the context of SRML, a formal modelling framework for service-oriented computing being ...
CAISE
2006
Springer
13 years 11 months ago
2006
Springer
Effective discovery and sharing of process models within and/or across enterprises are important in process model management. A semantic annotation approach has been applied for sp...