1597 search results - page 13 / 320 » A Design Method for Object-Oriented Programming |
177
click to vote
ECOOP
1999
Springer
15 years 10 months ago
1999
Springer
Object-oriented programming techniques have been used with great success for some time. But the techniques of object-oriented programming have been largely confined to the single a...
159
Voted
FMOODS
2007
15 years 7 months ago
2007
Abstract. This paper gives an overview of the KeY approach and highlights the main features of the KeY system. KeY is an approach (and a system) for the deductive verification of ...
168
click to vote
JMLC
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. We describe a system designed to provide database programming support for Oberon programmers. The system is based on a generic object-oriented data model which supports r...
175
Voted
ISOOMS
1994
15 years 10 months ago
1994
Although object-oriented programming techniques have evolved into an accepted technology with recognized benefits for software development, profound investigations of qualitative a...
195
Voted
TOOLS
1998
IEEE
15 years 10 months ago
1998
IEEE
Conventional object-oriented analysis delivers a business object model, which is transformed during design into collaborating class clusters which implement the business model...