1173 search results - page 71 / 235 » Program Derivation Using Analogy |
99
Voted
HICSS
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper attempts to create a research cycle for Problem Based Learning and in so doing help substantiate the use of PBL in business school environments. The paper starts with a...
123
Voted
FM
1999
Springer
15 years 6 months ago
1999
Springer
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
118
click to vote
FORTE
2004
15 years 4 months ago
2004
Abstract. We present automated techniques for the explanation of counterexamples, where a counter-example should be understood as a sequence of program statements. Our approach is ...
140
click to vote
DAGSTUHL
1996
15 years 3 months ago
1996
A partial evaluator, given a program and a known "static" part of its input data, outputs a specialised or residual program in which computations depending only on the st...
101
click to vote
ECIS
2000
15 years 4 months ago
2000
This paper considers how we are constructing and modelling digital realities, and considers the relationships between digital realities and our reality using concepts from traditio...