1894 search results - page 236 / 379 » A TLA Proof System |
110
click to vote
APLAS
2008
ACM
15 years 6 months ago
2008
ACM
Abstract. We study the problem of generating a test sequence that achieves maximal coverage for a reactive system under test. We formulate the problem as a repeated game between th...
137
click to vote
SIGCSE
2008
ACM
15 years 4 months ago
2008
ACM
This paper describes a proof of concept for introducing iPods and iPodLinux into a one-semester introductory undergraduate operating systems course. iPodLinux is a version of the ...
177
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
The problem of business-IT alignment is of widespread economic concern. As one way of addressing the problem, this paper describes an online system that functions as a kind of Wik...
160
click to vote
ICTAC
2009
Springer
15 years 2 months ago
2009
Springer
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...
133
click to vote
LPAR
2004
Springer
15 years 9 months ago
2004
Springer
ion-Carrying Code Elvira Albert1 , Germ´an Puebla2 , and Manuel Hermenegildo2,3 1 DSIP, Universidad Complutense Madrid 2 Facultad de Inform´atica, Technical University of Madrid ...