1538 search results - page 169 / 308 » Programming with Patterns |
130
click to vote
KBSE
2006
IEEE
15 years 8 months ago
2006
IEEE
Program checking technology is now a mature technology, but is not yet used on a large scale. We identify one cause of this gap in the decoupling of checking tools from the everyd...
122
click to vote
VMCAI
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Java is a very successful programming language which is also becoming widespread in embedded systems, where software correctness is critical. Jlint is a simple but highly...
125
click to vote
COOPIS
2002
IEEE
15 years 7 months ago
2002
IEEE
: This work investigates the integration of heterogeneous resources, such as data and programs, in a fully distributed peer-to-peer mediation architecture. The challenge in making ...
104
click to vote
IWPC
2002
IEEE
15 years 7 months ago
2002
IEEE
While code understanding is the primary program comprehension activity, it is quite challenging to recognize the application requirements from code, since they have usually been o...
126
Voted
EUROCAST
2001
Springer
15 years 7 months ago
2001
Springer
We present a Language Prototyping System that facilitates the modular development of interpreters from semantic specifications. The theoretical basis of our system is the integrat...