1597 search results - page 9 / 320 » A Design Method for Object-Oriented Programming |
142
Voted
TOOLS
1998
IEEE
15 years 6 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...
106
click to vote
ESM
1998
15 years 3 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...
145
click to vote
IPPS
1996
IEEE
15 years 6 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...
170
click to vote
OOGRAPHICS
1995
15 years 6 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...
123
click to vote
FMCO
2006
Springer
15 years 6 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...