780 search results - page 45 / 156 » Case Study: Model Transformations for Time-triggered Languag... |
QEST
2009
IEEE
14 years 2 months ago
2009
IEEE
—Symmetry reduction is a technique for combating state-space explosion in model checking. The generic representatives approach to symmetry reduction uses a language-level transla...
UML
2000
Springer
13 years 11 months ago
2000
Springer
User interfaces (UIs) are essential components of most software systems, and significantly affect the effectiveness of installed applications. In addition, UIs often represent a s...
METAINFORMATICS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. The Model-Driven Development (MDD) describes and maintains models of the system under development. The Unified Modeling Language (UML) supports a set of semantics and no...
TSMC
2010
13 years 2 months ago
2010
Abstract--While a number of modeling languages for constructing multiagent systems (MASs) have been suggested, none of them is widely accepted and used. A prominent reason for this...
SPLC
2008
13 years 9 months ago
2008
The adoption of Domain-Specific Modeling Languages (DSMLs) for generating framework-based applications has proved to be an effective way of enforcing the correct use of frameworks...