LEADER 05350nam 22007095 450 001 9910483215203321 005 20230220132409.0 010 $a3-642-54624-2 024 7 $a10.1007/978-3-642-54624-2 035 $a(CKB)3710000000089231 035 $a(DE-He213)978-3-642-54624-2 035 $a(SSID)ssj0001187538 035 $a(PQKBManifestationID)11763832 035 $a(PQKBTitleCode)TC0001187538 035 $a(PQKBWorkID)11257159 035 $a(PQKB)11176976 035 $a(MiAaPQ)EBC3093523 035 $a(PPN)176752528 035 $a(EXLCZ)993710000000089231 100 $a20140228d2014 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aSpecification, Algebra, and Software$b[electronic resource] $eEssays Dedicated to Kokichi Futatsugi /$fedited by Shusaku Iida, José Meseguer, Kazuhiro Ogata 205 $a1st ed. 2014. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2014. 215 $a1 online resource (XXII, 657 p. 115 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8373 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-54623-4 327 $aDomain 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 on Proof Scores for Rewrite Theory Specifications of OTSs. 330 $aThis 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. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8373 606 $aComputer science 606 $aMachine theory 606 $aSoftware engineering 606 $aCompilers (Computer programs) 606 $aComputer Science Logic and Foundations of Programming 606 $aFormal Languages and Automata Theory 606 $aSoftware Engineering 606 $aCompilers and Interpreters 615 0$aComputer science. 615 0$aMachine theory. 615 0$aSoftware engineering. 615 0$aCompilers (Computer programs). 615 14$aComputer Science Logic and Foundations of Programming. 615 24$aFormal Languages and Automata Theory. 615 24$aSoftware Engineering. 615 24$aCompilers and Interpreters. 676 $a004 702 $aIida$b Shusaku$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMeseguer$b José$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aOgata$b Kazuhiro$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483215203321 996 $aSpecification, Algebra, and Software$92830921 997 $aUNINA