414 search results - page 52 / 83 » Using Strongest Postconditions to Improve Software Quality |
100
click to vote
CODES
2006
IEEE
15 years 6 months ago
2006
IEEE
Retargetable C compilers are nowadays widely used to quickly obtain compiler support for new embedded processors and to perform early processor architecture exploration. One frequ...
94
Voted
ASWEC
2000
IEEE
15 years 5 months ago
2000
IEEE
This paper presents the framework of a scale-oriented scheme for the presentation and classification of reverse engineered sections of procedural code into objects. The aim is to ...
101
click to vote
TASLP
2011
14 years 7 months ago
2011
Abstract—A probabilistic kernel approach to pairwise preference learning based on Gaussian processes is applied to predict preference judgments for sound quality degradation mech...
100
click to vote
AGILEDC
2007
IEEE
15 years 7 months ago
2007
IEEE
Many agile projects require user interaction (UI) design, but the integration of UI design into agile development is not well understood. This is because both agile development an...
ACMSE
2005
ACM
15 years 6 months ago
2005
ACM
Through the automation of empirical evaluation we hope to alleviate evaluation problems encountered by software designers who are relatively new to the process. Barriers to good e...