搜索到 篇“ 形式规格说明 “的相关文章

相关作者

缪淮扣
作品数：154被引量：509H指数：12
供职机构：上海大学计算机工程与科学学院
研究主题：测试用例 WEB应用 Z规格说明 软件开发 OBJECT-Z
文志诚
作品数：60被引量：278H指数：10
供职机构：湖南工业大学计算机与通信学院
研究主题：网络安全态势 信息融合 软件工程 网络安全 OBJECT-Z
朱彬
作品数：23被引量：55H指数：5
供职机构：上海第二工业大学
研究主题：WEB应用 STRUTS MVC 设计模式 测试用例
李晓博
作品数：2被引量：8H指数：1
供职机构：上海大学计算机工程与科学学院
研究主题：形式规格说明 分布式环境 构件库 软件构件库 软件复用
许庆国
作品数：17被引量：26H指数：3
供职机构：上海大学计算机工程与科学学院
研究主题：PVS 抽象语法树 控制流图 OBJECT-Z 实时系统