411 search results - page 39 / 83 » Algebraic Imperative Specifications |
121
click to vote
FLOPS
2008
Springer
15 years 3 months ago
2008
Springer
Dependent types are useful for statically checking detailed specifications of programs and detecting pattern match or array bounds errors. We propose a novel approach to applicatio...
124
click to vote
SAM
2004
15 years 3 months ago
2004
Discovering faults in requirements specifications for distributed reactive systems is a challenging problem since many issues that need to be uncovered are a result of subtle compo...
108
click to vote
PE
2000
Springer
15 years 1 months ago
2000
Springer
Stochastic process algebras have been proposed as compositional specification formalisms for performance models. In this paper, we describe a tool which aims at realising all bene...
106
click to vote
DATE
2002
IEEE
15 years 7 months ago
2002
IEEE
In this paper we introduce an approach for parameter controlled symbolic analysis of nonlinear analog circuits. Based on a state-of–the-art algorithm, it enables the removal of ...
105
click to vote
ICFEM
2000
Springer
15 years 5 months ago
2000
Springer
A family of well known problems on graphs includingthe shortest path problem and the data flow analysis problem can be uniformly formulated as a fixed-point problem on graphs. We ...