2493 search results - page 46 / 499 » Tool Support for Design by Contract |
ASPDAC
1998
ACM
15 years 1 months ago
1998
ACM
Abstract -- This paper describes the use of a hierarchical design representation standard, CHDStd, as part of the architecture of the Chip Hierarchical Design System (CHDS). Detail...
MBUI
2004
14 years 11 months ago
2004
In recent years the re-use of already existing solutions and ideas has become more and more crucial. Re-inventing the wheel over and over again is not feasible. Especially model b...
SERP
2004
14 years 11 months ago
2004
Forms-based user interfaces are widely used means for human-computer interaction. However, it is difficult to exploit software reuse in forms-based systems because the systems ten...
ENVSOFT
2008
14 years 9 months ago
2008
Compensation payments to farmers who apply species-friendly farming activities are a common instrument to reconcile nature conservation with agriculture in Europe. In order to des...
LISA
2008
15 years 1 days ago
2008
System administrators are unique computer users. As power users in complex and high-risk work environments, intuition tells us that they may have requirements of the tools they us...