2493 search results - page 229 / 499 » Tool Support for Design by Contract |
173
click to vote
ASAP
2005
IEEE
16 years 7 days ago
2005
IEEE
In this paper we introduce a design methodology that allows the system/circuit designer to build reliable systems out of unreliable nano-scale components. The central point of our...
178
click to vote
UIST
2004
ACM
16 years 20 hour ago
2004
ACM
In this paper, we describe The Designerʼs Augmented Reality Toolkit (DART). DART is built on top of Macromedia Director, a widely used multimedia development environment. We summ...
120
click to vote
OOPSLA
2005
Springer
16 years 2 days ago
2005
Springer
Feature-based model templates have been proposed as a technique for modeling software product lines. We describe a set of tools supporting the technique, namely a feature model ed...
165
click to vote
ECLIPSE
2004
ACM
16 years 1 days ago
2004
ACM
Feature modeling is a key technique used in product-line development to model commonalities and variabilities of productline members. In this paper, we present FeaturePlugin, a fe...
132
click to vote
DLOG
1997
15 years 8 months ago
1997
This paper proposes a novel interactive tool designed to support the graphical inspection of large semantic models. The idea is to view the iterative inspection process as a serie...