Book Volume 8373 2014

Specification, Algebra, and Software

Essays Dedicated to Kokichi Futatsugi

Editors:

ISBN: 978-3-642-54623-5 (Print) 978-3-642-54624-2 (Online)

Table of contents (31 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. No Access

    Chapter

    Pages 1-34

    Domain Endurants

  3. No Access

    Chapter

    Pages 35-52

    On Formal Definition and Analysis of Formal Verification Processes

  4. No Access

    Chapter

    Pages 53-65

    CafeOBJ Traces

  5. No Access

    Chapter

    Pages 66-91

    Parchments for CafeOBJ Logics

  6. No Access

    Chapter

    Pages 92-109

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

  7. No Access

    Chapter

    Pages 110-128

    The Versatile Synchronous Observer

  8. No Access

    Chapter

    Pages 129-150

    Model Checking TLR* Guarantee Formulas on Infinite Systems

  9. No Access

    Chapter

    Pages 151-170

    Towards a Combination of CafeOBJ and PAT

  10. No Access

    Chapter

    Pages 171-187

    Negative Variables and the Essence of Object-Oriented Programming

  11. No Access

    Chapter

    Pages 188-211

    Reasoning (on) Service Component Ensembles in Rewriting Logic

  12. No Access

    Chapter

    Pages 212-228

    Dynamic Validation of Maude Prototypes of UML Models

  13. No Access

    Chapter

    Pages 229-255

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

  14. No Access

    Chapter

    Pages 256-275

    The Semantics of Datalog for the Evidential Tool Bus

  15. No Access

    Chapter

    Pages 276-295

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

  16. No Access

    Chapter

    Pages 296-314

    Behavioral Rewrite Systems and Behavioral Productivity

  17. No Access

    Chapter

    Pages 315-336

    Functional Logic Programming in Maude

  18. No Access

    Chapter

    Pages 337-358

    Confluence: The Unifying, Expressive Power of Locality

  19. No Access

    Chapter

    Pages 359-381

    Foundations for Ensemble Modeling – The Helena Approach

  20. No Access

    Chapter

    Pages 382-401

    Behaviour, Interaction and Dynamics

  21. No Access

    Chapter

    Pages 402-433

    Partially Ordered Knowledge Sharing and Fractionated Systems in the Context of other Models for Distributed Computing

previous Page of 2