6581 search results - page 79 / 1317 » Formalizing Design Patterns |
153
Voted
SIAMCOMP
2002
15 years 2 months ago
2002
This paper presents a formal design for a novel group communication service targeted for WANs. The service provides Virtual Synchrony semantics. Such semantics facilitate the desi...
121
Voted
HICSS
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper describes the basis for a suite of tools that let the programmer work in terms of design patterns and source code simultaneously. It first introduces a language for de...
113
Voted
DATE
2005
IEEE
15 years 8 months ago
2005
IEEE
Increasing reuse opportunities is a well-known problem for software designers as well as for hardware designers. Nonetheless, current software and hardware engineering practices h...
99
Voted
ACMDIS
2000
ACM
15 years 7 months ago
2000
ACM
A central challenge in interaction design has to do with its diversity. Designers, engineers, managers, marketers, researchers and users all have important contributions to make t...
126
Voted
ITS
2004
Springer
2004
Springer
Combining Heuristics and Formal Methods in a Tool for Supporting Simulation-Based Discovery Learning
15 years 8 months ago
Abstract. This paper describes the design of a tool to support learners in simulation-based discovery learning environments. The design redesigns and extents a previous tool to ove...