Evolution Transformation in Automatic Generation of Formal Component Specification

• 形式化构件规约自动生成中的演化转换