6581 search results - page 37 / 1317 » Formalizing Design Patterns |
123
click to vote
IFM
2004
Springer
15 years 7 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...
108
click to vote
GLVLSI
1999
IEEE
15 years 6 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...
121
click to vote
SERP
2004
15 years 3 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...