Results 81 to 90 of about 491 (95)

CiMPG+F: A Proof Generator and Fixer-Upper for CafeOBJ Specifications

Lecture Notes in Computer Science, 2020
Adrian Riesco, Kazuhiro Ogata
exaly  

A Toolkit for Generating and Displaying Proof Scores in the OTS/CafeOBJ Method

Electronic Notes in Theoretical Computer Science, 2006
Kazuhiro Ogata
exaly  

An object-oriented modeling method for algebraic specifications in CafeOBJ

Proceedings of the 19th international conference on Software engineering - ICSE '97, 1997
Shin Nakajima 0001, Kokichi Futatsugi
openaire   +1 more source

Cafeobj Report

1998
Razvan Diaconescu, Kokichi Futatsugi
openaire   +1 more source

TESLA Source Authentication Protocol Verification Experiment in the Timed OTS/CafeOBJ Method: Experiences and Lessons Learned

IEICE Transactions on Information and Systems, 2014
Kazuhiro Ogata
exaly  

Towards Reliable E-Government Systems with the OTS/CafeOBJ Method

IEICE Transactions on Information and Systems, 2010
Kazuhiro Ogata
exaly  

Generating Test Cases for Invariant Properties from Proof Scores in the OTS/CafeOBJ Method

IEICE Transactions on Information and Systems, 2009
exaly  

From ASN.1 into CafeOBJ: Some First Steps

2009
Konstantinos Barlas
exaly  

Case studies with CafeOBJ [PDF]

, 2018
openaire  

Validation of UML Class Diagram and OCL pre-and post-conditions using OTS/CafeOBJ proof scores

2020
exaly