1938 search results - page 54 / 388 » Dependable Software |
111
click to vote
PLDI
2000
ACM
15 years 6 months ago
2000
ACM
This paper describes the implementation of a purely functional programming language for building software systems. In this language, external tools like compilers and linkers are ...
117
click to vote
ISARCS
2010
15 years 6 months ago
2010
Abstract. Software designs equipped with specification of dependability techniques can help engineers to develop critical systems. In this work, we start to envision how a softwar...
142
Voted
ACSC
2006
IEEE
15 years 8 months ago
2006
IEEE
The purpose of refactoring is to improve the quality of a software system by changing its internal design so that it is easier to understand or modify, or less prone to errors and...
121
click to vote
JSW
2007
15 years 2 months ago
2007
— Web Services offer great promise for integrating and automating software applications within and between enterprises over the Internet. However, ensuring that Web Services can ...
130
click to vote
TPHOL
2008
IEEE
15 years 8 months ago
2008
IEEE
Slicing is a widely-used technique with applications in e.g. compiler technology and software security. Thus verification of algorithms in these areas is often based on the correc...