121 search results - page 11 / 25 » Java for Real-time Object-oriented Programming |
126
click to vote
ECOOP
1999
Springer
15 years 6 months ago
1999
Springer
Object-oriented programming techniques have been used with great success for some time. But the techniques of object-oriented programming have been largely confined to the single a...
112
click to vote
ISORC
2008
IEEE
15 years 8 months ago
2008
IEEE
The Real-Time Specification for Java (RTSJ) [10] is becoming a popular choice in the world of real-time programming. However, the complexities introduced by RTSJ bring the needs ...
173
Voted
AAIP
2009
15 years 3 months ago
2009
The development of software engineering has had a great deal of benefits for the development of software. Along with it came a whole new paradigm of the way software is designed a...
137
click to vote
DSN
2003
IEEE
15 years 7 months ago
2003
IEEE
In this paper, we present a new fault injection tool called GOOFI (Generic Object-Oriented Fault Injection). GOOFI is designed to be adaptable to various target systems and differ...
233
click to vote
ECOOP
2009
Springer
16 years 2 months ago
2009
Springer
We propose a novel approach based on coinductive logic to specify type systems of programming languages. The approach consists in encoding programs in Horn formulas which are inter...