4719 search results - page 419 / 944 » Spreadsheet functional programming |
181
Voted
STEP
2003
IEEE
15 years 12 months ago
2003
IEEE
When testing a program, correctly executed test cases are seldom explored further, even though they may carry useful information. Metamorphic testing proposes to generate follow-u...
159
click to vote
ECOOP
2003
Springer
15 years 12 months ago
2003
Springer
This paper explains how higher-order hierarchies can be used to handle the expression problem. The expression is concerned with extending both the set of data structures and the s...
164
click to vote
ASM
2000
ASM
15 years 11 months ago
2000
ASM
Abstract. The Abstract State Machines (ASM) methodology is a methodology for formally specifying computing systems. We use the ASM methodology to give the dynamic semantics of the ...
172
click to vote
ECOOP
1999
Springer
15 years 11 months ago
1999
Springer
We develop an imperative calculus that provides a formal model for both single and mixin inheritance. By introducing classes and mixins as the basic object-oriented constructs in a...
146
click to vote
IFIP
1999
Springer
15 years 11 months ago
1999
Springer
: The field of Virtual Environments (VEs) is rapidly evolving into a new means of communication and accessing information, likely to overcome many existent technologies. However, b...