6581 search results - page 284 / 1317 » Formalizing Design Patterns |
138
click to vote
TYPES
2004
Springer
15 years 9 months ago
2004
Springer
We present four constructions for standard equipment which can be generated for every inductive datatype: case analysis, structural recursion, no confusion, acyclicity. Our constru...
131
click to vote
SSPR
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Recently, a number of authors have explored the use of recursive recursive neural nets (RNN) for the adaptive processing of trees or tree-like structures. One of the most...
120
click to vote
COMPSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
Recently SOFL (Structured-Object-based-Formal Language) has been extended to a formal object-oriented language and method while keeping its structured features. This extension all...
154
click to vote
DKE
2002
15 years 4 months ago
2002
Object-Oriented modeling and design methodologies have been receiving a significant attention since they allow a quick and easy-to-gasp overview about a complex model. However, in...
102
click to vote
IHM
2004
ACM
15 years 9 months ago
2004
ACM
This paper describes an approach for the participatory design. After describing the trends in the domain, a formalization of the design process is expressed based on « phase »...