2328 search results - page 300 / 466 » Component Frameworks - A Case Study |
135
click to vote
FMCAD
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Termination poses one of the main challenges for mechanically verifying infinite state systems. In this paper, we develop a powerful and extensible framework based on th...
109
Voted
HUC
2004
Springer
15 years 10 months ago
2004
Springer
Ubiquitous computing promises to enable new classes of application. In this paper, we present research intended to accelerate the exploration of the space of possible application ...
130
Voted
OOPSLA
2004
Springer
15 years 10 months ago
2004
Springer
This poster presents MonitorMethod which helps Java programmers gain insight in the behavior of their applications. MonitorMethod instruments the Java application and relates hard...
144
click to vote
SPIN
2004
Springer
15 years 10 months ago
2004
Springer
We propose a new framework for black-box conformance testing of real-time systems, where specifications are modeled as nondeterministic and partially-observable timed automata. We...
128
Voted
IWPSE
2003
IEEE
15 years 10 months ago
2003
IEEE
Current refactoring tools only provide support for performing selected refactorings. We show how tool support can be provided for the preparatory phases of refactoring as well, by...