2048 search results - page 7 / 410 » Intelligent search techniques for large software systems |
COMPSAC
2003
IEEE
15 years 3 months ago
2003
IEEE
Autonomous Community Information System (ACIS) is a proposition made to contend with the extreme dynamism in the large-scale information system. ACIS is a decentralized bilateral-...
CEC
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract— Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most o...
114
click to vote
SIGSOFT
2010
ACM
14 years 7 months ago
2010
ACM
Mining software engineering data has emerged as a successful research direction over the past decade. In this position paper, we advocate Software Intelligence (SI) as the future ...
HICSS
1999
IEEE
15 years 2 months ago
1999
IEEE
Many transportation providers such as package delivery companies and postal service organizations face the problem of designing a transportation network in order to service their ...
SIGSOFT
2004
ACM
15 years 10 months ago
2004
ACM
When software is modified, during development and maintenance, it is regression tested to provide confidence that the changes did not introduce unexpected errors and that new feat...