Implementation and behavioural equivalence: A survey-Reference-Cited by-同舟云学术

Implementation and behavioural equivalence: A survey

Published:1993 Issue: Volume: Page:93-125
ISSN:0302-9743
Container-title:Recent Trends in Data Type Specification
language:
Short-container-title:

Author:

Orejas Fernando,Navarro Marisa,Sánchez Ana

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-56379-2_36.pdf

Reference58 articles.

1. E. Astesiano, M. Cerioli: Commuting between institutions via simulation. Res. Report 2, University of Genoa (1990).

2. G. Bernot: Correctness Proofs for Abstract Implementations. Information and Computation 80,121–151 (1989).

3. G. Bernot, M. Bidoit: Proving the correctness of Algebraically Specified Software: Modularity and Observability Issues. Report LEENS-91-8, Dept. de Mathematiques et Informatique, Ecole Normale Superieur, Paris (1991).

4. G. Bernot, M. Bidoit, C. Choppy: Abstract implementations and correctness proofs. Proc. 3rd. Symp. on Theoretical Aspects of Computer Science. Springer LNCS 210, 236–251 (1986).

5. D. Bjørner, C. Jones: Formal Specification and Software Development, Prentice Hall Int. (1982).

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

1. Exhaustive test sets for algebraic specifications;Software Testing, Verification and Reliability;2016-01-27

2. Integration Testing from Structured First-Order Specifications via Deduction Modulo;Theoretical Aspects of Computing - ICTAC 2009;2009

3. Proving Behavioral Refinements of COL-specifications;Algebra, Meaning, and Computation;2006

4. Externalized and Internalized Notions of Behavioral Refinement;Theoretical Aspects of Computing – ICTAC 2005;2005

5. A completeness result for equational deduction in coalgebraic specification;Recent Trends in Algebraic Development Techniques;1998