Cafe : an industrial-strength algebraic formal method /

Mostrar otras versiones (1)

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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Otros Autores: Futatsugi, Kokichi, Tamai, T. (Tetsuo), Nakagawa, A. T. (Ataru T.)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Amsterdam ; New York : Elsevier, 2000.
Edición:1st ed.
Temas:
Algebraic logic > Congresses.
Formal methods (Computer science) > Congresses.
Logique algébrique > Congrès.
Méthodes formelles (Informatique) > Congrès.
MATHEMATICS > Infinity.
MATHEMATICS > Logic.
Algebraic logic
Formal methods (Computer science)
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Acceso en línea:Texto completo
Tabla de Contenidos:
  • 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.

Ejemplares similares