Eylem Seç
Cafe : an industrial-strength algebraic formal method
Başlık:
Cafe : an industrial-strength algebraic formal method
Yazar:
Futatsugi, Kokichi.
ISBN:
9780080528403
9780444505569
Basım Bilgisi:
1st ed.
Yayın Bilgileri:
Amsterdam ; New York : Elsevier, 2000.
Fiziksel Tanımlama:
1 online resource (xiv, 193 pages) : illustrations
Genel Not:
Selected papers from a symposium held in Numazu, April 1998.
İçerik:
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.
Özet:
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.
Konu Başlığı:
Elektronik Erişim:
ScienceDirect https://www.sciencedirect.com/science/book/9780444505569Mevcut:*
Yer Numarası | Demirbaş Numarası | Shelf Location | Lokasyon / Statüsü / İade Tarihi |
---|---|---|---|
QA10 .C35 2000 EB | 1186207-1001 | Elsevier E-Kitap Koleksiyonu | Arıyor... |
On Order
Liste seç
Bunu varsayılan liste yap.
Öğeler başarıyla eklendi
Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.
:
Select An Item
Data usage warning: You will receive one text message for each title you selected.
Standard text messaging rates apply.