首页> 外文OA文献 >Using grammarware languages to define operational semantics of modelled languages

【2h】

Using grammarware languages to define operational semantics of modelled languages

机译：使用语法软件语言来定义建模语言的操作语义

页面导航

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

著录项

作者
Daniel A. Sadilek; Guido Wachsmuth;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. An Introduction to metric semantics: operational and denotational models for programming and specification languages [J] . van Breugel F. Theoretical computer science . 2001,第1a2期

机译：度量语义简介：用于编程和规范语言的操作模型和指称模型
2. Using the semantic web to define a language for modelling controlled flexibility in software processes [J] . Martinho R.Varajao J.Domingos D. Software, IET . 2010,第6期

机译：使用语义网定义一种语言来建模软件过程中的受控灵活性
3. Categorical model of structural operational semantics for imperative language [J] . William Steingartner, Valerie Novitzká Journal of Information and Organizational Sciences . 2016,第2期

机译：祈使语言的结构操作语义分类模型
4. Modelling the Operational Semantics of Domain-Specific Modelling Languages [C] . Guido Wachsmuth International School on Generative and Transformational Techniques in Software Engineering . 2008

机译：建模域特定建模语言的操作语义
5. Defining domain-specific object-oriented modeling languages as UML profiles. [D] . Grant, Emanuel Sylvester. 2002

机译：将特定于领域的面向对象的建模语言定义为UML概要文件。
6. Semantic framework for mapping object-oriented model to semantic web languages [O] . Petr Ježek, Roman Mouček 2015

机译：用于将面向对象的模型映射到语义Web语言的语义框架
7. An introduction to metric semantics: operational and denotational models for programming and specification languages [O] . van Breugel Franck 2001

机译：度量语义简介：用于编程和规范语言的操作模型和指称模型
8. A Formal System for Defining the Syntax and Semantics of Computer Languages [R] . Ledgard, H. F. 1969

机译：一种定义计算机语言语法和语义的形式系统

Using grammarware languages to define operational semantics of modelled languages

著录项

引文网络

相似文献

相关主题

期刊订阅