Specification, Algebra, and Software

Publications

2014

Takeo Yaku, Koichi Anada, Koushi Anzai, Shinji Koka, Youzou Miyadera, Kensei Tsuchida
8k-ary Grid Graph Models of Tabular Forms. Specification, Algebra, and Software (2014)
Grigore Rosu, Dorel Lucanu
Behavioral Rewrite Systems and Behavioral Productivity. Specification, Algebra, and Software (2014)
Simon Cruanes, Stijn Heymans, Ian A. Mason, Sam Owre, Natarajan Shankar
The Semantics of Datalog for the Evidential Tool Bus - (Extended Abstract). Specification, Algebra, and Software (2014)
Rolf Hennicker, Annabelle Klarl
Foundations for Ensemble Modeling - The Helena Approach - Handling Massively Distributed Systems with ELaborate ENsemble Architectures. Specification, Algebra, and Software (2014)
Bertrand Meyer, Alexander Kogtenkov
Negative Variables and the Essence of Object-Oriented Programming. Specification, Algebra, and Software (2014)
Jiaxiang Liu, Jean-Pierre Jouannaud
Confluence: The Unifying, Expressive Power of Locality. Specification, Algebra, and Software (2014)
Yongxin Zhao, Jin Song Dong, Yang Liu, Jun Sun
Towards a Combination of CafeOBJ and PAT. Specification, Algebra, and Software (2014)
Daniel Gâinâ, Dorel Lucanu, Kazuhiro Ogata, Kokichi Futatsugi
On Automation of OTS/CafeOBJ Method. Specification, Algebra, and Software (2014)
Petros S. Stefaneas, Iakovos Ouranos, Nikolaos Triantafyllou, Katerina Ksystra
Some Engineering Applications of the OTS/CafeOBJ Method. Specification, Algebra, and Software (2014)
Shin Nakajima
Everlasting Challenges with the OBJ Language Family. Specification, Algebra, and Software (2014)
Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet
Model Checking TLR* Guarantee Formulas on Infinite Systems. Specification, Algebra, and Software (2014)
Kazuhiro Ogata, Kokichi Futatsugi
Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs. Specification, Algebra, and Software (2014)
Razvan Diaconescu
CafeOBJ Traces. Specification, Algebra, and Software (2014)
Santiago Escobar
Functional Logic Programming in Maude. Specification, Algebra, and Software (2014)
Till Mossakowski, Wieslaw Pawlowski, Donald Sannella, Andrzej Tarlecki
Parchments for CafeOBJ Logics. Specification, Algebra, and Software (2014)
Min Zhang, Kazuhiro Ogata, Kokichi Futatsugi
Verifying the Design of Dynamic Software Updating in the OTS/CafeOBJ Method. Specification, Algebra, and Software (2014)
Anh-Dung Phan, Michael R. Hansen, Jan Madsen
EHRA: Specification and Analysis of Energy-Harvesting Wireless Sensor Networks. Specification, Algebra, and Software (2014)
Anne E. Haxthausen
An Institution for Imperative RSL Specifications. Specification, Algebra, and Software (2014)
Dines Bjørner
Domain Endurants - An Analysis and Description Process Model. Specification, Algebra, and Software (2014)
Shaoying Liu
Extending Operation Semantics to Enhance the Applicability of Formal Refinement. Specification, Algebra, and Software (2014)
Leon J. Osterweil
On Formal Definition and Analysis of Formal Verification Processes. Specification, Algebra, and Software (2014)
Jon Grov, Peter Csaba Ölveczky
Formal Modeling and Analysis of Google's Megastore in Real-Time Maude. Specification, Algebra, and Software (2014)
Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi
Incremental Proofs of Termination, Confluence and Sufficient Completeness of OBJ Specifications. Specification, Algebra, and Software (2014)
John Rushby
The Versatile Synchronous Observer. Specification, Algebra, and Software (2014)
Francisco Durán, Manuel Roldán, Antonio Moreno-Delgado, José María Álvarez
Dynamic Validation of Maude Prototypes of UML Models. Specification, Algebra, and Software (2014)
María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña
Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way). Specification, Algebra, and Software (2014)
Mark-Oliver Stehr, Minyoung Kim, Carolyn L. Talcott
Partially Ordered Knowledge Sharing and Fractionated Systems in the Context of other Models for Distributed Computing. Specification, Algebra, and Software (2014)
Camilo Rocha, José Meseguer
Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool. Specification, Algebra, and Software (2014)
Lenz Belzner, Rocco De Nicola, Andrea Vandin, Martin Wirsing
Reasoning (on) Service Component Ensembles in Rewriting Logic. Specification, Algebra, and Software (2014)
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari
Behaviour, Interaction and Dynamics. Specification, Algebra, and Software (2014)
Carlo Ghezzi, Andrea Mocci, Mario Sangiorgio
Synthesis of Infinite-State Abstractions and Their Use for Software Validation. Specification, Algebra, and Software (2014)

volume 8373, 2014

Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi Specification, Algebra, and Software 8373 (2014)