414 search results - page 49 / 83 » Using Strongest Postconditions to Improve Software Quality |
85
Voted
COMPSAC
2007
IEEE
15 years 6 months ago
2007
IEEE
Program verification is a promising approach to improving program quality. To formally verify aspectoriented programs, we have to find a way to formally specify programs written i...
74
Voted
IWPC
2005
IEEE
15 years 6 months ago
2005
IEEE
In order to make frameworks easier to use we need to better understand the difficulties that programmers have with them. The questions that programmers ask give clues to the qual...
105
click to vote
IUI
2005
ACM
15 years 6 months ago
2005
ACM
This paper presents a new context-based method for automatic detection and extraction of similar and related words from texts. Finding similar words is a very important task for m...
IUI
2004
ACM
15 years 6 months ago
2004
ACM
This paper introduces the application Second Messenger, a tool for supporting face-to-face meetings and discussions. Second Messenger uses a speech-recognition engine as an input ...
73
Voted
RE
2004
Springer
15 years 5 months ago
2004
Springer
This paper addresses the issues related to improving the overall quality of the requirements tracing process for Independent Verification and Validation analysts. The contribution...