首页> 外文学位 >NRS approach to semantics of specification and testing of distributed systems

【24h】

NRS approach to semantics of specification and testing of distributed systems

机译：NRS方法用于规范和测试分布式系统的语义

获取原文

获取原文并翻译 | 示例

页面导航

著录项
相似文献
相关主题

著录项

作者
Wei, Linsheng;
展开▼
作者单位

University of Ottawa (Canada);

展开▼
授予单位 University of Ottawa (Canada);
学科
学位 Ph.D.
年度 1995
页码 192 p.
总页数 192
原文格式 PDF
正文语种 eng
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. Distributed Reconfigurable B approach for the specification and verification of B-based distributed reconfigurable control systems: [J] . Raja Oueslati, Olfa Mosbahi Advances in Mechanical Engineering . 2017,第11期

机译：分布式可重新配置B方法，用于基于B的分布式可重新配置控制系统的规范和验证：
2. Aspect-oriented adaptation specification in web information systems: a semantics-based approach [J] . SVEN CASTELEYN, WILLIAM VAN WOENSEL, KEES VAN DER SLUIJS, New Review of Hypermedia & Multimedia . 2009,第1期

机译：Web信息系统中面向方面的适应规范：一种基于语义的方法
3. WESSBAS: extraction of probabilistic workload specifications for load testing and performance prediction-a model-driven approach for session-based application systems [J] . Voegele Christian, van Hoorn Andre, Schulz Eike, Software and systems modeling . 2018,第2期

机译：WESSBAS：提取概率工作负载规范以进行负载测试和性能预测-基于模型的基于会话的应用系统的方法
4. Practical Approach to Specification and Conformance Testing of Distributed Network Applications [C] . Victor V. Kuliamin, Nickolay V. Pakoulin, Alexander K. Petrenko International Service Availability Symposium(ISAS 2005); 20050425-26; Berlin(DE) . 2005

机译：分布式网络应用程序规范和一致性测试的实用方法
5. A method for the specification, composition, and testing of distributed object systems. [D] . Sivilotti, Paolo A. G. 1998

机译：一种规范，组成和测试分布式对象系统的方法。
6. WESSBAS: extraction of probabilistic workload specifications for load testing and performance prediction—a model-driven approach for session-based application systems [O] . Christian Vögele, André van Hoorn, Eike Schulz, -1

机译：WESSBAS：提取概率性工作负载规范以进行负载测试和性能预测-基于模型的基于会话的应用系统的方法
7. Specification-based verification and testing of open distributed systems [O] . Torjusen, Arild B. 2011

机译：基于规范的开放式分布式系统验证和测试
8. Concepts, Syntax and Semantics of SEGRAS. A Specification Language for Distributed Systems [R] . Kraemer, B. 1989

机译：sEGRas的概念，语法和语义。分布式系统的规范语言

NRS approach to semantics of specification and testing of distributed systems

著录项

相似文献

相关主题

期刊订阅