Requirements engineering. 1999;4(4):198-209. doi: 10.1007/s007660050020 Q23.32025

Animating Formal Specifications with Inheritance in a DL-Based Framework

在基于描述逻辑的框架中利用继承对形式规范进行动画处理

DOI: 10.1007/s007660050020

摘要 查看摘要

Copyright © . 中文内容为AI机器翻译，仅供参考！