2373 search results - page 57 / 475 » The Design of the Zinc Modelling Language |
107
click to vote
ECTEL
2007
Springer
15 years 7 months ago
2007
Springer
: Current learning modelling languages do not allow formalization of scripts where generic tools are required. This limitation is especially relevant on remote courses when using c...
119
click to vote
OOPSLA
2009
Springer
15 years 6 months ago
2009
Springer
The traditional model transformation approach is to write transformation programs in a specialized language. Although such languages provide powerful capabilities to automate mode...
CHARME
2003
Springer
15 years 5 months ago
2003
Springer
Industrial verification teams are actively developing suitable event sequence languages for hardware verification. Such languages must be expressive, designer friendly, and hardwar...
112
click to vote
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
The modular representation of concerns is imperative in the design modeling of multi-agent systems (MASs). However, MAS designers typically face a number of concerns that inherent...
124
click to vote
NGC
1998
Springer
15 years 1 months ago
1998
Springer
Much progress has been made in distributed computing in the areas of distribution structure, open computing, fault tolerance, and security. Yet, writing distributed applications r...