CAFE: An Industrial-Strength Algebraic Formal Method
eBook - PDF

CAFE: An Industrial-Strength Algebraic Formal Method

K. Futatsugi, A.T. Nakagawa, T. Tamai, K. Futatsugi, A.T. Nakagawa, T. Tamai

Share book
  1. 208 pages
  2. English
  3. PDF
  4. Available on iOS & Android
eBook - PDF

CAFE: An Industrial-Strength Algebraic Formal Method

K. Futatsugi, A.T. Nakagawa, T. Tamai, K. Futatsugi, A.T. Nakagawa, T. Tamai

Book details
Table of contents
Citations

About This Book

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.

Frequently asked questions

How do I cancel my subscription?
Simply head over to the account section in settings and click on “Cancel Subscription” - it’s as simple as that. After you cancel, your membership will stay active for the remainder of the time you’ve paid for. Learn more here.
Can/how do I download books?
At the moment all of our mobile-responsive ePub books are available to download via the app. Most of our PDFs are also available to download and we're working on making the final remaining ones downloadable now. Learn more here.
What is the difference between the pricing plans?
Both plans give you full access to the library and all of Perlego’s features. The only differences are the price and subscription period: With the annual plan you’ll save around 30% compared to 12 months on the monthly plan.
What is Perlego?
We are an online textbook subscription service, where you can get access to an entire online library for less than the price of a single book per month. With over 1 million books across 1000+ topics, we’ve got you covered! Learn more here.
Do you support text-to-speech?
Look out for the read-aloud symbol on your next book to see if you can listen to it. The read-aloud tool reads text aloud for you, highlighting the text as it is being read. You can pause it, speed it up and slow it down. Learn more here.
Is CAFE: An Industrial-Strength Algebraic Formal Method an online PDF/ePUB?
Yes, you can access CAFE: An Industrial-Strength Algebraic Formal Method by K. Futatsugi, A.T. Nakagawa, T. Tamai, K. Futatsugi, A.T. Nakagawa, T. Tamai in PDF and/or ePUB format, as well as other popular books in Informatica & Architettura di sistemi. We have over one million books available in our catalogue for you to explore.

Information

Year
2000
ISBN
9780080528403

Table of contents