SIGSOFT
2010
ACM
13 years 2 months ago
2010
ACM
Since software is developed to run on computers, there is a tendency to focus computer science and software engineering on how best to get software to run on computers. But, engin...
SIGSOFT
2010
ACM
13 years 2 months ago
2010
ACM
Executing critical systems often rely on humans to make important and sometimes life-critical decisions. As such systems become more complex, the potential for human error to lead...
SIGSOFT
2010
ACM
13 years 2 months ago
2010
ACM
Empirical studies that use software repository artifacts have become popular in the last decade due to the ready availability of open source project archives. In this paper, we su...
SIGSOFT
2010
ACM
13 years 2 months ago
2010
ACM
SIGSOFT
2010
ACM
13 years 2 months ago
2010
ACM
We propose program fields, a formal representation for groups of related programs, as a new abstraction to support future software engineering research in several areas. We will d...
SIGSOFT
2010
ACM
13 years 2 months ago
2010
ACM
Declarative policies play a central role in many modern software systems. Engineering policies and their interactions with programs raises many interesting open questions. Categor...
SIGSOFT
2010
ACM
13 years 2 months ago
2010
ACM
SIGSOFT
2010
ACM
13 years 2 months ago
2010
ACM
For `mixed-criticality' systems that have both critical and non-critical functions, the greatest leverage on dependability may be at the design level. By designing so that ea...
SIGSOFT
2010
ACM
13 years 2 months ago
2010
ACM
Almost all fundamental advances in science and engineering crucially depend on the availability of extremely capable high performance computing (HPC) systems. Future HPC systems w...
SIGSOFT
2010
ACM
13 years 2 months ago
2010
ACM
Legislation is constantly affecting the way in which software developers can create software systems, and deliver them to their users. This raises the need for methods and tools t...