1799 search results - page 291 / 360 » The Logic of Correctness in Software Engineering |
166
click to vote
ITS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Intelligent tutoring systems are quite difficult and time intensive to develop. In this paper, we describe a method and set of software tools that ease the process of cog...
144
Voted
FPGA
1997
ACM
15 years 10 months ago
1997
ACM
Programmable logic architectures increase in capacity before commercial circuits are designed for them, yielding a distinct problem for FPGA vendors: how to test and evaluate the ...
186
Voted
DKE
2007
15 years 6 months ago
2007
ct 9 The benefits of modular representations are well known from many areas of computer science. While in software engi10 neering modularization is mainly a vehicle for supporting...
145
click to vote
EUROSYS
2010
ACM
16 years 3 months ago
2010
ACM
In this paper, we propose a management framework for protecting large computer systems against operator mistakes. By detecting and confining mistakes to isolated portions of the ...
167
Voted
EUROMICRO
2009
IEEE
16 years 27 days ago
2009
IEEE
Abstract— Creating exercises for learners requires significant time. This is one reason, beside difficulties of discussing individualized tasks in a classroom setting, why often ...