首页> 外文OA文献 >Comparison of the Formal Specification Languages Based Upon Various Parameters

【2h】

Comparison of the Formal Specification Languages Based Upon Various Parameters

机译：基于各种参数的正式规范语言的比较

代理获取

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

页面导航

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

著录项

作者
Dr. A.K.Sharma Dr. A.K.Sharma;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. A mobile system of word-for-word translation based on formal specifications for rendering of scientific texts in inflectional languages [J] . N.M.Mishchenko Cybernetics and Systems Analysis . 1999,第1期

机译：一种基于正式规范的词对词翻译移动系统，用于用屈折语言呈现科学文本
2. Prototyping realistic programming languages based on formal specifications [J] . Arnd Poetzsch-Heffter Acta Informatica . 1997,第10期

机译：根据正式规范对现实的编程语言进行原型设计
3. Introducing H, an Institution-Based Formal Specification and Verification Language [J] . Logica universalis . 2020,第2期

机译：介绍H，基于机构的正式规范和验证语言
4. A conceptual framework for state-based and event-based formal behavioural specification languages [C] . Bolognesi, T. 1994 IEEE international symposium on circuits and systems . 2004

机译：基于状态和基于事件的形式行为规范语言的概念框架
5. A formal methodology for deriving purely functional programs from Z specifications via the intermediate specification language FunZ. [D] . Sherrell, Linda Bostwick. 1995

机译：通过中间规范语言FunZ从Z规范派生纯功能程序的形式化方法。
6. Difficulties in analysing animal song under formal language theory framework: comparison with metric-based model evaluation [O] . T. Morita, H. Koda 2020

机译：在正式语言理论框架下分析动物歌曲的困难：与基于度量的模型评估的比较
7. Introducing H, an Institution-Based Formal Specification and Verification Language [O] . Răzvan Diaconescu 2020

机译：介绍H，基于机构的正式规范和验证语言
8. Graph-Based Visualization of Formal Specification and Domain Specific Languages. [R] . Langloss, R. K. 1991

机译：基于图形的形式规范和领域特定语言的可视化。

Comparison of the Formal Specification Languages Based Upon Various Parameters

著录项

引文网络

相似文献

相关主题

期刊订阅