889 search results - page 20 / 178 » Analysis of Software Engineering Data Using Computational In... |
SIGSOFT
1994
ACM
14 years 20 days ago
1994
ACM
In this paper we present an approach, based on data ow analysis, that can provide cost-e ective analysis of concurrent programs with respect to explicitly stated correctness prope...
IUI
2005
ACM
14 years 2 months ago
2005
ACM
A task-oriented space can benefit from an augmented reality interface that layers the existing tools and surfaces with useful information to make cooking more easy, safe and effic...
EUROMICRO
2007
IEEE
13 years 10 months ago
2007
IEEE
BPEL is a de-facto standard language for web service orchestration. It is a challenge to test BPEL processes automatically because of the complex features of the language. The cur...
ICSM
2008
IEEE
14 years 3 months ago
2008
IEEE
More than 90% of the cost of software is due to maintenance and evolution. Understanding the evolution of large software systems is a complex problem, which requires the use of va...
DAGSTUHL
2006
13 years 10 months ago
2006
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...