GMD German National Research Center for Information Technology Rheinstr. 75 64295 Darmstadt, Germany;
ifak Institute of Automation and Communication Magdeburg Steinfeldstr. 39179 Barleben, Germany;
机译:莲花规格自动转换为雌激素规格的正式方法
机译:定义明确的Estelle规范,可自动生成测试
机译:基于形式化语言动态语义的形式规格,自动生成严格符合的测试
机译:根据Estelle中的正式规范生成测试用例
机译:根据实时反应系统的正式规范自动生成测试。
机译:正式交换MIM图的正式MIM规范和工具:基于XML的格式API和验证方法
机译:基于Estelle形式规范的测试用例生成
机译:形式描述技术的成功案例:mIL-sTD 188-220的Estelle规范和测试生成