2419 search results - page 378 / 484 » A Formal Approach to Software Testing |
FSTTCS
1999
Springer
14 years 16 days 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...
UIST
1993
ACM
14 years 10 days 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...
CODES
2007
IEEE
14 years 6 days 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...
HRI
2007
ACM
14 years 4 days 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...
CSMR
2004
IEEE
14 years 4 hour 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...