283 search results - page 8 / 57 » Software Inspections We Can Trust |
ISSRE
2006
IEEE
14 years 1 months ago
2006
IEEE
Aspect-oriented software development is gaining popularity with the adoption of languages such as AspectJ. Testing is an important part in any software development, including aspe...
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
Inspections can be made more cost-effective by using capturerecapture methods to estimate post-inspection defects. Previous capture-recapture studies of inspections used relativel...
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
We present a software tool and a framework for security protocol change management. While we focus on trust negotiation protocols in this paper, many of the ideas are generally ap...
CISIS
2010
IEEE
14 years 2 months ago
2010
IEEE
Abstract—Security-by-Contract (S×C) is a paradigm providing security assurances for mobile applications. In this work, we present an extension of S×C enriched with an automatic...
ICSM
1999
IEEE
13 years 11 months ago
1999
IEEE
The success of an object-oriented software development project highly depends on how well the designers can capture the Hot Spots of the application domain, that is, those aspects...