769 search results - page 63 / 154 » The Real-Time Specification for Java |
PDSE
1998
13 years 11 months ago
1998
We present prominent features of AUTOFOCUS, a tool prototype for the formally based development of reactive systems. AUTOFOCUS supports system development offering integrated, com...
SOCO
2010
Springer
13 years 7 months ago
2010
Springer
Context-oriented programming (COP) introduces dedicated abstractions for the modularization and dynamic composition of crosscutting context-specific functionality. While existing C...
FMOODS
2007
13 years 11 months ago
2007
The success of distributed event-based infrastructures such as SIENA and Elvin is partially due to their ease of use. Even novice users of these infrastructures not versed in distr...
ASWEC
2005
IEEE
14 years 3 months ago
2005
IEEE
Starting with a UML specification that captures the underlying functionality of some given Java-based concurrent system, we describe a systematic way to construct, from this speci...
CASES
2000
ACM
14 years 2 months ago
2000
ACM
In this paper, we describe a software architecture supporting code generation from within Ptolemy II. Ptolemy II is a componentbased design tool intended for embedded and real-tim...