6581 search results - page 284 / 1317 » Formalizing Design Patterns |
179
click to vote
TYPES
2004
Springer
15 years 12 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...
162
click to vote
SSPR
2000
Springer
15 years 10 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...
151
click to vote
COMPSAC
2002
IEEE
15 years 11 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...
189
click to vote
DKE
2002
15 years 6 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...
136
click to vote
IHM
2004
ACM
15 years 12 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 »...