1669 search results - page 82 / 334 » Structured Specification of Model Interpreters |
118
click to vote
WSC
2007
15 years 5 months ago
2007
Simulation languages and the GUIs supporting them may be excellent tools for creating simulation codes, but are not necessarily the best tools to use for creating descriptions of ...
121
Voted
ADC
2004
Springer
15 years 8 months ago
2004
Springer
A complete workflow specification requires careful integration of many different process characteristics. Decisions must be made as to the definitions of individual activities, th...
118
click to vote
APAL
2006
15 years 3 months ago
2006
We show that--unlike products of `transitive' modal logics which are usually undecidable-their `expanding domain' relativisations can be decidable, though not in primiti...
133
Voted
ACHI
2009
IEEE
15 years 10 months ago
2009
IEEE
— Given its current state of the art, Model-Based UI Development (MBDUI) is able to fulfill the major requirements of desktop and mobile applications, such as form-based user int...
125
click to vote
APSEC
2003
IEEE
15 years 7 months ago
2003
IEEE
Today, the syntax of visual specification languages such as UML is typically defined using meta-modelling techniques. However, this kind of syntax definition has drawbacks. In par...