5343 search results - page 298 / 1069 » Keyword programming in java |
127
click to vote
ICST
2009
IEEE
15 years 10 months ago
2009
IEEE
Constraint solving lies at the heart of several specification-based approaches to automated testing. Korat is a previously developed algorithm for solving constraints in Java pro...
125
Voted
SPIN
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We present a new decision procedure for detecting property violations in pushdown models for concurrent programs that use lock-based synchronization, where each thread’...
116
click to vote
ESOP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract We present the semantics and proof system for an objectoriented language with active objects, asynchronous method calls, and futures. The language, based on Creol, disting...
129
click to vote
ICSE
2007
IEEE-ACM
15 years 9 months ago
2007
IEEE-ACM
Safety-critical systems (whose anomalous behavior could have catastrophic consequences such as loss of human life) are becoming increasingly prevalent; standards such as DO-178B, ...
105
Voted
CD
2004
Springer
15 years 8 months ago
2004
Springer
Based on a vision that, in the future, applications will be flexibly built out of small-grained components, we argue that current technologies do not adequately support component d...