首页> 外文OA文献 >Modellability of System Characteristics - Using Formal Mark-up Languages for Change Capability by Design

【2h】

Modellability of System Characteristics - Using Formal Mark-up Languages for Change Capability by Design

机译：系统特征的可建模性-通过设计使用正式的标记语言来实现更改功能

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Gronau Norbert; Vogel-Heuser Birgit; Weber Edzard; Ullrich André; Schütz Daniel;
展开▼
作者单位

展开▼
年度 2016
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Modellability of System Characteristics - Using Formal Mark-up Languages for Change Capability by Design [J] . Norbert Gronau, Birgit Vogel-Heuser, Edzard Weber, Procedia CIRP . 2016,第2aPartaB期

机译：系统特征的可建模性-使用形式化标记语言通过设计来实现变更能力
2. A Systematic Identification of Formal and Semi-Formal Languages and Techniques for Software-Intensive Systems-of-Systems Requirements Modeling [J] . Cristiane Aparecida Lana, Milena Guessi, Pablo Oliveira Antonino, IEEE systems journal . 2019,第3期

机译：软件密集型系统需求建模的形式化和半形式化语言和技术的系统识别
3. System level design of telecom systems using formal model refinement: Applying the B method/language in practice [J] . Antonis K, Voros NS Journal of systems architecture . 2008,第1a2期

机译：使用形式化模型改进的电信系统的系统级设计：在实践中应用B方法/语言
4. Modellability of System Characteristics - Using Formal Mark-up Languages for Change Capability by Design [C] . Norbert Gronau, Birgit Vogel-Heuser, Edzard Weber, International Conference on Changeable, Agile, Reconfigurable and Virtual Production . 2016

机译：系统特征的可透明性 - 使用设计的正式标记语言进行设计
5. Formal Semantic Specification of Domain-Specific Modeling Languages for Cyber-Physical Systems. [D] . Simko, Gabor. 2014

机译：电子物理系统领域特定建模语言的形式语义规范。
6. Neural Systems Language: A Formal Modeling Language for the Systematic Description Unambiguous Communication and Automated Digital Curation of Neural Connectivity [O] . Ramsay A. Brown, Larry W. Swanson -1

机译：神经系统语言：用于系统描述明确通信和神经连接自动数字化的形式化建模语言
7. MATHEMATICAL MODELS TOWARDS SELF-ORGANIZING FORMAL FEDERATION LANGUAGES BASED ON CONCEPTUAL MODELS OF INFORMATION EXCHANGE CAPABILITIES [O] . S. J. Mason, R. R. Hill, L. Mönch, 2014

机译：基于信息交换能力概念模型的自组织形式联合语言的数学模型
8. Towards a Language and Notation for the Specification of Reliable Real-TimeSystems, Part 4 Revised. Requirements and Design Specification Language. Formal Definition [R] . Wieczorek, M. J., Vytopil, J. 1990

机译：关于可靠实时系统规范的语言和符号，第4部分修订。要求和设计规范语言。正式定义

Modellability of System Characteristics - Using Formal Mark-up Languages for Change Capability by Design

著录项

引文网络

相似文献

相关主题

期刊订阅