328 search results - page 23 / 66 » Software engineering for safety: a roadmap |
PLDI
2005
ACM
15 years 5 months ago
2005
ACM
We present a multi-lingual type inference system for checking type safety across a foreign function interface. The goal of our system is to prevent foreign function calls from int...
ICSE
2000
IEEE-ACM
15 years 3 months ago
2000
IEEE-ACM
When the general press refers to `software' in its headlines, then this is often not to relate a success story, but to expand on yet another `software-risk-turned-problem-sto...
95
Voted
FSTTCS
2008
Springer
15 years 25 days ago
2008
Springer
We present a polynomial-time reduction from parity games with imperfect information to safety games with imperfect information. Similar reductions for games with perfect informatio...
121
Voted
SIGSOFT
2010
ACM
14 years 6 months ago
2010
ACM
Web service applications are dynamic, highly distributed, and loosely coupled orchestrations of services which are notoriously difficult to debug. In this paper, we describe a use...
ICESS
2005
Springer
15 years 5 months ago
2005
Springer
Complexity of software systems has significantly grown with social dependence on computer system, especially for mobile and internet. So we present component-based communication pr...