1940 search results - page 59 / 388 » Dependable Software: An Oxymoron |
PDP
2003
IEEE
14 years 2 months ago
2003
IEEE
We describe a robust library for parallel and dependable master-worker programs (raftnet). From a software client’s viewpoint, flexibility, hardware independence and ease of us...
PLDI
2000
ACM
14 years 1 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 ...
DIAGRAMS
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. We present a brief description of the design of a diagrambased system that supports the development of thinking about mathematical generalisation. Within the software, th...
FOSSACS
2009
Springer
14 years 3 months ago
2009
Springer
We introduce a new kind of tree automaton, a dependency tree automaton, that is suitable for deciding properties of classes of terms with binding. Two kinds of such automaton are d...
ACSC
2006
IEEE
14 years 2 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...