23 search results - page 1 / 5 » Never apologise, never explain |
BEHAVIOURIT
2007
13 years 7 months ago
2007
SOFTWARE
1998
13 years 7 months ago
1998
development is a highly abstract process that requires intense concentration. The authors show that interrupting this process can significantly reduce a developer’s efficiency an...
LISP
2000
13 years 7 months ago
2000
This paper forms the substance of a course of lectures given at the International Summer School in Computer Programming at Copenhagen in August, 1967. The lectures were originally ...
PPPJ
2009
ACM
14 years 2 months ago
2009
ACM
Dynamic object reclassification allows changes to the type of an object at runtime. This paper makes the case for object evolution, a restriction of general reclassification by ...
SPIN
2012
Springer
11 years 9 months ago
2012
Springer
Since counterexamples generated by model checking tools are only symptoms of faults in the model, a significant amount of manual work is required in order to locate the fault that...