1925 search results - page 356 / 385 » Documenting software systems with views |
111
Voted
VMCAI
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...
ICSM
2009
IEEE
15 years 4 months ago
2009
IEEE
As development on a software project progresses, developers shift their focus between different topics and tasks many times. Managers and newcomer developers often seek ways of un...
123
click to vote
DOLAP
2005
ACM
14 years 11 months ago
2005
ACM
Different modeling approaches have been proposed to overcome every design pitfall of the development of the different parts of a data warehouse (DW) system. However, they are all ...
106
click to vote
TSE
2008
14 years 9 months ago
2008
Software end users are the best testers, who keep revealing bugs in software that has undergone rigorous in-house testing. In order to leverage their testing efforts, failure repor...
155
click to vote
VLDB
2007
ACM
15 years 10 months ago
2007
ACM
Scientific data are posing new challenges to data management due to the large volume, complexity and heterogeneity of the data. Meanwhile, scientific collaboration becomes increas...