LEADER 00000nam a22005775i 4500 
001    978-3-642-54624-2 
003    DE-He213 
005    20151204151056.0 
007    cr nn 008mamaa 
008    140228s2014    gw      s    |||| 0|eng d 
020    9783642546242|9978-3-642-54624-2 
024 7  10.1007/978-3-642-54624-2|2doi 
040    |dES-ZaU 
072  7 UM|2bicssc 
072  7 UYF|2bicssc 
072  7 COM051000|2bisacsh 
072  7 COM036000|2bisacsh 
082 04 005.1015113|223 
245 00 Specification, Algebra, and Software|h[electronic 
       resource] :|bEssays Dedicated to Kokichi Futatsugi /
       |cedited by Shusaku Iida, José Meseguer, Kazuhiro Ogata. 
264  1 Berlin, Heidelberg :|bSpringer Berlin Heidelberg :
       |bImprint: Springer,|c2014. 
300    XXII, 657 p. 115 illus.|bonline resource. 
336    text|btxt|2rdacontent 
337    computer|bc|2rdamedia 
338    online resource|bcr|2rdacarrier 
347    text file|bPDF|2rda 
490 1  Lecture Notes in Computer Science,|x0302-9743 ;|v8373 
490 0  Springer eBooks.|aComputer Science 
505 0  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 ́㠔he 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 Googlé鳠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. 
520    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. 
650  0 Computer science. 
650  0 Software engineering. 
650  0 Programming languages (Electronic computers). 
650  0 Computer logic. 
650  0 Mathematical logic. 
650 14 Computer Science. 
650 24 Logics and Meanings of Programs. 
650 24 Mathematical Logic and Formal Languages. 
650 24 Software Engineering. 
650 24 Programming Languages, Compilers, Interpreters. 
700 1  Iida, Shusaku.,|eeditor. 
700 1  Meseguer, José.,|eeditor. 
700 1  Ogata, Kazuhiro.,|eeditor. 
710 2  SpringerLink (Online service) 
773 0  |tSpringer eBooks 
776 08 |iPrinted edition:|z9783642546235 
830  0 Lecture Notes in Computer Science,|x0302-9743 ;|v8373 
856 40 |uhttps://cuarzo.unizar.es:9443/login?url=https://
       dx.doi.org/10.1007/978-3-642-54624-2|zAcceso al texto 
       completo