1164 search results - page 128 / 233 » Using CBR for Semantic Analysis of Software Specifications |
143
Voted
SIGSOFT
2008
ACM
16 years 4 months ago
2008
ACM
Many testing and analysis techniques have been developed for inhouse use. Although they are effective at discovering defects before a program is deployed, these techniques are oft...
114
Voted
SIGADA
2004
Springer
15 years 9 months ago
2004
Springer
This paper describes one method for identifying global variables in Ada procedures and adding them to the parameter list of appropriate procedures. Global variables, ones that are...
155
click to vote
AND
2010
15 years 1 months ago
2010
High-level spoken document analysis is required in many applications seeking access to the semantic content of audio data, such as information retrieval, machine translation or au...
116
click to vote
AICCSA
2006
IEEE
15 years 9 months ago
2006
IEEE
The specification, analysis, and administration of business processes have charged great importance in this last time. This has been caused by a competitive industry necessity, dy...
191
click to vote
ISSTA
2000
ACM
15 years 8 months ago
2000
ACM
A method for finding bugs in code is presented. For given small numbers j and k, the code of a procedure is translated into a relational formula whose models represent all executi...