1823 search results - page 109 / 365 » Formal specification: a roadmap |
129
click to vote
ACSD
2009
IEEE
15 years 7 months ago
2009
IEEE
Protocol conversion deals with the automatic synthesis of an additional component, often referred to as an adaptor or a converter, to bridge mismatches between interacting compone...
149
click to vote
TSE
1998
15 years 4 months ago
1998
—New protocols are often useful, but are hard to implement well. Protocol synthesis is a solution, but synthesized protocols can be slow. Implementing protocols will be even more...
167
click to vote
CODES
2004
IEEE
15 years 8 months ago
2004
IEEE
In this paper, a novel method for high-level specification and validation of SoC designs using UML is proposed. UML is introduced as a formal model of specification for SoC design...
239
click to vote
POPL
2005
ACM
16 years 5 months ago
2005
ACM
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...
158
click to vote
CONSTRAINTS
2008
15 years 4 months ago
2008
We present the Auckland Layout Model (ALM), a constraint-based technique for specifying 2D layout as it is used for arranging the controls in a GUI. Most GUI frameworks offer layo...