Skip to content
You are not logged in |Login  
Limit search to available items
Record:   Prev Next
More Information

Title Cafe : an industrial-strength algebraic formal method / edited by K. Futatsugi, A.T. Nakagawa, T. Tamai.

Imprint Amsterdam ; New York : Elsevier, 2000.

Item Status

Edition 1st ed.
Description 1 online resource (xiv, 193 pages) : illustrations
Note Selected papers from a symposium held in Numazu, April 1998.
Bibliography Includes bibliographical references.
Contents Front Cover; CAFE: An Industrial-Strength Algebraic Formal Method; Copyright Page; Preface; Contents; Chapter 1. Building Equational Proving Tools by Reflection in Rewriting Logic; Chapter 2. CafeOBJ Jewels; Chapter 3. An Overview of the Tatami Project; Chapter 4. Proof Assistance for Equational Specifications Based on Proof Obligations; Chapter 5. Generating Rewrite Theories from UML Collaborations; Chapter 6. CASL for CafeOBJ Users; Chapter 7. CafePie: A Visual Programming System for CafeOBJ; Chapter 8. On Extracting Algebraic Specifications from Untyped Object-Oriented Programs.
Summary This book contains selected papers on the language, applications, and environments of CafeOBJ, which is a state-of -the-art algebraic specification language. The authors are speakers at a workshop held in 1998 to commemorate a large industrial/academic project dedicated to CafeOBJ. The project involved more than 40 people from more than 10 organisations, of which 6 are industrial. The workshop attracted about 30 talks and more than 70 attendees. The papers in the book however, are either heavily revised versions presented at the workshop, to reflect recent advancements or research; or complete.
Local Note eBooks on EBSCOhost EBSCO eBook Subscription Academic Collection - North America
Subject Algebraic logic -- Congresses.
Formal methods (Computer science) -- Congresses.
Genre/Form Electronic books.
Conference papers and proceedings.
Added Author Futatsugi, Kokichi.
Tamai, T. (Tetsuo)
Nakagawa, A. T. (Ataru T.)
Other Form: Print version: Cafe. 1st ed. Amsterdam ; New York : Elsevier, 2000 0444505563 9780444505569 (DLC) 2001266646 (OCoLC)45593096
ISBN 9780080528403 (electronic bk.)
0080528406 (electronic bk.)