207 search results - page 2 / 42 » Developing a GUIDE Using Object-Oriented Programming |
PPSC
1997
13 years 6 months ago
1997
We illustrate how Fortran 90 supports object-oriented concepts by example of plasma particle computations on the IBM SP. Our experience shows that Fortran 90 and object-oriented m...
ECOOP
1992
Springer
13 years 9 months ago
1992
Springer
Multiple dispatching provides increased expressive power over single dispatching by guiding method lookup using the values of all arguments instead of only the receiver. However, ...
DLOG
1996
13 years 6 months ago
1996
: The main thesis of this paper is that in order to use Description Logics in practical applications, a seamless integration with object-oriented system development methodologies m...
ENTCS
2008
13 years 5 months ago
2008
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...
JOT
2010
13 years 3 months ago
2010
Design contracts can be used in software development to ensure the preservation of assertions for program correctness. This can increase reliability in software design. Design by ...