10379 search results - page 594 / 2076 » The Chaos of Software Development |
184
click to vote
JAR
2006
15 years 7 months ago
2006
Using automated reasoning techniques, we tackle the niche activity of proving that a program is free from run-time exceptions. Such a property is particularly valuable in high inte...
246
click to vote
SIGCSE
2008
ACM
15 years 7 months ago
2008
ACM
The national importance of creating "content reflecting cutting edge developments in STEM fields" has been recognized the National Science Foundation. The National Resea...
179
click to vote
AIEDU
2005
15 years 7 months ago
2005
The paper discusses ITS architectures in terms of patterns that exist within them. The concept of patterns has received surprisingly little attention so far from researchers in the...
201
click to vote
AI
2000
Springer
15 years 7 months ago
2000
Springer
Agent-based computing represents an exciting new synthesis both for Artificial Intelligence (AI) and, more generally, Computer Science. It has the potential to significantly impro...
186
click to vote
TSE
2002
15 years 6 months ago
2002
There is an increased interest in using control charts for monitoring and improving software processes, particularly quality control processes like reviews and testing. In a contro...