最弱环境演算相关硕士博士期刊学术论文 - 搜论网

最弱环境演算相关论文

从用户需求到软件规约：一种问题变换的方法

研究的目的是在获取用户需求和领域描述的基础上规约出对软件规格的描述.提供了一种实现从用户需求到软件规约的平滑和可推理的变......

期刊

问题框架通信顺序进程领域和需求建模最弱环境演算软件规约 problem frame communicating sequential process

看过本文同时还关注