CAFE: An Industrial-Strength Algebraic Formal Method - 1st Edition - ISBN: 9780444505569, 9780080528403

CAFE: An Industrial-Strength Algebraic Formal Method

1st Edition

Editors: K. Futatsugi A.T. Nakagawa T. Tamai
Hardcover ISBN: 9780444505569
eBook ISBN: 9780080528403
Imprint: Elsevier Science
Published Date: 6th October 2000
Page Count: 208
Tax/VAT will be calculated at check-out
117.00
71.00
88.95
113.00
Unavailable
Compatible Not compatible
VitalSource PC, Mac, iPhone & iPad Amazon Kindle eReader
ePub & PDF Apple & PC desktop. Mobile devices (Apple & Android) Amazon Kindle eReader
Mobi Amazon Kindle eReader Anything else

Institutional Access


Description

Building equational proving tools by reflection in rewriting logic (M. Clavel, F. Durán, S. eker, J. Meseguer). CafeOBL Jewels (R. Diaconescu, K. Futatsugi, S. Iida). An overview of the Tatami Project (J. Goguen, K. Lin, G. Roşu, A. Mori, B. Warinschi). Proof assistance for equational specifications based on proof obligations (M. Ishiguro, A. Nakagawa). Generating rewrite theories from UML collaborations (A. Knapp). CASL for CafeOBJ users (P. Mosses). CafePie: A visual programming system for CafeOBJ (T. Ogawa, J. Tanaka). On extracting algebraic specifications from untyped object-oriented programs (H. Ohkubo, T. Sakabe, Y. Inagaki). An environment for systematic development of algebrai specifications on networks (A. Seo, A. Nakagawa).

Table of Contents

Building equational proving tools by reflection in rewriting logic (M. Clavel, F. Durán, S. eker, J. Meseguer). CafeOBL Jewels (R. Diaconescu, K. Futatsugi, S. Iida). An overview of the Tatami Project (J. Goguen, K. Lin, G. Roşu, A. Mori, B. Warinschi). Proof assistance for equational specifications based on proof obligations (M. Ishiguro, A. Nakagawa). Generating rewrite theories from UML collaborations (A. Knapp). CASL for CafeOBJ users (P. Mosses). CafePie: A visual programming system for CafeOBJ (T. Ogawa, J. Tanaka). On extracting algebraic specifications from untyped object-oriented programs (H. Ohkubo, T. Sakabe, Y. Inagaki). An environment for systematic development of algebrai specifications on networks (A. Seo, A. Nakagawa).

Details

No. of pages:
208
Language:
English
Copyright:
© Elsevier Science 2000
Published:
Imprint:
Elsevier Science
eBook ISBN:
9780080528403

About the Editor

K. Futatsugi

Affiliations and Expertise

Japan Advanced Institute for Science and Technology (JAIST), 1-1 Asahidai, Ishikawa 923-12, Japan

A.T. Nakagawa

Affiliations and Expertise

Software Research Associates Inc. (SRA), Tokyo, Japan

T. Tamai

Affiliations and Expertise

University of Tokyo, Japan