首页> 外文OA文献 >How to make algebraic specifications more understandable: An experiment with the pluss specification language

【2h】

How to make algebraic specifications more understandable: An experiment with the pluss specification language

机译：如何使代数规范更易于理解：使用pluss规范语言的实验

代理获取

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

页面导航

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

著录项

作者
Bidoit M; Gaudel M.-C; Mauboussin A;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Modeling compliance specifications in linear temporal logic, event processing language and property specification patterns: a controlled experiment on understandability [J] . Czepa Christoph, Amiri Amirali, Ntentos Evangelos, Software and systems modeling . 2019,第6期

机译：在线性时间逻辑，事件处理语言和属性规范模式中对合规性规范进行建模：关于可理解性的受控实验
2. On the Understandability of Language Constructs to Structure the State and Behavior in Abstract State Machine Specifications: A Controlled Experiment [J] . Philipp Paulweber, Georg Simhandl, Uwe Zdun The Journal of Systems and Software . 2021,第Auga期

机译：论抽象状态机规范中语言构建结构的可理解性：一种受控实验
3. From Equational Specifications of Algebras with Structure to Varieties of Data Languages (Invited Paper) [J] . Stefan Milius LIPIcs : Leibniz International Proceedings in Informatics . 2019,第1期

机译：从具有结构的代数的方程式规范到多种数据语言（特邀论文）
4. A method to combine any process algebra with an algebraic specification language: the π-calculus example [C] . Gwen Salaun, Michel Allemand, Christian Attiogbe International Computer Software and Applications Conference, Annual . 2002

机译：用代数规范语言组合任何过程代数的方法：π-阶段例
5. A Translation Method from Natural Language Specifications of Communication Protocols into Executable Algebraic Specifications [D] . 石原, 靖哲 1995

机译：从通信协议的自然语言规范到可执行的代数规范的转换方法
6. The Systems Biology Markup Language (SBML): Language Specification for Level 3 Version 2 Core Release 2 [O] . Michael Hucka, Frank T. Bergmann, Claudine Chaouiya, 2019

机译：系统生物学标记语言（SBML）：3级版本2核心发行版2的语言规范
7. An executable specification language for specification understanding in object-oriented specification reuse [O] . Shih-chien Chou, Jen-yen Chen, Chyan-goei Chug 2016

机译：一种可执行的规范语言，用于面向对象规范重用中的规范理解

How to make algebraic specifications more understandable: An experiment with the pluss specification language

著录项

引文网络

相似文献

相关主题

期刊订阅