6941 search results - page 526 / 1389 » Testing as a Certification Approach |
179
click to vote
ICSE
2010
IEEE-ACM
15 years 11 months ago
2010
IEEE-ACM
Software behavioral models have proven useful for design, validation, verification, and maintenance. However, existing approaches for deriving such models sometimes overgeneraliz...
162
click to vote
DEXAW
2000
IEEE
15 years 11 months ago
2000
IEEE
Situational aspects are very helpful to decide relevance but they have often been left aside by Information Retrieval models. The standard logical approach to Information Retrieva...
174
click to vote
HICSS
2000
IEEE
15 years 11 months ago
2000
IEEE
The widespread presence of errors in spreadsheets is now well-established. Quite a few methodological and software approaches have been suggested as ways to reduce spreadsheet err...
186
click to vote
ATS
1997
IEEE
15 years 11 months ago
1997
IEEE
Testing circuits which do not include a global reset signal requires either complex ATPG algorithms based on 9- or even 256-valued algebras, or some suitable method to generate in...
191
click to vote
IPPS
1997
IEEE
15 years 11 months ago
1997
IEEE
Program understanding is central to the development of distributed computations, from the initial coding phase, through testing and debugging, to maintenance and support. Our goal...