Stop the war!
Остановите войну!
for scientists:
default search action
Essays Dedicated to Kokichi Futatsugi 2014
- Shusaku Iida, José Meseguer, Kazuhiro Ogata:
Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi. Lecture Notes in Computer Science 8373, Springer 2014, ISBN 978-3-642-54623-5 - Dines Bjørner:
Domain Endurants - An Analysis and Description Process Model. 1-34 - Leon J. Osterweil:
On Formal Definition and Analysis of Formal Verification Processes. 35-52 - Razvan Diaconescu:
CafeOBJ Traces. 53-65 - Till Mossakowski, Wieslaw Pawlowski, Donald Sannella, Andrzej Tarlecki:
Parchments for CafeOBJ Logics. 66-91 - Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi:
Incremental Proofs of Termination, Confluence and Sufficient Completeness of OBJ Specifications. 92-109 - John Rushby:
The Versatile Synchronous Observer. 110-128 - Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet:
Model Checking TLR* Guarantee Formulas on Infinite Systems. 129-150 - Yongxin Zhao, Jin Song Dong, Yang Liu, Jun Sun:
Towards a Combination of CafeOBJ and PAT. 151-170 - Bertrand Meyer, Alexander Kogtenkov:
Negative Variables and the Essence of Object-Oriented Programming. 171-187 - Lenz Belzner, Rocco De Nicola, Andrea Vandin, Martin Wirsing:
Reasoning (on) Service Component Ensembles in Rewriting Logic. 188-211 - Francisco Durán, Manuel Roldán, Antonio Moreno-Delgado, José María Álvarez:
Dynamic Validation of Maude Prototypes of UML Models. 212-228 - María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña:
Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way). 229-255 - Simon Cruanes, Stijn Heymans, Ian A. Mason, Sam Owre, Natarajan Shankar:
The Semantics of Datalog for the Evidential Tool Bus - (Extended Abstract). 256-275 - Carlo Ghezzi, Andrea Mocci, Mario Sangiorgio:
Synthesis of Infinite-State Abstractions and Their Use for Software Validation. 276-295 - Grigore Rosu, Dorel Lucanu:
Behavioral Rewrite Systems and Behavioral Productivity. 296-314 - Santiago Escobar:
Functional Logic Programming in Maude. 315-336 - Jiaxiang Liu, Jean-Pierre Jouannaud:
Confluence: The Unifying, Expressive Power of Locality. 337-358 - Rolf Hennicker, Annabelle Klarl:
Foundations for Ensemble Modeling - The Helena Approach - Handling Massively Distributed Systems with ELaborate ENsemble Architectures. 359-381 - Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
Behaviour, Interaction and Dynamics. 382-401 - Mark-Oliver Stehr, Minyoung Kim, Carolyn L. Talcott:
Partially Ordered Knowledge Sharing and Fractionated Systems in the Context of other Models for Distributed Computing. 402-433 - Shaoying Liu:
Extending Operation Semantics to Enhance the Applicability of Formal Refinement. 434-440 - Anne E. Haxthausen:
An Institution for Imperative RSL Specifications. 441-464 - Takeo Yaku, Koichi Anada, Koushi Anzai, Shinji Koka, Youzou Miyadera, Kensei Tsuchida:
8k-ary Grid Graph Models of Tabular Forms. 465-477 - Shin Nakajima:
Everlasting Challenges with the OBJ Language Family. 478-493 - Jon Grov, Peter Csaba Ölveczky:
Formal Modeling and Analysis of Google's Megastore in Real-Time Maude. 494-519 - Anh-Dung Phan, Michael R. Hansen, Jan Madsen:
EHRA: Specification and Analysis of Energy-Harvesting Wireless Sensor Networks. 520-540 - Petros S. Stefaneas, Iakovos Ouranos, Nikolaos Triantafyllou, Katerina Ksystra:
Some Engineering Applications of the OTS/CafeOBJ Method. 541-559 - Min Zhang, Kazuhiro Ogata, Kokichi Futatsugi:
Verifying the Design of Dynamic Software Updating in the OTS/CafeOBJ Method. 560-577 - Daniel Gâinâ, Dorel Lucanu, Kazuhiro Ogata, Kokichi Futatsugi:
On Automation of OTS/CafeOBJ Method. 578-602 - Camilo Rocha, José Meseguer:
Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool. 603-629 - Kazuhiro Ogata, Kokichi Futatsugi:
Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs. 630-656
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.