6581 search results - page 37 / 1317 » Formalizing Design Patterns |
158
click to vote
IFM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...
141
click to vote
GLVLSI
1999
IEEE
15 years 10 months ago
1999
IEEE
We present a formalism for implementing circuits with Quantum-dot Cellular Automata (QCA), comprising a set of standard circuit elements with uniform layout rules. The formalism s...
171
click to vote
SERP
2004
15 years 7 months ago
2004
This paper describes a design specification and analysis framework to support the OO design stage. Structural and behavioral specifications of objects are integrated and formalize...