4335 search results - page 491 / 867 » Ontology Engineering Relationally |
169
click to vote
COMPSAC
2007
IEEE
16 years 1 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...
169
click to vote
CSMR
2007
IEEE
16 years 1 months ago
2007
IEEE
Despite the conventional wisdom concerning the risks related to the use of source code cloning as a software development strategy, several studies appeared in literature indicated...
166
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Next-generation software engineering is envisioned as a computational discipline that complements human capability through automated computation of software behavior and propertie...
161
click to vote
IWPC
2007
IEEE
16 years 1 months ago
2007
IEEE
A repository of task structures can reveal important latent knowledge about the development of a software system. Although approaches have been proposed to recover artifacts withi...
205
click to vote
SADFE
2007
IEEE
16 years 1 months ago
2007
IEEE
—With the rapid development and popularity of IT technology, criminals and mischievous computer users are given avenues to commit crimes and malicious activities. As forensic sci...