Cafe an industrial-strength algebraic formal method /
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 invol...
| Άλλοι συγγραφείς: | Futatsugi, Kokichi., Tamai, T., Nakagawa, A. T. |
|---|---|
| Μορφή: | Ηλεκτρονική πηγή |
| Γλώσσα: | English |
| Στοιχεία έκδοσης: |
Amsterdam ; New York :
Elsevier,
2000.
|
| Έκδοση: | 1st ed. |
| Θέματα: | |
| Διαθέσιμο Online: |
http://www.sciencedirect.com/science/book/9780444505569 |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
Πίνακας περιεχομένων:
- Building equational proving tools by reflection in rewriting logic / M. Clavel, F. Durβan, S. Eker and J. Meseguer
- CafeOBJ jewels / Rzvan Diaconescu, Kokichi Futatsugi and Shusaku Iida
- An overview of the Tatami project / Joseph Goguen, Kai Lin, Grigore Roπsu, Akira Mori and Bogdan Warinschi
- Proof assistance for equational specifications based on proof obligations / Masaki Ishiguro and Ataru T. Nakagawa
- Generating rewrite theories from UML collaborations / Alexander Knapp
- Casl for CafeOBJ users / Peter D. Mosses
- CafePie : a visual programming system for CafeOBJ / Tohru Ogawa and Jiro Tanaka
- On extracting algebraic specifications from untyped object-oriented programs / Hirotaka Ohkubo, Toshiki Sakabe and Yasuyoshi Inagaki
- An environment for systematic development of algebraic specifications on networks / Akishi Seo and Ataru T. Nakagawa.