5506 search results - page 869 / 1102 » Visualizing Software Changes |
135
click to vote
AGILEDC
2004
IEEE
15 years 7 months ago
2004
IEEE
Many agile projects do not apply agile practices to their database development. Common wisdom dictates that the entire data model be carefully designed up front and protected from...
130
Voted
AMAST
2004
Springer
15 years 7 months ago
2004
Springer
Since Z, being a state-based language, describes a system in terms of its state and potential state changes, it is natural to want to describe properties of a specified system also...
123
Voted
AMAST
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. State space explosion is the hardest challenge to the effective application of model checking methods. We present a new technique for achieving drastic state space reduct...
121
Voted
CSMR
2004
IEEE
15 years 7 months ago
2004
IEEE
Institutions and companies that are based in countries where the main language is not English typically publish Web sites that offer the same information at least in the local lan...
154
Voted
CC
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Alias analysis, traditionally performed statically, is unsuited for a dynamic binary translator (DBT) due to incomplete control-flow information and the high complexity o...