23 search results - page 1 / 5 » Never apologise, never explain |
53
Voted
BEHAVIOURIT
2007
14 years 10 months ago
2007
108
Voted
SOFTWARE
1998
14 years 9 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...
105
Voted
LISP
2000
14 years 10 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
15 years 5 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 ...
192
Voted
SPIN
2012
Springer
13 years 18 days 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...