6800 search results - page 50 / 1360 » Testing with Functions as Specifications |
TOCL
2002
13 years 7 months ago
2002
Computability and Algebraic Specification J. V. TUCKER University of Wales, Swansea and J. I. ZUCKER McMaster University Abstract computable functions are defined by abstract finit...
ICDE
2008
IEEE
14 years 9 months ago
2008
IEEE
Functional testing of a query language is a challenging task in practice. In order to reveal errors in the query processing functionality, it is necessary to verify the actual res...
KR
2004
Springer
14 years 1 months ago
2004
Springer
This article provides an experimental analysis of the possibilistic handling of default rules. Three different nonmonotonic consequence relations are considered: minimum specifici...
SIGSOFT
2008
ACM
13 years 7 months ago
2008
ACM
This paper describes the design of the unit testing framework JUnit v3.8. The documentation technique employed is an enhanced version of collaboration-based design, also known as ...
IPPS
2006
IEEE
14 years 1 months ago
2006
IEEE
Control algorithms implemented directly in hardware take advantage of parallel signal processing. Furthermore, implementing controller functionality in reconfigurable hardware fac...