scientific article; zbMATH DE number 1942449

zbMATH Open1019.68523MaRDI QIDQ4409149FDOQ4409149

Authors: Kokichi Futatsugi 

Publication date: 30 June 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2441/24410001.htm

Title of this publication is not available (Why is that?)

Recommendations

• CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification
• Specification of software systems.
• scientific article; zbMATH DE number 2172803
• Logical foundations of CafeOBJ
• Formal methods for software engineering. Languages, methods, application domains. With a foreword by Manfred Broy and a contribution on the origins and development of formal methods by John V. Tucker

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cited In (11)

• Twenty years of rewriting logic
• CafeOBJ Traces
• Principles of proof scores in CafeOBJ
• Logical foundations of CafeOBJ
• Towards a combination of CafeOBJ and PAT
• Title not available (Why is that?)
• Using CafeOBJ to mechanise refactoring proofs and application
• On Automation of OTS/CafeOBJ Method
• Title not available (Why is that?)
• Title not available (Why is that?)
• CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4409149)