411 search results - page 17 / 83 » Algebraic Imperative Specifications |
EURODAC
1994
IEEE
15 years 3 months ago
1994
IEEE
The VOVHDL language was defined as a verification oriented VHDL
IFM
2000
Springer
15 years 3 months ago
2000
Springer
This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes ...
DS
2001
15 years 1 months ago
2001
We show how quantified constraints expressed in a sub-language of first-order logic, againstashareddatamodelthatisfreetoevolve, provideanexcellentwayof transporting domain-specific...
TAP
2010
Springer
14 years 9 months ago
2010
Springer
We present QuickSpec, a tool that automatically generates algebraic specifications for sets of pure functions. The tool is based on testing, rather than static analysis or theorem ...
108
click to vote
CP
2000
Springer
15 years 4 months ago
2000
Springer
We address the issue of detecting automatically occurrences of high level patterns in audiovisual documents. These patterns correspond to recurring sequences of shots, which are co...