模型精化演算相关硕士博士期刊学术论文

精确的形式化软件规格说明是软件描述、开发与验证的基础，而工业界普遍使用非（半）形式化的表示定义与描述用户需求，如何由非（半）形式化的......