Lehrstuhl fuer Softwaretechnik und Programmiersprachen Institut fuer Informatik, Universitaet Augsburg 86135 Augsburg, Germany;
Lehrstuhl fuer Softwaretechnik und Programmiersprachen Institut fuer Informatik, Universitaet Augsburg 86135 Augsburg, Germany;
Lehrstuhl fuer Softwaretechnik und Programmiersprachen Institut fuer Informatik, Universitaet Augsburg 86135 Augsburg, Germany;
algebraic specifications; abstract data types; finite models; first-order logic; theorem proving; SAT checking;
机译:用于抽象数据类型的输入输出的代数规范
机译:根据Maude代数规范测试数据类型实现的工具
机译:从形式代数规范验证抽象数据类型实现的创新教学工具
机译:自动化非自由生成数据类型的代数规范
机译:自动黑盒GUI规范增强和测试数据生成
机译:PS1-7:自动的元数据驱动的提取转换和加载(ETL)过程:使用代码和数据生成代码
机译:自动生成非自由生成的数据类型的代数规范
机译:参数化数据类型的代数规范:最小可计算代数和具有等式的参数的情形