809 search results - page 83 / 162 » Formal Semantics for the Java Modeling Language |
151
Voted
ESOP
2006
Springer
15 years 6 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...
127
Voted
GI
2010
Springer
15 years 19 days 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...
116
Voted
SIGSOFT
2001
ACM
16 years 3 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...
123
Voted
FMCO
2004
Springer
15 years 8 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 ...
110
Voted
IFM
2009
Springer
15 years 9 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, ...