1937 search results - page 38 / 388 » Adaptation-based programming in java |
ATVA
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness. The central features of RTSJ are real t...
JTRES
2010
ACM
13 years 9 months ago
2010
ACM
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...
FMOODS
2008
13 years 10 months ago
2008
Abstract. Termination analysis has received considerable attention, traditionally in the context of declarative programming, and recently also for imperative languages. In existing...
ECOOPW
2001
Springer
14 years 1 months ago
2001
Springer
This report gives an overview of the third ECOOP Workshop on Formal Techniques for Java Programs. It explains the motivation for such a workshop and summarizes the presentations an...
ICSE
2003
IEEE-ACM
14 years 9 months ago
2003
IEEE-ACM
In our research demonstration, we show two development support systems for Java programs. One is an Aspectoriented Dynamic Analysis and Slice calculation system named ADAS, and an...