16725 search results - page 13 / 3345 » Engineering Software Correctness |
82
Voted
EMSOFT
2005
Springer
15 years 5 months ago
2005
Springer
The recent release of UML 2.0 has corrected a lot of design diffi
112
click to vote
PLDI
2003
ACM
15 years 5 months ago
2003
ACM
We describe a technique for automatically proving compiler optimizations sound, meaning that their transformations are always semantics-preserving. We first present a domainspeci...
114
click to vote
CODES
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper describes a hardware-software co-design approach for flexible programmable Galois Field Processing for applications which require operations over GF(2m ), such as RS an...
120
Voted
PROMISE
2010
14 years 6 months ago
2010
Background. Software defect prediction has been one of the central topics of software engineering. Predicted defect counts have been used mainly to assess software quality and est...
102
click to vote
TOOLS
2009
IEEE
15 years 6 months ago
2009
IEEE
A software product line (SPL) is a family of related program variants in a well-defined domain, generated from a set of features. A fundamental difference from classical applicati...