您的位置： 专家智库 > >

司静文

作品数：7 被引量：0H指数：0
供职机构：东南大学更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 6篇专利
  • 1篇学位论文

领域

  • 1篇自动化与计算...

主题

  • 4篇顺序图
  • 4篇架构
  • 2篇语言
  • 2篇预测技术
  • 2篇元语言
  • 2篇知识库
  • 2篇软件架构
  • 2篇设计阶段
  • 2篇时间资源
  • 2篇时序逻辑
  • 2篇架构师
  • 1篇用例图
  • 1篇语义
  • 1篇软件设计
  • 1篇软件体系结构
  • 1篇体系结构
  • 1篇自动机
  • 1篇内存
  • 1篇解释器
  • 1篇可靠性

机构

  • 7篇东南大学

作者

  • 7篇司静文
  • 6篇李必信
  • 4篇孔祥龙
  • 2篇兰阳阳
  • 2篇陶传奇
  • 2篇王璐璐
  • 2篇陈艺
  • 2篇俞析蒙

年份

  • 3篇2016
  • 1篇2015
  • 2篇2014
  • 1篇2013
共 7 条 记 录，以下是 1-7
全选 清除 导出
排序方式：
一种基于原型仿真的架构评价方法
本发明公布了一种基于原型仿真的架构评价方法，借助架构的UML系统顺序图、顺序图，对架构进行模拟执行，追踪架构的时间、内存和CPU这些性能消耗，从而对架构进行定量分析。首先通过EA工具构建架构顺序图和系统顺序图，其次对架构...
李必信陈艺司静文孔祥龙苗意盎
文献传递
一种基于SoaML的云应用正确性验证方法
本发明公开了一种基于SoaML的云应用正确性验证方法，主要用于处理云应用的建模与验证问题，本发明采用SoaML对云应用进行建模，并将所建SoaML模型转换为简单进程元语言解释器SPIN支持的建模语言PROMELA和线性时...
李必信耿国清王璐璐陶传奇兰阳阳司静文
文献传递
一种基于SoaML的云应用正确性验证方法
本发明公开了一种基于SoaML的云应用正确性验证方法，主要用于处理云应用的建模与验证问题，本发明采用SoaML对云应用进行建模，并将所建SoaML模型转换为简单进程元语言解释器SPIN支持的建模语言PROMELA和线性时...
李必信耿国清王璐璐陶传奇兰阳阳司静文
文献传递
软件体系结构的度量和评估
软件需要持续演化来满足用户需求的扩张、系统错误的修复以及对新环境和配置的适应等情况。然而随着软件演化，不仅会导致复杂度大幅度提高，降低了软件本身的质量;还可能背离最初的软件设计，削弱软件的可理解性，令日后的修改工作更加困...
司静文
关键词：软件体系结构可靠性分析
文献传递
一种基于度量和预测技术的软件架构评估方法
本发明提出了一种基于度量和预测技术的软件架构评估方法，其基本思想是将传统的度量和预测技术应用在软件架构层次，在开发早期对软件的风险概率进行预测，并帮助相关人员在设计阶段识别出关键模块。由于软件架构的度量是对软件中间产品的...
李必信司静文俞析蒙孔祥龙姜雨晴
文献传递
一种基于原型仿真的架构评价方法
本发明公布了一种基于原型仿真的架构评价方法，借助架构的UML系统顺序图、顺序图，对架构进行模拟执行，追踪架构的时间、内存和CPU这些性能消耗，从而对架构进行定量分析。首先通过EA工具构建架构顺序图和系统顺序图，其次对架构...
李必信陈艺司静文孔祥龙苗意盎
文献传递
一种基于度量和预测技术的软件架构评估方法
本发明提出了一种基于度量和预测技术的软件架构评估方法，其基本思想是将传统的度量和预测技术应用在软件架构层次，在开发早期对软件的风险概率进行预测，并帮助相关人员在设计阶段识别出关键模块。由于软件架构的度量是对软件中间产品的...
李必信司静文俞析蒙孔祥龙姜雨晴
文献传递
全选 清除 导出
共1页<1>
聚类工具0