Skip to main content
SpringerLink
Log in
Book cover

Specification, Algebra, and Software

Essays Dedicated to Kokichi Futatsugi

  • Book
  • © 2014

Overview

Editors:
  1. Shusaku Iida

    1. School of Network and Information, Senshu University, Kawasaki, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. José Meseguer

    1. Department of Computer Science, Thomas M. Siebel Center for Computer Science, University of Illinois at Urbana-Champaign (UIUC), Urbana, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Kazuhiro Ogata

    1. School of Information Science, Advanced Institute of Science and Technology (JAIST), Nomi, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Dedicated to Kokichi Futatsugi, one of the founders of the field of algebraic specification and verification, and a leading researcher in formal methods and software engineering
  • Includes contributions from leading researchers in formal methods and software engineering
  • Contains papers presented at the Festschrift Symposium in Honor of Kokichi Futatsugi: Specification, Algebra, and Software (SAS 2014), organized in Kanazawa, Japan in April 2014

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 8373)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (31 chapters)

  1. Front Matter

    Download chapter PDF

  2. Domain Endurants

    • Dines Bjørner
    Pages 1-34

  3. On Formal Definition and Analysis of Formal Verification Processes

    • Leon J. Osterweil
    Pages 35-52

  4. CafeOBJ Traces

    • Răzvan Diaconescu
    Pages 53-65

  5. Parchments for CafeOBJ Logics

    • Till Mossakowski, Wiesław Pawłowski, Donald Sannella, Andrzej Tarlecki
    Pages 66-91

  6. Incremental Proofs of Termination, Confluence and Sufficient Completeness of OBJ Specifications

    • Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi
    Pages 92-109

  7. The Versatile Synchronous Observer

    • John Rushby
    Pages 110-128

  8. Model Checking TLR* Guarantee Formulas on Infinite Systems

    • Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet
    Pages 129-150

  9. Towards a Combination of CafeOBJ and PAT

    • Yongxin Zhao, Jinsong Dong, Yang Liu, Jun Sun
    Pages 151-170

  10. Negative Variables and the Essence of Object-Oriented Programming

    • Bertrand Meyer, Alexander Kogtenkov
    Pages 171-187

  11. Reasoning (on) Service Component Ensembles in Rewriting Logic

    • Lenz Belzner, Rocco De Nicola, Andrea Vandin, Martin Wirsing
    Pages 188-211

  12. Dynamic Validation of Maude Prototypes of UML Models

    • Francisco Durán, Manuel Roldán, Antonio Moreno, José María Álvarez
    Pages 212-228

  13. Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way)

    • María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña
    Pages 229-255

  14. The Semantics of Datalog for the Evidential Tool Bus

    • Simon Cruanes, Stijn Heymans, Ian Mason, Sam Owre, Natarajan Shankar
    Pages 256-275

  15. Synthesis of Infinite-State Abstractions and Their Use for Software Validation

    • Carlo Ghezzi, Andrea Mocci, Mario Sangiorgio
    Pages 276-295

  16. Behavioral Rewrite Systems and Behavioral Productivity

    • Grigore Roşu, Dorel Lucanu
    Pages 296-314

  17. Functional Logic Programming in Maude

    • Santiago Escobar
    Pages 315-336

  18. Confluence: The Unifying, Expressive Power of Locality

    • Jiaxiang Liu, Jean-Pierre Jouannaud
    Pages 337-358

  19. Foundations for Ensemble Modeling – The Helena Approach

    • Rolf Hennicker, Annabelle Klarl
    Pages 359-381

  20. Behaviour, Interaction and Dynamics

    • Roberto Bruni, Hernán Melgratti, Ugo Montanari
    Pages 382-401
Back to top

Keywords

About this book

This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions from internationally leading researchers in formal methods and software engineering. Prof. Futatsugi is one of the founding fathers of the field of algebraic specification and verification and is a leading researcher in formal methods and software engineering. He has pioneered and advanced novel algebraic methods and languages supporting them such as OBJ and CafeOBJ and has worked tirelessly over the years to bring such methods and tools in contact with software engineering practice. This volume contains contributions from internationally leading researchers in formal methods and software engineering.

Editors and Affiliations

  • School of Network and Information, Senshu University, Kawasaki, Japan

    Shusaku Iida

  • Department of Computer Science, Thomas M. Siebel Center for Computer Science, University of Illinois at Urbana-Champaign (UIUC), Urbana, USA

    José Meseguer

  • School of Information Science, Advanced Institute of Science and Technology (JAIST), Nomi, Japan

    Kazuhiro Ogata

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation