1057 search results - page 128 / 212 » Testing from Formal Specifications, a Generic Approach |
ER
1995
Springer
13 years 11 months ago
1995
Springer
We describe a (meta) formalism for defining a variety of (object oriented) data models in a unified framework based on a variation of first-order logic. As specific example we use...
IWPSE
2003
IEEE
14 years 1 months ago
2003
IEEE
There is a growing demand to port existing PC-based software systems to mobile device platforms. Systems running on mobile devices share basic characteristics with their PC-based ...
LPAR
2000
Springer
13 years 11 months ago
2000
Springer
We present the rational construction of a generic domain for structural information analysis of real CLP languages called Pattern(D ), where the parameter D is an abstract domain s...
UAI
2008
13 years 9 months ago
2008
We present a generative model for representing and reasoning about the relationships among events in continuous time. We apply the model to the domain of networked and distributed...
NSDI
2004
13 years 9 months ago
2004
Network protocols must work. The effects of protocol specification or implementation errors range from reduced performance, to security breaches, to bringing down entire networks....