Del i serien Lecture Notes in Computer Science

Specification, Algebra, and Software

Essays Dedicated to Kokichi Futatsugi

Häftad, Engelska, 2014

AvShusaku Iida,José Meseguer,Kazuhiro Ogata

739 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

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.

Produktinformation

Utgivningsdatum2014-02-25
Mått155 x 235 x 38 mm
Vikt1 000 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor657
Upplaga2014
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783642546235

Tillhör följande kategorier

Domain Endurants: An Analysis and Description Process Model.- On Formal Definition and Analysis of Formal Verification Processes.- CafeOBJ Traces.- Parchments for CafeOBJ Logics.- Incremental Proofs of Termination, Confluence and Sufficient Completeness of OBJ Specifications.- The Versatile Synchronous Observer.- Model Checking TLR* Guarantee Formulas on Infinite Systems.- Towards a Combination of CafeOBJ and PAT.-Negative Variables and the Essence of Object-Oriented Programming.- Reasoning (on) Service Component Ensembles in Rewriting Logic.- Dynamic Validation of Maude Prototypes of UML Models.- Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way).- The Semantics of Datalog for the Evidential Tool Bus (Extended Abstract).- Synthesis of Infinite-State Abstractions and Their Use for Software Validation.- Behavioral Rewrite Systems and Behavioral Productivity.- Functional Logic Programming in Maude.- Confluence: The Unifying, Expressive Power of Locality.- Foundations for Ensemble Modeling – The Helena Approach: Handling Massively Distributed Systems with ELaborate ENsemble Architectures.- Behaviour, Interaction and Dynamics.- Partially Ordered Knowledge Sharing and Fractionated Systems in the Context of other Models for Distributed Computing.- Extending Operation Semantics to Enhance the Applicability of Formal Refinement.- An Institution for Imperative RSL Specifications.- 8k-ary Grid Graph Models of Tabular Forms.- Everlasting Challenges with the OBJ Language Family.- Formal Modeling and Analysis of Google’s Megastore in Real-Time Maude.- EHRA: Specification and Analysis of Energy-Harvesting Wireless Sensor Networks.- Some Engineering Applications of the OTS/CafeOBJ Method.- Verifying the Design of Dynamic Software Updating in the OTS/CafeOBJ Method.- On Automation of OTS/CafeOBJ Method.- Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool.- Theorem Proving Based onProof Scores for Rewrite Theory Specifications of OTSs.

Mer från samma serie

Compiler Construction

Albert Cohen

Häftad, 2014

709 kr

Del 16375

Interactive Storytelling

María Cecilia Reyes, Frank Nack

Häftad, 2025

719 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

739 kr

Theory of Cryptography

Yehuda Lindell

Häftad, 2014

739 kr

Computer Science Logic

Dirk van Dalen, Marc Bezem

Häftad, 1997

739 kr

Reliable Software Technology – Ada-Europe 2005

Tullio Vardanega, Andy Wellings

Häftad, 2005

739 kr

Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki - Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries, Häftad

Del 16376

Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries

Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki

Häftad, 2026

1 209 kr

Objects and Databases

Alan Dearle, Roberto V. Zicari

Häftad, 2010

739 kr

Anna Schroder, Xiang Li, Tanveer Syeda-Mahmood, Neil P. Oxtoby, Alexandra Young, Alessa Hering, Tejas S. Mathai, Pritam Mukherjee, Sven Kuckertz, Tiantian He, Isaac Llorente-Saguer, Andreas Maier, Satyananda Kashyap, Hayit Greenspan, Anant Madabhushi - Medical Image Computing and Computer Assisted Intervention – MICCAI 2024 Workshops, Häftad

Del 15401

Medical Image Computing and Computer Assisted Intervention – MICCAI 2024 Workshops

Anna Schroder, Xiang Li, Tanveer Syeda-Mahmood, Neil P. Oxtoby, Alexandra Young, Alessa Hering, Tejas S. Mathai, Pritam Mukherjee, Sven Kuckertz, Tiantian He, Isaac Llorente-Saguer, Andreas Maier, Satyananda Kashyap, Hayit Greenspan, Anant Madabhushi

Häftad, 2025

959 kr

Del 16625

Web Engineering

Andrea Mauri, Lola Burgueño, Riccardo Tommasini

Häftad, 2026

1 099 kr

Du kanske också är intresserad av

Del 15394

Formal Methods and Software Engineering

Kazuhiro Ogata, Dominique Mery, Meng Sun, Shaoying Liu

Häftad, 2024

1 109 kr

Formal Modeling: Actors; Open Systems, Biological Systems

Gul Agha, Olivier Danvy, José Meseguer

Häftad, 2011

739 kr

Del 14953

Rewriting Logic and Its Applications

Kazuhiro Ogata, Narciso Martí-Oliet

Häftad, 2024

839 kr

Del 13066

Protocols, Strands, and Logic

Daniel Dougherty, José Meseguer, Sebastian Alexander Mödersheim, Paul Rowe

Häftad, 2021

1 099 kr

Del 11565

Foundations of Security, Protocols, and Equational Reasoning

Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic

Häftad, 2019

739 kr

Del 10009

Formal Methods and Software Engineering

Kazuhiro Ogata, Mark Lawford, Shaoying Liu

Häftad, 2016

739 kr

Concurrency, Graphs and Models

Pierpaolo Degano, Rocco de Nicola, José Meseguer

Häftad, 2008

1 479 kr

Algebraic Methodology and Software Technology

José Meseguer, Grigore Rosu

Häftad, 2008

739 kr

Algebra, Meaning, and Computation

Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer

Häftad, 2006

1 429 kr

Del 16120

Concurrent Programming, Open Systems and Formal Methods

Jose Meseguer, Carlos A. Varela, Nalini Venkatasubramanian

Häftad, 2025

1 209 kr

Del i serien Lecture Notes in Computer Science

Specification, Algebra, and Software

Essays Dedicated to Kokichi Futatsugi

Häftad, Engelska, 2014

AvShusaku Iida,José Meseguer,Kazuhiro Ogata

739 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum2014-02-25
Mått155 x 235 x 38 mm
Vikt1 000 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor657
Upplaga2014
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783642546235

Tillhör följande kategorier

Domain Endurants: An Analysis and Description Process Model.- On Formal Definition and Analysis of Formal Verification Processes.- CafeOBJ Traces.- Parchments for CafeOBJ Logics.- Incremental Proofs of Termination, Confluence and Sufficient Completeness of OBJ Specifications.- The Versatile Synchronous Observer.- Model Checking TLR* Guarantee Formulas on Infinite Systems.- Towards a Combination of CafeOBJ and PAT.-Negative Variables and the Essence of Object-Oriented Programming.- Reasoning (on) Service Component Ensembles in Rewriting Logic.- Dynamic Validation of Maude Prototypes of UML Models.- Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way).- The Semantics of Datalog for the Evidential Tool Bus (Extended Abstract).- Synthesis of Infinite-State Abstractions and Their Use for Software Validation.- Behavioral Rewrite Systems and Behavioral Productivity.- Functional Logic Programming in Maude.- Confluence: The Unifying, Expressive Power of Locality.- Foundations for Ensemble Modeling – The Helena Approach: Handling Massively Distributed Systems with ELaborate ENsemble Architectures.- Behaviour, Interaction and Dynamics.- Partially Ordered Knowledge Sharing and Fractionated Systems in the Context of other Models for Distributed Computing.- Extending Operation Semantics to Enhance the Applicability of Formal Refinement.- An Institution for Imperative RSL Specifications.- 8k-ary Grid Graph Models of Tabular Forms.- Everlasting Challenges with the OBJ Language Family.- Formal Modeling and Analysis of Google’s Megastore in Real-Time Maude.- EHRA: Specification and Analysis of Energy-Harvesting Wireless Sensor Networks.- Some Engineering Applications of the OTS/CafeOBJ Method.- Verifying the Design of Dynamic Software Updating in the OTS/CafeOBJ Method.- On Automation of OTS/CafeOBJ Method.- Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool.- Theorem Proving Based onProof Scores for Rewrite Theory Specifications of OTSs.