1229 search results - page 33 / 246 » Reflections on the Design of a Specification language |
DAC
2002
ACM
14 years 9 months ago
2002
ACM
A central problem in functional verification is to check that a circuit block is producing correct outputs while enforcing that the environment is providing legal inputs. To attac...
SERP
2004
13 years 9 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...
SAC
2005
ACM
14 years 1 months ago
2005
ACM
Modular and flexible software components can be useful for reuse across a class of domain-specific applications or product lines. By varying the composition of components suited t...
ECOOP
2005
Springer
14 years 1 months ago
2005
Springer
Smalltalk-80 is a pure object-oriented language in which messages are dispatched according to the class of the receiver, or first argument, of a message. Object-oriented languages ...
TASLP
2008
13 years 8 months ago
2008
The performance of spoken language recognition system is typically formulated to reflect the detection cost and the strategic decision points along the detection-error-tradeoff cur...