3311 search results - page 173 / 663 » Deductive Object Programming |
SIGCSE
2002
ACM
15 years 1 months ago
2002
ACM
Currently there is a serious conceptual and technical gap between ideas emphasized in object-oriented programming and ideas as taught in algorithms courses. We suggest both a para...
136
click to vote
GECCO
2006
Springer
15 years 5 months ago
2006
Springer
Evolutionary algorithms have successfully been applied to software testing. Not only approaches that search for numeric test data for procedural test objects have been investigate...
109
click to vote
ASM
2005
ASM
15 years 7 months ago
2005
ASM
We consider a specific kind of Abstract State Machines. It is shown how the machines can be used to provide a low-level formal semantics for a tiny object-oriented language, inclu...
BNCOD
2004
15 years 3 months ago
2004
While there are many proposals for spatio-temporal data models and query languages, there is a lack of research into application development using spatio-temporal database systems....
113
click to vote
CORR
2004
Springer
15 years 1 months ago
2004
Springer
The purpose of this paper is to point to the usefulness of applying a linear mathematical formulation of fuzzy multiple criteria objective decision methods in organising business ...