259 search results - page 14 / 52 » A Functional Pattern System for Object-Oriented Design |
136
click to vote
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
In this paper we analyse some methodological concerns that have to be faced in a design flow which contains automatic synthesis phases from high-level, system descriptions. In par...
104
click to vote
FATES
2003
Springer
15 years 8 months ago
2003
Springer
A key aspect of the Object-Oriented (OO) approach is that a designer can enrich an OO system by providing suitable (re-)definitions for some of the methods of the given system. A...
137
click to vote
OOPSLA
2010
Springer
15 years 1 months ago
2010
Springer
Type classes were originally developed in Haskell as a disciplined alternative to ad-hoc polymorphism. Type classes have been shown to provide a type-safe solution to important ch...
150
click to vote
CACM
1999
15 years 2 months ago
1999
ion suffices ("decide which type you want and provide a full set of operations for each type"). If the application domain is, say, the administration of a university, the...
128
click to vote
CAISE
2004
Springer
15 years 8 months ago
2004
Springer
This paper describes the implementation of a system supporting YAWL (Yet Another Workflow Language). YAWL is based on a rigorous analysis of existing workflow management systems ...