1100 search results - page 158 / 220 » An Approach to Test Aspect-oriented Programs |
137
click to vote
KBSE
2003
IEEE
15 years 8 months ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
101
click to vote
CASCON
2006
15 years 4 months ago
2006
In this paper we present a test-driven approach to porting code from one object-oriented language to another. We derive an order for the porting of the code, along with a testing ...
153
click to vote
ALDT
2009
Springer
15 years 9 months ago
2009
Springer
This paper is devoted to sequential decision problems with imprecise probabilities. We study the problem of determining an optimal strategy according to the Hurwicz criterion in de...
102
click to vote
SEFM
2007
IEEE
15 years 9 months ago
2007
IEEE
Reactive integrated development environments for software engineering have lead to an increase in productivity and quality of programs produced. They have done so by replacing the...
132
click to vote
IFIP
2005
Springer
15 years 8 months ago
2005
Springer
Two different approaches are proposed to enhance the efficiency of the numerical resolution of optimal control problems governed by a linear advection– diffusion equation. In ...