3330 search results - page 309 / 666 » software 2010 |
190
click to vote
ASWEC
2010
IEEE
15 years 4 months ago
2010
IEEE
—A quality-driven approach to software development and testing demands that, ultimately, the requirements of stakeholders be validated against the actual behavior of an implement...
151
click to vote
ESEM
2010
ACM
15 years 4 months ago
2010
ACM
Though very important in software engineering, linking artifacts of the same type (clone detection) or of different types (traceability recovery) is extremely tedious, error-prone...
129
click to vote
VMCAI
2010
Springer
16 years 1 months ago
2010
Springer
We present a loop property generation method for loops iterating over multi-dimensional arrays. When used on matrices, our method is able to infer their shapes (also called types),...
133
click to vote
ESSOS
2010
Springer
16 years 27 days ago
2010
Springer
In many software applications, users access application data using graphical user interfaces (GUIs). There is an important, but little explored, link between visualization and secu...
123
click to vote
CISIS
2010
IEEE
15 years 9 months ago
2010
IEEE
—The term Enterprise 2.0 applies to the use of Web 2.0 technologies as a support for business activities within the organizations. These technologies are exploited to foster inte...