2200 search results - page 129 / 440 » Programming norm change |
SIGSOFT
2006
ACM
15 years 10 months ago
2006
ACM
Though many tools are available to help programmers working on change tasks, and several studies have been conducted to understand how programmers comprehend systems, little is kn...
ICLP
2009
Springer
15 years 4 months ago
2009
Springer
We consider multiagent systems situated in unpredictable environments. Agents viewed as abductive logic programs with abducibles being literals the agent could sense or receive fro...
ICSM
1998
IEEE
15 years 2 months ago
1998
IEEE
Code-based metrics such as coupling and cohesion are used to measure a system's structural complexity. But dealing with large systems--those consisting of several millions of...
DEXA
2003
Springer
15 years 3 months ago
2003
Springer
Knowledge engineering has developed fine tools for maintaining the integrity of knowledge bases. These tools may be applied to the maintenance of conventional programs particularly...
GI
2009
Springer
15 years 2 months ago
2009
Springer
Abstract: Contracts are a proven tool in software development. They provide specifications for operations that may be statically verified or dynamically validated by contract mon...