6197 search results - page 354 / 1240 » Sandbridge Software Tools |
144
click to vote
VAMOS
2007
Springer
16 years 26 days ago
2007
Springer
Software products often need to vary in terms of functionality, but also in terms of quality attributes. We describe KumbangSec, which in an approach for modelling functional and ...
170
click to vote
ACSC
2006
IEEE
16 years 24 days ago
2006
IEEE
Despite its long history and its benefits, software reuse has yet to become a common practise among software programmers. While there is much ongoing research, it focuses on larg...
196
click to vote
EUROMICRO
2006
IEEE
16 years 24 days ago
2006
IEEE
One area of the web services architecture yet to be standardised is that of fault tolerance for services. At the same time, WS-BPEL is moving from a de facto standard to an OASIS ...
184
click to vote
RSP
2005
IEEE
16 years 9 days ago
2005
IEEE
Our software synthesis tool, CSP++, generates C++ source code from verifiable CSPm specifications, and includes a framework for runtime execution. Our technique of selective for...
165
click to vote
XPU
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. While there are many excellent acceptance testing tools and frameworks available today, this paper presents an alternative approach, involving generating code from tests ...