High Level System Design and Analysis Using Abstract State Machines-Reference-Cited by-同舟云学术

High Level System Design and Analysis Using Abstract State Machines

Published:1999 Issue: Volume: Page:1-43
ISSN:0302-9743
Container-title:Applied Formal Methods — FM-Trends 98
language:
Short-container-title:

Author:

Börger Egon

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-48257-1_1

Reference137 articles.

1. CRL Report;R. Abraham,1997

2. http://www.eecs.umich.edu/gasm/ , http://www.uni-paderborn.de/cs/asm.html

3. Abrial, J.-R.: The B-Book. Assigning Programs to Meanings. Cambridge University Press (1996)

4. Anlauff, M., Kutter, P., Pierantonio, A.: Formal Aspects of and Development Environments for Montages. In: Sellink, M. (ed): 2nd International Workshop on the Theory and Practice of Algebraic Specifications. Springer Workshops in Computing (1997)

5. Araujo, L.: Correctness Proof of a Distributed Implementation of Prolog by Means of ASMs. J. of Universal Computer Science. Special ASM Issue 3(5) (1997)

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

1. A New Approach to Generate Hospital Data Warehouse Schema;Hospital Management and Emergency Medicine;2020

2. Intercepting Blackhole Attacks in MANETs: An ASM-based Model;Software Engineering and Formal Methods;2018

3. An ASM-based characterisation of starvation-free systems;International Journal of Parallel, Emergent and Distributed Systems;2017-02-14

4. Modularization of Refinement Steps for Agile Formal Methods;Formal Methods and Software Engineering;2017

5. An Abstract State Machine (ASM) Representation of Learning Process in FLOSS Communities;Software Engineering and Formal Methods;2015