8623 search results - page 395 / 1725 » Software engineering for secure systems |
167
click to vote
PASTE
2005
ACM
16 years 13 days ago
2005
ACM
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...
178
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper describes work in progress on how to build open source communities. The proposed approach is based on exploiting existing social software communities and applications t...
240
click to vote
ICSM
2000
IEEE
15 years 11 months ago
2000
IEEE
Most studies of software evolution have been performed on systems developed within a single company using traditional management techniques. With the widespread availability of se...
169
click to vote
KIVS
2005
Springer
16 years 11 days ago
2005
Springer
Abstract: The goals of the interdisciplinary project HORN were as well to improve competitiveness of service providers that deliver grocery items as to develop new hardware and sof...
174
click to vote
ICSE
2003
IEEE-ACM
16 years 7 months ago
2003
IEEE-ACM
Embedded Architect is a design automation tool that embodies a static performance evaluation technique to support early, architecture-level design space exploration for component-...