1597 search results - page 9 / 320 » A Design Method for Object-Oriented Programming |
TOOLS
1998
IEEE
15 years 2 months ago
1998
IEEE
Since the publication of the Design Patterns book, a large number of design patterns have been identified and codified. Unfortunately, these patterns are mostly organised in an ad...
ESM
1998
14 years 11 months ago
1998
In order to reduce the cost, the time-to-market and to make the most pertinent choices, it becomes essential to allow designers to evaluate, very soon in the design phase, a given...
102
click to vote
IPPS
1996
IEEE
15 years 2 months ago
1996
IEEE
In many concurrent programming languages programs are difficult to extend and modify. This is because changes in a concurrent program (either through modification or extension) re...
131
click to vote
OOGRAPHICS
1995
15 years 1 months ago
1995
The structure of the image synthesis process naturally leads to the use of object-oriented software design and many existing rendering systems are based on some kind of object-orie...
FMCO
2006
Springer
15 years 1 months ago
2006
Springer
This paper is a tutorial on performing formal specification and semi-automatic verification of Java programs with the formal software development tool KeY. This tutorial aims to fi...