809 search results - page 83 / 162 » Formal Semantics for the Java Modeling Language |
172
click to vote
ESOP
2006
Springer
15 years 8 months ago
2006
Springer
This paper describes FrTime, an extension of Scheme designed for writing interactive applications. Inspired by functional reactive programming, the language embeds dynamic dataflow...
147
click to vote
GI
2010
Springer
15 years 2 months ago
2010
Springer
: paper we present a two-level approach to extend the abstract syntax of models with concrete semantics in order to execute such models. First, a light-weight execution infrastruct...
134
click to vote
SIGSOFT
2001
ACM
16 years 5 months ago
2001
ACM
For several different reasons, such as changes in the business or technological environment, the configuration of a system may need to evolve during execution. Support for such ev...
134
click to vote
FMCO
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
126
click to vote
IFM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. To model real-life critical systems, one needs“high-level”languages to express three important concepts: complex data structures, concurrency, and real-time. So far, ...