6581 search results - page 136 / 1317 » Formalizing Design Patterns |
141
click to vote
ICECCS
2009
IEEE
15 years 9 months ago
2009
IEEE
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...
132
click to vote
APAQS
2000
IEEE
15 years 7 months ago
2000
IEEE
Although quality is not easy to evaluate since it is a complex concept compound by different aspects, several properties that make a good object-oriented design have been recogniz...
113
click to vote
HF
2002
15 years 2 months ago
2002
This paper discusses a formal and rigorous approach to the analysis of operator interaction with machines. It addresses the acute problem of detecting design errors in human-machi...
141
click to vote
DSN
2008
IEEE
15 years 5 months ago
2008
IEEE
Fault-tolerant, replicated file systems are a crucial component of today's data centers. Despite their huge complexity, these systems are typically specified only in brief pr...
115
click to vote
DATE
2003
IEEE
15 years 8 months ago
2003
IEEE
The ForSyDe methodology has been developed for system level design. Starting with a formal specification model, that captures the functionality of the system at a high abstractio...