scientific article; zbMATH DE number 1942449

MaRDI QIDQ4409149zbMATH OpenFDO

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

Mathematics Subject Classification ID

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

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

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
• scientific article; zbMATH DE number 1962762 (Why is no real title available?)
• Using CafeOBJ to mechanise refactoring proofs and application
• On Automation of OTS/CafeOBJ Method
• scientific article; zbMATH DE number 1231658 (Why is no real title available?)
• scientific article; zbMATH DE number 2172803 (Why is no real title available?)
• 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)