414 search results - page 52 / 83 » Using Strongest Postconditions to Improve Software Quality |
CODES
2006
IEEE
14 years 2 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...
ASWEC
2000
IEEE
14 years 1 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 ...
TASLP
2011
13 years 3 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...
AGILEDC
2007
IEEE
14 years 3 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
14 years 2 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...