Sciweavers

3388 search results - page 32 / 678
» Type-theoretic design patterns
Sort
View
CBSE
2010
Springer
13 years 11 months ago
(Behavioural) Design Patterns as Composition Operators
Design patterns are typically defined informally, albeit in a standard format, and have to be programmed by the software designer into each new application. Thus although patterns ...
Kung-Kiu Lau, Ioannis Ntalamagkas, Cuong M. Tran, ...
COMPSAC
2008
IEEE
13 years 9 months ago
Specifying Behavioural Features of Design Patterns in First Order Logic
The formal specification of design patterns is widely recognised as being vital to their effective and correct use in software development. It can clarify the concepts underlying ...
Ian Bayley, Hong Zhu
IV
2008
IEEE
107views Visualization» more  IV 2008»
14 years 2 months ago
Design Patterns for Rapid Visualization Prototyping
In this paper we present three software design patterns for rapid prototyping of information visualization applications. The first pattern describes a mapping of object oriented ...
Mark Giereth, Thomas Ertl
COOTS
1996
13 years 9 months ago
The Object Group Design Pattern
This paper describes \Object Group", an object behavioral pattern for group communication and fault-tolerance in distributed systems. The Object Group pattern supports the im...
Silvano Maffeis
CIA
2000
Springer
14 years 1 days ago
Design of Collaborative Information Agents
Effective development of nontrivial systems of collaborative information agents requires that an in-depth analysis is made resulting in (1) specification of requirements at differe...
Catholijn M. Jonker, Matthias Klusch, Jan Treur