6581 search results - page 61 / 1317 » Formalizing Design Patterns |
112
Voted
SPIN
1999
Springer
15 years 6 months ago
1999
Springer
Model checking is traditionally applied to computer system design. It has proven to be a valuable technique. However, it requires detailed specifications of systems and requirement...
117
Voted
DAC
1994
ACM
15 years 6 months ago
1994
ACM
This paper describes a diagnosis technique for locating design errors in circuit implementations which do not match their functional specification. The method efficiently propagat...
103
Voted
BMCBI
2006
15 years 2 months ago
2006
Background: The aim of protein design is to predict amino-acid sequences compatible with a given target structure. Traditionally envisioned as a purely thermodynamic question, thi...
107
Voted
MSR
2010
ACM
15 years 7 months ago
2010
ACM
—Design patterns are codified solutions to common object-oriented design (OOD) problems in software development. One of the proclaimed benefits of the use of design patterns is...
135
Voted
EICS
2009
ACM
15 years 9 months ago
2009
ACM
Usability-supporting architectural patterns (USAPs) were developed as a way to explicitly connect the needs of architecturally-sensitive usability concerns to the design of softwa...