1199 search results - page 61 / 240 » Software Verification and Software Engineering a Practitione... |
128
click to vote
CCS
2007
ACM
15 years 10 months ago
2007
ACM
Static analysis tools can handle large-scale software and find thousands of defects. But do they improve software security? We evaluate the effect of static analysis tool use on s...
215
click to vote
BCSHCI
2008
15 years 5 months ago
2008
In this article we present the research of SArt project at the Norwegian University of Science and Technology. In SArt we have the vision that software engineering can benefit fro...
145
click to vote
UML
2004
Springer
15 years 9 months ago
2004
Springer
This report summarizes the outcome of the 5th Workshop on AspectOriented Modeling (AOM) held in conjunction with the 7th International Conference on the Unified Modeling Language â...
134
click to vote
PREMI
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we present and analyze an artificial neural network hardware engine, its architecture and implementation. The engine was designed to solve performance problems of the...
115
click to vote
SIGSOFT
2001
ACM
16 years 5 months ago
2001
ACM
There is a growing interest in empirical study in software engineering, both for validating mature technologies and for guiding improvements of less-mature technologies. This pape...