840 search results - page 16 / 168 » Programming the future |
POPL
2007
ACM
14 years 9 months ago
2007
ACM
Future software development will rely on product synthesis, i.e., the synthesis of code and non-code artifacts for a target component or application. Prior work on feature-based p...
CACM
1999
13 years 8 months ago
1999
centralized abstractions. The metaphor of a community of independent objects communicating by passing messages is misleading and dangerous when thinking in terms of a distributed s...
SIGSOFT
2010
ACM
13 years 6 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...
ICLP
2010
Springer
14 years 15 days ago
2010
Springer
Abstract. We present an integration of answer set programming and constraint processing as an interesting approach to constraint logic programming. Although our research is in a ve...
IFIP
1994
Springer
14 years 20 days ago
1994
Springer
To avoid hidden safety problems in future large scale systems, we must be able to identify the crucial assumptions underlying the development of their components and to enunciate ...