2419 search results - page 343 / 484 » A Formal Approach to Software Testing |
130
Voted
APSEC
2004
IEEE
15 years 6 months ago
2004
IEEE
Semantic Web is regarded as the next generation of the World Wide Web. It provides not only the structure of the web but also meaningful semantics for the information presented. T...
128
Voted
FORTE
2001
15 years 4 months ago
2001
Use cases are useful in various stages of the software process. They are very often described using text that has to be interpreted by system designers. This could lead to implemen...
117
Voted
SIGSOFT
2010
ACM
15 years 14 days ago
2010
ACM
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...
111
Voted
DSN
2007
IEEE
15 years 9 months ago
2007
IEEE
Web-services are supported by a complex software infrastructure that must provide a robust service to the client applications. This practical experience report presents a practica...
117
Voted
HICSS
2000
IEEE
15 years 7 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...