1057 search results - page 83 / 212 » Testing from Formal Specifications, a Generic Approach |
131
Voted
CADUI
2004
15 years 4 months ago
2004
Abstract Questionnaires are nowadays widely used usability evaluation instruments, and several generic usability questionnaires are available. But these generic artifacts are not a...
100
Voted
TREC
2004
15 years 4 months ago
2004
The text-mining system we are building deals with the specific problem of identifying the instances of relevant concepts present in the texts. Therefore, our system relies on inte...
139
Voted
POPL
2010
ACM
16 years 25 days ago
2010
ACM
This paper describes a novel technique for the synthesis of imperative programs. Automated program synthesis has the potential to make programming and the design of systems easier...
119
click to vote
HPCA
2003
IEEE
16 years 3 months ago
2003
IEEE
Due to cost, time, and flexibility constraints, simulators are often used to explore the design space when developing a new processor architecture, as well as when evaluating the ...
149
click to vote
SPIN
2000
Springer
15 years 7 months ago
2000
Springer
The Temporal Rover is a specification based verification tool for applications written in C, C++, Java, Verilog and VHDL. The tool combines formal specification, using Linear-Time ...