2493 search results - page 92 / 499 » Tool Support for Design by Contract |
EDOC
2007
IEEE
15 years 4 months ago
2007
IEEE
In aspect-oriented modeling (AOM), a design is described using a set of design views. It is sometimes necessary to compose the views to obtain an integrated view that can be analy...
ASPDAC
2005
ACM
14 years 12 months ago
2005
ACM
— Architecture Description Languages (ADLs) are widely used to perform design space exploration for Application Specific Instruction Set Processors (ASIPs). While the design spa...
WMTE
2005
IEEE
15 years 3 months ago
2005
IEEE
Individual, unaided human abilities are constrained. Media have helped us to transcend boundaries in thinking, working, learning, and collaborating by supporting distributed intel...
103
click to vote
VL
1996
IEEE
15 years 2 months ago
1996
IEEE
Fundamental to the design of visual languages are the goals of facilitating communication between people and computers, and between people and other people. The Object Block Progr...
EICS
2010
ACM
14 years 12 months ago
2010
ACM
We propose an approach that takes as input a task model, which includes the user's view of the interactive system, and automatically discovers a set of categorized and ranked...