7580 search results - page 469 / 1516 » Prometheus design tool |
163
click to vote
GPCE
2003
Springer
16 years 3 days ago
2003
Springer
Abstract. Design patterns have been a useful tool for a better understanding of the collaboration between several classes and objects in a program. One drawback of this approach is...
157
click to vote
ITC
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper develops a novel approach for formally verifying both safety and liveness properties of designs using sequential ATPG tools. The properties are automatically mapped int...
187
click to vote
TOOLS
1999
IEEE
15 years 11 months ago
1999
IEEE
Changes in the real world may require both the database population and the database schema to evolve. Particularly, this is the case in CAD/CAM and CASE database systems, in which...
190
click to vote
HUC
1999
Springer
15 years 11 months ago
1999
Springer
Interaction problems occur when small-screen devices (PDAs, Palmtops etc) are used to access Web pages designed for conventional, largescreen displays. To overcome some of these pr...
179
click to vote
TOOLS
1997
IEEE
15 years 11 months ago
1997
IEEE
: This paper presents pattern histories for deriving two different callback libraries. The pattern histories document the important design decisions behind each library. The two re...