2419 search results - page 378 / 484 » A Formal Approach to Software Testing |
144
click to vote
FSTTCS
1999
Springer
15 years 7 months ago
1999
Springer
We present a (the rst?) sound and relatively complete Hoare logic for a simple imperative programming language including mutually recursive procedures with call-by-value parameters...
150
Voted
UIST
1993
ACM
15 years 6 months ago
1993
ACM
Model-based user interface design is centered around a description of application objects and operations at a level of ion higher than that of code. A good model can be used to su...
135
Voted
CODES
2007
IEEE
15 years 6 months ago
2007
IEEE
The synchronous computational model with its simple computation and communication mechanism makes it easy to describe, simulate and formally verify synchronous embedded systems at...
126
Voted
HRI
2007
ACM
15 years 6 months ago
2007
ACM
The goal of the RUBI project is to accelerate progress in the development of social robots by addressing the problem at multiple levels, including the development of new scientifi...
136
Voted
CSMR
2004
IEEE
15 years 6 months ago
2004
IEEE
Automatic analysis of programs with preprocessing directives and conditional compilation is challenging. The difficulties range from parsing to program understanding. Symbolic eva...