Specification, Algebra, and Software

Essays Dedicated to Kokichi Futatsugi

  • Shusaku Iida
  • José Meseguer
  • Kazuhiro Ogata

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

Table of contents

  1. Front Matter
  2. Dines Bjørner
    Pages 1-34
  3. Răzvan Diaconescu
    Pages 53-65
  4. Till Mossakowski, Wiesław Pawłowski, Donald Sannella, Andrzej Tarlecki
    Pages 66-91
  5. Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi
    Pages 92-109
  6. John Rushby
    Pages 110-128
  7. Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet
    Pages 129-150
  8. Yongxin Zhao, Jinsong Dong, Yang Liu, Jun Sun
    Pages 151-170
  9. Bertrand Meyer, Alexander Kogtenkov
    Pages 171-187
  10. Lenz Belzner, Rocco De Nicola, Andrea Vandin, Martin Wirsing
    Pages 188-211
  11. Francisco Durán, Manuel Roldán, Antonio Moreno, José María Álvarez
    Pages 212-228
  12. María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña
    Pages 229-255
  13. Simon Cruanes, Stijn Heymans, Ian Mason, Sam Owre, Natarajan Shankar
    Pages 256-275
  14. Carlo Ghezzi, Andrea Mocci, Mario Sangiorgio
    Pages 276-295
  15. Grigore Roşu, Dorel Lucanu
    Pages 296-314
  16. Santiago Escobar
    Pages 315-336
  17. Jiaxiang Liu, Jean-Pierre Jouannaud
    Pages 337-358
  18. Rolf Hennicker, Annabelle Klarl
    Pages 359-381
  19. Roberto Bruni, Hernán Melgratti, Ugo Montanari
    Pages 382-401

About this book

Introduction

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.

Keywords

CafeOBJ Maude OBJ OTS algebraic specifications concurrent systems equational logic formal methods formal verification logic model checking rewriting semantics software engineering software validation symbolic and algebraic algorithms theorem proving

Editors and affiliations

  • Shusaku Iida
    • 1
  • José Meseguer
    • 2
  • Kazuhiro Ogata
    • 3
  1. 1.School of Network and InformationSenshu UniversityKawasakiJapan
  2. 2.Department of Computer Science, Thomas M. Siebel Center for Computer ScienceUniversity of Illinois at Urbana-Champaign (UIUC)UrbanaUSA
  3. 3.School of Information ScienceAdvanced Institute of Science and Technology (JAIST)NomiJapan

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-54624-2
  • Copyright Information Springer-Verlag Berlin Heidelberg 2014
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-54623-5
  • Online ISBN 978-3-642-54624-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book