1597 search results - page 43 / 320 » A Design Method for Object-Oriented Programming |
SAC
2009
ACM
15 years 4 months ago
2009
ACM
In the Design By Contract (DBC) approach, programmers specify methods with pre and postconditions (also called contracts). Earlier work added protocols to the DBC approach to desc...
IADIS
2003
14 years 11 months ago
2003
We sketch a theoretical framework for the construction of evaluation schemes for web sites. The framework is based on the structure quite explicitly found in mathematics, physics ...
106
click to vote
CC
2012
Springer
13 years 5 months ago
2012
Springer
The computational cost and precision of a shape style heap analysis is highly dependent on the way method calls are handled. This paper introduces a new approach to analyzing metho...
IJON
2002
14 years 9 months ago
2002
NEURObjects is a set of C++ library classes for neural network development, exploiting the potentialities of object-oriented design and programming. The main goal of the library c...
118
click to vote
MEMOCODE
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper presents results on processor specification from a specialized high-level finite state machine (FSM) language. The language is an extension and enhancement of earlier...