2810 search results - page 59 / 562 » Contract-Based Component System Design |
101
click to vote
ESOP
2005
Springer
15 years 4 months ago
2005
Springer
We present a statically typed, class-based object oriented language where classes are first class polymorphic values. A main contribution of this work is the design of a type syst...
DATE
2000
IEEE
15 years 3 months ago
2000
IEEE
This paper presents the development of some frontend analog circuits for mixed signals systems. The paper proposes the use of externally linear, internally nonlinear analog circui...
ENTCS
2006
14 years 11 months ago
2006
Formal notations for system performance modeling need to be equipped with suitable notations for specifying performance measures. These companion notations have been traditionally...
ICCAD
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper presents a way of encoding some kinds of dynamic reconfiguration behaviour in the interface portion of circuit descriptions. This has many advantages. The user of a rec...
107
click to vote
DIAGRAMS
2004
Springer
15 years 4 months ago
2004
Springer
— Smart Diagram Environments (SDEs) are software applications that use structured diagrams to provide a natural visual interface that behaves as if the computer “understands”...