Results 1 - 10 of 1,448,858

Component-based Algebraic Specification and Verification in CafeOBJ

by Razvan Diaconescu, Kokichi Futatsugi, Shusaku Iida - FM'99 -- Formal Methods, volume 1709 of Lecture Notes in Computer Science , 1999
"... . We present a formal method for component-based system specification and verification which is based on the new algebraic specification language CafeOBJ, which is a modern successor of OBJ incorporating several new developments in algebraic specification theory and practice. We first give an ov ..."
Abstract - Cited by 10 (8 self) - Add to MetaCart
. We present a formal method for component-based system specification and verification which is based on the new algebraic specification language CafeOBJ, which is a modern successor of OBJ incorporating several new developments in algebraic specification theory and practice. We first give

Submitted to World Congress of Formal Methods’99 Component-based Algebraic Specification and Verification in CafeOBJ

by Răzvan Diaconescu, Kokichi Futatsugi, Shusaku Iida , 1999
"... We present a formal method for component-based system specification and verification which is based on the new algebraic specification language CafeOBJ, which is a modern successor of OBJ incorporating several new developments in algebraic specification theory and practice. We first give an overview ..."
Abstract - Add to MetaCart
We present a formal method for component-based system specification and verification which is based on the new algebraic specification language CafeOBJ, which is a modern successor of OBJ incorporating several new developments in algebraic specification theory and practice. We first give

Logical Foundations of CafeOBJ

by Razvan Diaconescu, Kokichi Futatsugi - Theoretical Computer Science
"... This paper surveys the logical and mathematical foundations of CafeOBJ, which is a successor of the famous algebraic specification language OBJ but adding several new primitive paradigms such as behavioural concurrent specification and rewriting logic. We first give a concise overview of CafeOBJ. T ..."
Abstract - Cited by 15 (1 self) - Add to MetaCart
This paper surveys the logical and mathematical foundations of CafeOBJ, which is a successor of the famous algebraic specification language OBJ but adding several new primitive paradigms such as behavioural concurrent specification and rewriting logic. We first give a concise overview of CafeOBJ

Case Studies with CafeOBJ

by Alexander Knapp , 1998
"... We describe two case studies involving the algebraic specification language CafeOBJ. The first case study uses CafeOBJ as a tool in formally based object-oriented software engineering. We explain the derivation process of a formal specification from informal but annotated object models and interact ..."
Abstract - Add to MetaCart
We describe two case studies involving the algebraic specification language CafeOBJ. The first case study uses CafeOBJ as a tool in formally based object-oriented software engineering. We explain the derivation process of a formal specification from informal but annotated object models

Logical Semantics for CafeOBJ

by Razvan Diaconescu, Kokichi Futatsugi - Universitat Munchen , 1996
"... This document presents the semantics of CafeOBJ system and language (see [11]). CafeOBJ can be seen as a succesor of the famous algebraic specification and programming language OBJ [24, 10] but adding several new paradigms to the traditional OBJ language, such as specification of concurrent systems, ..."
Abstract - Cited by 6 (0 self) - Add to MetaCart
This document presents the semantics of CafeOBJ system and language (see [11]). CafeOBJ can be seen as a succesor of the famous algebraic specification and programming language OBJ [24, 10] but adding several new paradigms to the traditional OBJ language, such as specification of concurrent systems

CafeOBJ Jewels

by Razvan Diaconescu, Kokichi Futatsugi, Shusaku Iida
"... This paper gives an overview of the main features and methodologies of CafeOBJ by means of a collection of elegant examples. Therefore, this paper may also serve as a tutorial introduction to CafeOBJ. We hope that besides the strength of CafeOBJ, the reader will also appreciate the beauty of this la ..."
Abstract - Cited by 1 (0 self) - Add to MetaCart
This paper gives an overview of the main features and methodologies of CafeOBJ by means of a collection of elegant examples. Therefore, this paper may also serve as a tutorial introduction to CafeOBJ. We hope that besides the strength of CafeOBJ, the reader will also appreciate the beauty

Logical Semantics for CafeOBJ

by Razvan Diaconescut, Kokichi Futatsugi, Razvan Diaconescu, Kokichi Futatsugi
"... This document presents the semantics of CafeOBJ system and language (see [11]). CafeOBJ can be seen as a succesor of the famous algebraic specification a d programming language OBJ [24, 10] but adding several new paradigms to the traditional OBJ language, such as specification of concurrent systems, ..."
Abstract - Add to MetaCart
This document presents the semantics of CafeOBJ system and language (see [11]). CafeOBJ can be seen as a succesor of the famous algebraic specification a d programming language OBJ [24, 10] but adding several new paradigms to the traditional OBJ language, such as specification of concurrent systems

Casl for CafeOBJ Users

by Peter D. Mosses , 2000
"... ..."
Abstract - Cited by 3 (0 self) - Add to MetaCart
Abstract not found

Abstract Logical Foundations of CafeOBJ

by Răzvan Diaconescu, Kokichi Futatsugi
"... This paper surveys the logical and mathematical foundations of CafeOBJ, which is a successor of the famous algebraic specification language OBJ but adds to it several new primitive paradigms such as behavioural concurrent specification and rewriting logic. We first give a concise overview of CafeOBJ ..."
Abstract - Add to MetaCart
This paper surveys the logical and mathematical foundations of CafeOBJ, which is a successor of the famous algebraic specification language OBJ but adds to it several new primitive paradigms such as behavioural concurrent specification and rewriting logic. We first give a concise overview of CafeOBJ

CafeOBJ: Logical Foundations and Methodologies

by Razvan Diaconescu, Kokichi Futatsugi, Kazuhiro Ogata - Computing and Informatics , 2003
"... CafeOBJ is an executable industrial strength multi-logic algebraic speci cation language which is a modern successor of OBJ and incorporates several new algebraic speci cation paradigms. ..."
Abstract - Cited by 6 (1 self) - Add to MetaCart
CafeOBJ is an executable industrial strength multi-logic algebraic speci cation language which is a modern successor of OBJ and incorporates several new algebraic speci cation paradigms.
Results 1 - 10 of 1,448,858