Implementation and Examples
Implementation and Examples
复制标题
实施和示例
DOI：
10.1007/978-1-4684-6834-2_6
复制
发表时间：
1993
影响因子：
3.7
通讯作者：
H. Hussmann
中科院分区：
文献类型：
--
作者：
H. Hussmann
对于规范语言的实际使用来说，算法的支持是必不可少的。例如，软件工具可用于根据非正式需求测试给定的规范，为实现生成测试数据，或者为规范上的命题生成（半）自动正式证明。下面显示了现有的术语重写工具可用于具有不确定性规范的实验。
For the practical use of a specification language, algorithmic support is essential. Software tools can be used for instance to test a given specification against informal requirements, to generate test data for an implementation, or to generate (semi-)automatically formal proofs for propositions over a specification. Below it is shown that existing tools for term rewriting can be used for experiments with nondeterministic specifications.