414 search results - page 49 / 83 » Using Strongest Postconditions to Improve Software Quality |
COMPSAC
2007
IEEE
14 years 3 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...
IWPC
2005
IEEE
14 years 2 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...
IUI
2005
ACM
14 years 2 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
14 years 2 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 ...
RE
2004
Springer
14 years 2 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...