Component-based algebraic specification and verification in cafeOBJ-Reference-Cited by-同舟云学术

Component-based algebraic specification and verification in cafeOBJ

Published:1999 Issue: Volume: Page:1644-1663
ISSN:0302-9743
Container-title:FM’99 — Formal Methods
language:
Short-container-title:

Author:

Diaconescu R.ăzvan,Futatsugi Kokichi,Iida Shusaku

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-48118-4_37

Reference21 articles.

1. Lect Notes Comput Sci;R. Burstall,1980

2. Manuel Clavel, Steve Eker, Patrick Lincoln, and Jose Meseguer. Principles of Maude. Electronic Notes in Theoretical Computer Science, 4, 1996. Proceedings, First International Workshop on Rewriting Logic and its Applications. Asilomar, California, September 1996.

3. Răzvan Diaconescu. Category-based semantics for equational and constraint logic programming, 1994. DPhil thesis, University of Oxford.

4. Răzvan Diaconescu. Behavioural coherence in object-oriented algebraic specification. Technical Report IS-RR-98-0017F, Japan Advanced Institute for Science and Technology, June 1998. Submitted to publication.

5. Răzvan Diaconescu. Extra theory morphisms for institutions: logical semantics for multiparadigm languages. J. of Applied Categorical Structures, 6(4):427–453, 1998.

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

1. Parameterized Programming for Compositional System Specification;Rewriting Logic and Its Applications;2018

2. Towards formal open standards: formalizing a standard’s requirements;Innovations in Systems and Software Engineering;2016-07-01

3. ReFlO: an interactive tool for pipe-and-filter domain specification and program generation;Software & Systems Modeling;2014-03-16

4. Synthesis of Infinite-State Abstractions and Their Use for Software Validation;Specification, Algebra, and Software;2014

5. Fostering Proof Scores in CafeOBJ;Formal Methods and Software Engineering;2010