1288 search results - page 66 / 258 » On Analysis of Design Component Contracts: A Case Study |
RE
2004
Springer
15 years 5 months ago
2004
Springer
Assumptions are frequently made during requirements analysis of a system-to-be about the trustworthiness of its various components (including human components). These trust assump...
109
click to vote
ACMDIS
2006
ACM
15 years 5 months ago
2006
ACM
Human-computer interaction research often includes a significant design component. In cases where software or other tools are developed and described, but no empirical evaluation ...
119
click to vote
FDL
2004
IEEE
15 years 3 months ago
2004
IEEE
This paper proposes a formal verification methodology which is smoothly integrated with component-based system-level design, using a divide and conquer approach. The methodology a...
KBSE
2006
IEEE
15 years 5 months ago
2006
IEEE
Traditional design representations are inadequate for generalized reasoning about modularity in design and its technical and economic implications. We have developed an architectu...
ICDAR
2009
IEEE
14 years 9 months ago
2009
IEEE
Layout analysis is a fundamental step in automatic document processing. Many different techniques have been proposed in literature to perform this task. These are broadly divided ...