1597 search results - page 19 / 320 » A Design Method for Object-Oriented Programming |
171
click to vote
PPSC
1997
15 years 7 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...
185
click to vote
COMPSAC
1999
IEEE
15 years 10 months ago
1999
IEEE
Design patterns have been used in object-oriented frameworks such as the IBM San Francisco framework, Apple's Rhaspody, OpenStep, and WebObjects, and DIWB. However, few guide...
163
click to vote
KBSE
1999
IEEE
15 years 10 months ago
1999
IEEE
Refactorings are behavior-preserving program transformations that automate design evolution in object-oriented applications. Three kinds of design evolution are: schema transformat...
148
click to vote
PPDP
2005
Springer
15 years 11 months ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
188
click to vote
TOOLS
1991
IEEE
15 years 9 months ago
1991
IEEE
After a maturing process where models and architectures for User Interface Systems have been dened and generally accepted, the current expectations of researchers, developers and ...