3311 search results - page 294 / 663 » Deductive Object Programming |
163
click to vote
AOSD
2006
ACM
15 years 9 months ago
2006
ACM
The relationships between objects in object-oriented programs are as important as the objects themselves. Unfortunately, most objectoriented programming languages provide little s...
TOOLS
1999
IEEE
15 years 7 months ago
1999
IEEE
stone in the object-oriented paradigm is the abstraction mechanisms transcending analysis, design, and implementation. The notions of class, object, behaviour, and inheritance are...
125
click to vote
SPIN
2000
Springer
15 years 6 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
106
click to vote
CORR
2011
Springer
14 years 6 months ago
2011
Springer
Many countries around the world have initiated national ID card programs in the last decade. These programs are considered of strategic value to governments due to its contributio...
146
click to vote
MICCAI
2005
Springer
16 years 3 months ago
2005
Springer
Functional Magnetic Resonance Imaging(fMRI) has enabled scientists to look into the active human brain, leading to a flood of new data, thus encouraging the development of new data...