498 search results - page 17 / 100 » Towards a Pattern Language for Object Oriented Design |
116
click to vote
APLAS
2004
ACM
15 years 7 months ago
2004
ACM
This paper develops a mathematical characterisation of object-oriented concepts by defining an observation-oriented semantics for an object-oriented language (OOL) with a rich var...
154
click to vote
JOOP
1998
15 years 1 months ago
1998
Design patterns have proven to be very useful for the design of object-oriented systems. The power of design patterns stems from their ability to provide generic solutions to reap...
237
click to vote
Book
"These course notes are addressed to a wide audience of people interested in modern programming languages in general, ML-like languages in particular, or simply in OCaml, whet...
113
click to vote
JMLC
2000
Springer
15 years 5 months ago
2000
Springer
We are concerned with the design of programming languages that support the paradigm of component-oriented programming. Languages based on the accepted idea of combining modular and...
136
click to vote
ISORC
1999
IEEE
15 years 6 months ago
1999
IEEE
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...