首页> 外文学位 >Specification and mechanical verification of performance profiles of software components

【24h】

Specification and mechanical verification of performance profiles of software components

机译：对软件组件的性能配置文件进行规范和机械验证

获取原文

获取原文并翻译 | 示例

页面导航

著录项
相似文献
相关主题

著录项

作者
Yasmin, Nighat;
展开▼
作者单位

The University of Mississippi;

展开▼
授予单位 The University of Mississippi;
学科
学位 Ph.D.
年度 2015
页码 303 p.
总页数 303
原文格式 PDF
正文语种 eng
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. Verifying the reusability of software component specifications: Framework and algorithms [J] . Hwang YF., Rine DC. Information Sciences: An International Journal . 1998,第1a4期

机译：验证软件组件规范的可重用性：框架和算法
2. Rethinking Software Component Security: Software Component Level Integrity and Cross Verification [J] . Byungho Min, Vijay Varadharajan The Computer journal . 2016,第11期

机译：重新考虑软件组件的安全性：软件组件级别的完整性和交叉验证
3. An efficient method for developing requirement specifications for plant control software using a component-based software prototype [J] . Takahashi M, Hanzawa K, Kawasaki T Information Sciences: An International Journal . 2007,第14期

机译：使用基于组件的软件原型开发工厂控制软件需求规格的有效方法
4. Predicting the Performanceof Component-Based Software Architectures with Different Usage Profiles [C] . Heiko Koziolek, Steffen Becker, Jens Happe International Conference on Quality of Software Architectures . 2008

机译：预测不同使用配置文件的基于组件的软件架构的性能
5. Engineering Specifications and Mathematics for Verified Software. [D] . Smith, Hampton. 2013

机译：验证软件的工程规范和数学。
6. Application of mixsep software package: Performance verification of male-mixed DNA analysis [O] . NA HU, BIN CONG, TAO GAO, -1

机译：mixsep软件包的应用：男性混合DNA分析的性能验证
7. BeSpaceD: Towards a Tool Framework and Methodology for the Specification and Verification of Spatial Behavior of Distributed Software Component Systems [O] . Blech, Jan Olaf, Schmidt, Heinz 2014

机译：BespaceD：迈向规范的工具框架和方法分布式软件构件的空间行为分析与验证系统
8. Applying UML-based Formal Specification, Validation, and Verification to Space Flight Software and Defense Software [R] . Alves, M. C., Beylin, K., Drusinsky, D., 2011

机译：将基于UmL的形式化规范，验证和验证应用于太空飞行软件和防御软件

Specification and mechanical verification of performance profiles of software components

著录项

相似文献

相关主题

期刊订阅