CAFE: An Industrial-Strength Algebraic Formal Method

Description

Publisher: Elsevier Science; 1st ed edition
Language: English
ISBN: 0444505563
Paperback: 194 pages
Data: September 1, 2000
Format: PDF
Description: 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.

Download - (9 Mb)

Disclaimer:
Contents of this page are indexed from the Internet. All actions are under your responsability. Email us to report illegal contents or external links and we'll remove them immediately.

Download links for "CAFE: An Industrial-Strength Algebraic Formal Method":


How to Download
You may need eMule or Bittorrent to download ebook torrents or emule links.

Report Dead Link
Please leave a comment to report dead links, so that someone else may update new links.

1. Ebooks list page : 1494
2. CAFE: An Industrial-Strength Algebraic Formal Method
3. CAFE: An Industrial-Strength Algebraic Formal Method (Repost)
4. The Construction of Formal Specifications: An Introduction to the Model-Based and Algebraic Approaches
5. Hardware Design Verification Simulation and Formal Method Based Approaches
6. Hardware.Design.Verification.Simulation.and.Formal.Method.Based.Approaches
7. Hardware Design Verification.Simulation.and.Formal.Method.Based.Approaches
8. Hardware Design Verification: Simulation and Formal Method-Based Approaches
9. Hardware Design Verification Simulation and Formal Method Based Approaches Mar 2005
10. Hardware Design Verification : Simulation and Formal Method-Based Approaches (Pr
11. PC Hacks: 100 Industrial-Strength Tips
12. Wireless Hacks: 100 Industrial-Strength
13. Industrial Strength Parallel Computing
14. Industrial Strength C : Rules and Recommendations
15. PDF Hacks: 100 Industrial-Strength Tips
16. PDF Hacks: 100 Industrial-Strength Tips & Tools