Sciweavers

SIGSOFT
2010
ACM
13 years 5 months ago
Program fields for continuous software
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...
Martin Erwig, Eric Walkingshaw
SIGSOFT
2010
ACM
13 years 5 months ago
Embracing policy engineering
Declarative policies play a central role in many modern software systems. Engineering policies and their interactions with programs raises many interesting open questions. Categor...
Kathi Fisler, Shriram Krishnamurthi, Daniel J. Dou...
SIGSOFT
2010
ACM
13 years 5 months ago
Separation of concerns for dependable software design
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...
Daniel Jackson, Eunsuk Kang
SIGSOFT
2010
ACM
13 years 5 months ago
Top ten ways to make formal methods for HPC practical
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...
Ganesh Gopalakrishnan, Robert M. Kirby
SIGSOFT
2010
ACM
13 years 5 months ago
Lawful software engineering
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...
Daniel M. Germán, Jens H. Webber, Massimili...
SIGSOFT
2010
ACM
13 years 5 months ago
Building scalable software systems in the multicore era
Software systems must face two challenges today: growing complexity and increasing parallelism in the underlying computational models. The problem of increased complexity is often...
Hridesh Rajan
SIGSOFT
2010
ACM
13 years 5 months ago
Embracing ambiguity
Software helps people fulfill their goals, but development tools lack understanding of those goals. But if development tools did understand how software artifacts relate to higher...
Kenneth C. Arnold, Henry Lieberman
SIGSOFT
2010
ACM
13 years 5 months ago
Managing technical debt in software-reliant systems
Delivering increasingly complex software-reliant systems demands better ways to manage the long-term effects of shortterm expedients. The technical debt metaphor is gaining signif...
Nanette Brown, Yuanfang Cai, Yuepu Guo, Rick Kazma...
SIGSOFT
2010
ACM
13 years 5 months ago
Software for everyone by everyone
Given the dizzying pace of change in computer science, trying to look too far into the future of software engineering is hard. However, it might be possible to predict the future ...
Tevfik Bultan