CAFE: An Industrial-Strength Algebraic Formal Method

CAFE: An Industrial-Strength Algebraic Formal Method
Author :
Publisher : Elsevier
Total Pages : 209
Release :
ISBN-10 : 9780080528403
ISBN-13 : 0080528406
Rating : 4/5 (406 Downloads)

Book Synopsis CAFE: An Industrial-Strength Algebraic Formal Method by : K. Futatsugi

Download or read book CAFE: An Industrial-Strength Algebraic Formal Method written by K. Futatsugi and published by Elsevier. This book was released on 2000-10-06 with total page 209 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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 completely new ones, written especially for this book. In this regard, the book is not a usual postpublication after a workshop. Also, although it is a compendium of papers that are related to CafeOBJ, the book is not a manual, reference, or tutorial of CafeOBJ. Probably the best description is that it is a collection of papers that investigate how to use, or to make it easy to use, CafeOBJ. Reflecting the diverse nature of the project and its participants (most of the authors are participants to the project), the papers, put together, offer a comprehensive picture from this methodological perspective.Some papers deal with various advanced aspects of the language, such as rewriting logic and behavioural logic. For rewriting logic, a couple of significant applications were reported. In particular, UML, now considered de facto standard language for modelling systems, is the subject of one paper. For behavioural logic, new methodological guidelines are presented. Some papers shed new light on a more traditional paradigm in the language; order-sorted equational specifications. One paper, in particular, deal with a way to associate CafeOBJ with object-oriented programming. The other papers deal with environments for writing and vertifying specifications written in CafeOBJ. Underlying those papers are two major considerations: user interfaces for manipulating specifications, and systematic supports for proofs. All the environments explained in the papers assume and support distributed computing, and de facto standard network technologies, such as WWW and http, are incorporated.


CAFE: An Industrial-Strength Algebraic Formal Method Related Books

CAFE: An Industrial-Strength Algebraic Formal Method
Language: en
Pages: 209
Authors: K. Futatsugi
Categories: Computers
Type: BOOK - Published: 2000-10-06 - Publisher: Elsevier

GET EBOOK

This book contains selected papers on the language, applications, and environments of CafeOBJ, which is a state-of -the-art algebraic specification language. Th
Formal Methods and Software Engineering
Language: en
Pages: 723
Authors: Jin Song Dong
Categories: Computers
Type: BOOK - Published: 2010-10-29 - Publisher: Springer Science & Business Media

GET EBOOK

Each paper was reviewed by at least three program committee members.
Recent Trends in Algebraic Development Techniques
Language: en
Pages: 353
Authors: Maura Cerioli
Categories: Computers
Type: BOOK - Published: 2002-01-23 - Publisher: Springer Science & Business Media

GET EBOOK

. . . . . . . . . . . . . . . . 328 D. Sannella AuthorIndex . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
Specification, Algebra, and Software
Language: en
Pages: 675
Authors: Shusaku Iida
Categories: Computers
Type: BOOK - Published: 2014-03-01 - Publisher: Springer

GET EBOOK

This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions from internationally leading researchers in formal methods a
Algebraic Methodology and Software Technology
Language: en
Pages: 578
Authors: Charles Rattray
Categories: Computers
Type: BOOK - Published: 2004-06-24 - Publisher: Springer Science & Business Media

GET EBOOK

This book constitutes the refereed proceedings of the 10th International Conference on Algebraic Methodology and Software Technology, AMAST 2004, held in Stirli