1587 search results - page 254 / 318 » Software Engineering Programmes are not Computer Science Pro... |
114
Voted
EUROSYS
2010
ACM
15 years 10 months ago
2010
ACM
Debugging real systems is hard, requires deep knowledge of the code, and is time-consuming. Bug reports rarely provide sufficient information, thus forcing developers to turn int...
107
click to vote
SIGCSE
2009
ACM
16 years 1 months ago
2009
ACM
Many academic and industry professionals have called for more testing in computer science curricula. Test-driven development (TDD) has been proposed as a solution to improve testi...
93
Voted
SPIN
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. We report on the use of model checking techniques for both the verification of a process control program and the derivation of optimal control schedules. Most of this wor...
105
click to vote
PARA
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. Ahardware and software environment with performance above 1 Tera ops (teracomputing) is presently required to face the leading computational challenges not only in fundam...
108
Voted
JAPLL
2008
15 years 24 days ago
2008
Simple type theory, also known as higher-order logic, is a natural extension of first-order logic which is simple, elegant, highly expressive, and practical. This paper surveys th...