2259 search results - page 37 / 452 » Leveraging Distributed Software Development |
115
Voted
SPIN
2004
Springer
15 years 7 months ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...
150
click to vote
IJES
2006
15 years 2 months ago
2006
Model-driven development (MDD) is an emerging paradigm that uses domain-specific modeling languages (DSMLs) and generative technologies to provide "correct-by-construction&quo...
142
Voted
ISMAR
2003
IEEE
15 years 7 months ago
2003
IEEE
In the past, architectures of Augmented Reality systems have been widely different and taylored to specific tasks. In this paper, we use the example of the SHEEP game to show how...
158
click to vote
MSR
2006
ACM
15 years 8 months ago
2006
ACM
To improve software productivity, when constructing new software systems, developers often reuse existing class libraries or frameworks by invoking their APIs. Those APIs, however...
106
click to vote
SOFTVIS
2005
ACM
15 years 8 months ago
2005
ACM
Software archives contain historical information about the development process of a software system. Using data mining techniques rules can be extracted from these archives. In th...