首页> 美国政府科技报告 >Object-Oriented Algebraic Specification: Proposal for a Notation and 12 Examples

【24h】

Object-Oriented Algebraic Specification: Proposal for a Notation and 12 Examples

机译：面向对象的代数规范：表示法的提案和12个例子

获取原文

页面导航

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

摘要

A notation for expressing the dynamic behavior of configurations of objects is introduced. At each instant a configuration is just a multiset of objects which themselves are points (values) from an algebraically specified abstract data type. Examples of the expressive power of notation are given.

著录项

作者
Bergstra, J. A.; Heering, J.; Klop, J. W.;
展开▼
作者单位

展开▼
年度 1984
页码 p.1-28
总页数 28
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
Algebra; Coding; Specifications; Configurations; Dynamical systems; Software engineering;

机译：代数;编码;规范;配置;动态系统;软件工程;

相似文献

外文文献
中文文献
专利

1. ETOILE-specifications: An Object-oriented Algebraic Formalism with Refinement [J] . MARC AIGUIER Journal of logic and computation . 2004,第2期

机译：ETOILE规范：具有改进的面向对象的代数形式主义
2. Behavioural Coherence in Object-Oriented Algebraic Specification [J] . Razvan Diaconescu, Kokichi Futatsugi Journal of Universal Computer Science . 2000,第1期

机译：面向对象代数规范中的行为连贯
3. A proposal for a convenient notation for P-chiral nucleotide analogues. Part 4. A relationship between the Dp/Lp notation and stereochemistry of reactions. [J] . Sobkowski M, Stawinski J, Kraszewski A Nucleosides, nucleotides and nucleic acids . 2009,第1期

机译：对P-手性核苷酸类似物的方便注释的建议。第4部分。Dp/ Lp表示法与反应的立体化学之间的关系。
4. Computer language notation specification through program examples [C] . Sabo Miroslav, Poruban Jaroslav, Lakatos Dominik, 2011 Federated Conference on Computer Science and Information Systems . 2011

机译：通过程序示例的计算机语言符号规范
5. Stimulus response requirements specification notation: An empirically evaluated requirements specification notation. [D] . Cooper, Kendra M. L. 2001

机译：刺激响应需求规范符号：一种通过经验评估的需求规范符号。
6. Proposal for Lines of Research Into Consumer Behavior: Examples in the Tourism Industry [O] . Juan Jose Blazquez-Resino, Santiago Gutiérrez-Broncano, Mario Arias-Oliva 2020

机译：关于消费者行为研究的提案：旅游业的例子
7. Proposal for a Council Decision on the recognition of the British Standard BS7750: 1994, establishing specification for environmental management systems, in accordance with article 12 of the Council Regulation (EEC) N. 1836/93 of 29 June 1993, allowing voluntary participation by companies in the industrial sector in a community eco-management and audit scheme; Proposal for a Council Decision on the recognition of Irish Standard IS310: First Edition, establishing specification for environmental management systems, in accordance with Article 12 of the Council Regulation (EEC) N. 1836/93 of 29 June 1993, allowing voluntary participation by companies in the industrial sector in a community eco-management and audit scheme; Proposal for a Council Decision on the recognition of Spanish Standard UNE77-801(2)-94: , establishing specification for environmental management systems, in accordance with Article 12 of the Council Regulation (EEC) N. 1836/93 of 29 June 1993, allowing voluntary participation by companies in the industrial sector in a community eco-management and audit scheme (presented by the Commission). COM (95) 422 final, 27 September 1995 [O] . 1995

机译：根据1993年6月29日理事会条例（EEC）N. 1836/93第12条，允许公司自愿参与的理事会关于承认英国标准Bs7750：1994，建立环境管理体系规范的决定的提案在工业部门的社区生态管理和审计计划;根据1993年6月29日理事会条例（EEC）N. 1836/93第12条，允许公司自愿参与的理事会关于承认爱尔兰标准Is310：第一版，建立环境管理体系规范的决定的提案在工业部门的社区生态管理和审计计划;关于承认西班牙标准的决定的提案UNE77-801（2）-94：根据1993年6月29日理事会条例（EEC）N. 1836/93第12条，制定环境管理体系规范，允许工业部门的公司自愿参与社区生态管理和审计计划（由委员会提出）。 COm（95）422决赛，1995年9月27日
8. Algebraic Specification of Process Algebra, Including Two Examples [R] . Mauw, S. 1987

机译：过程代数的代数规范，包括两个例子

Object-Oriented Algebraic Specification: Proposal for a Notation and 12 Examples

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅