1823 search results - page 17 / 365 » Formal specification: a roadmap |
TAP
2010
Springer
13 years 5 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 ...
EUROCAST
2007
Springer
13 years 11 months ago
2007
Springer
abstract Parsing schemata [4] provide a formal, simple and uniform way to describe, analyze and compare different parsing algorithms. The notion of a parsing schema comes from cons...
ADAEUROPE
2009
Springer
14 years 2 months ago
2009
Springer
CBSE
2009
Springer
14 years 2 months ago
2009
Springer
ADBIS
2007
Springer
14 years 1 months ago
2007
Springer