4335 search results - page 600 / 867 » Ontology Engineering Relationally |
169
click to vote
ICSE
2009
IEEE-ACM
16 years 1 months ago
2009
IEEE-ACM
Programming languages such as Java and C++ provide exception-handling constructs to handle exception conditions. Applications are expected to handle these exception conditions and...
148
click to vote
ICSE
2009
IEEE-ACM
16 years 1 months ago
2009
IEEE-ACM
As software systems continue to grow and evolve, locating code for maintenance and reuse tasks becomes increasingly difficult. Existing static code search techniques using natura...
193
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
Given a 3-valued abstraction of a program (possibly generated using rogram analysis and predicate abstraction) and a temporal logic formula, generalized model checking (GMC) checks...
161
click to vote
WCRE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Determining who are the copyright owners of a software system is important as they are the individuals and organizations that license the software to its users, and ultimately t...
177
click to vote
WCRE
2009
IEEE
16 years 1 months ago
2009
IEEE
—During the evolution of a software system, a large amount of information, which is not always directly related to the source code, is produced. Several researchers have provided...