1487 search results - page 188 / 298 » On Validating Engineering Design Decision Support Tools |
161
click to vote
ICCAD
1996
IEEE
15 years 9 months ago
1996
IEEE
Functional simulation is the most widely used method for design verification. At various levels of abstraction, e.g., behavioral, register-transfer level and gate level, the design...
153
click to vote
ICSE
1997
IEEE-ACM
15 years 9 months ago
1997
IEEE-ACM
Formal specification methods are not often applied in industrial projects, despite their advantages and the maturity of theories and tools. The scarce familiarity of practitioners...
166
click to vote
ICST
2010
IEEE
15 years 4 months ago
2010
IEEE
—Model-based testing is a well known technique that allows one to validate the correctness of software with respect to its model. If a lot of data is involved, symbolic technique...
146
click to vote
XPU
2005
Springer
15 years 11 months ago
2005
Springer
Source repositories are a promising database of information about software projects. This paper proposes a tool to extract and summarize information from CVS logs in order to ident...
148
click to vote
IFIP
2010
Springer
15 years 4 months ago
2010
Springer
The application of the collaborative networks paradigm, and a new generation of collaboration-support platforms and tools, is a promising approach to supporting active ageing, and ...