15777 search results - page 740 / 3156 » The Reformulation-Optimization Software Engine |
189
click to vote
TOOLS
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we introduce MaDcAr, a model of engines for dynamic and automatic (re)assembling of component-based software. In MaDcAr, an application description consists of the d...
177
click to vote
VMCAI
2010
Springer
16 years 4 months ago
2010
Springer
We present uniform approaches to establish complexity bounds for decision problems such as reachability and simulation, that arise naturally in the verification of timed software s...
197
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper describes work in progress on how to build open source communities. The proposed approach is based on exploiting existing social software communities and applications t...
215
click to vote
WCRE
2007
IEEE
16 years 1 months ago
2007
IEEE
The EvoSpaces reverse-engineering tool represents the architecture and metrics of complex software systems as 3D software cities. By navigating and interacting with this world, th...
139
click to vote
OSS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Release management plays an important role in every software project since it is concerned with the delivery of a high quality product to end-users. This paper explores r...