The Cash-Point (ATM) ‘Problem’-Reference-Cited by-同舟云学术

The Cash-Point (ATM) ‘Problem’

Published:2000-12 Issue:4 Volume:12 Page:211-215
ISSN:0934-5043
Container-title:Formal Aspects of Computing
language:en
Short-container-title:Form. Asp. Comput.

Author:

Denvir Tim¹,Oliveira José²,Plat Nico³

Affiliation:

1. Translimina Ltd., London, UK, , , , , , GB

2. Universidade do Minho, Braga, Portugal, , , , , , PT

3. West Consulting, Delft, The Netherlands, , , , , , NL

Abstract

Abstract. This paper provides a description and summary of the solutions submitted to a competition in formal specification, which was held during FM'99 in Toulouse, September 1999.

Publisher

Association for Computing Machinery (ACM)

Subject

Theoretical Computer Science,Software

Link

http://link.springer.com/content/pdf/10.1007/s001650070012.pdf

Reference4 articles.

1. The First World Congress on Formal Methods in the Development of Computing Systems

2. [FME] http://www.fmeurope.org

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Semantic Knowledge Engineering Approach;Intelligent Systems Reference Library;2017-10-05

2. Towards Rule Interoperability: Design of Drools Rule Bases Using the XTT2 Method;Transactions on Computational Collective Intelligence XI;2013

3. Proposal of an Inference Engine Architecture for Business Rules and Processes;Artificial Intelligence and Soft Computing;2013

4. UML REPRESENTATION FOR RULE-BASED APPLICATION MODELS WITH XTT2-BASED BUSINESS RULES;International Journal of Software Engineering and Knowledge Engineering;2012-06

5. FORMALIZATION AND MODELING OF RULES USING THE XTT2 METHOD;International Journal on Artificial Intelligence Tools;2011-12