Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Algebra, Meaning, and Computation [[electronic resource] ] : Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday / / edited by Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer
| Algebra, Meaning, and Computation [[electronic resource] ] : Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday / / edited by Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (XXXVIII, 650 p.) |
| Disciplina | 512 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Machine theory Artificial intelligence Computer science—Mathematics Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Artificial Intelligence Theory of Computation Mathematics of Computing |
| ISBN | 3-540-35464-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Meaning -- Sync or Swarm: Musical Improvisation and the Complex Dynamics of Group Creativity -- My Friend Joseph Goguen -- Metalogic, Qualia, and Identity on Neptune’s Great Moon: Meaning and Mathematics in the Works of Joseph A. Goguen and Samuel R. Delany -- Meta-Logic -- Quantum Institutions -- Jewels of Institution-Independent Model Theory -- Semantic Web Languages – Towards an Institutional Perspective -- Institutional 2-cells and Grothendieck Institutions -- Some Varieties of Equational Logic -- Complete Categorical Deduction for Satisfaction as Injectivity -- Specification and Composition -- Extension Morphisms for CommUnity -- Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application -- From OBJ to ML to Coq -- Weak Adhesive High-Level Replacement Categories and Systems: A Unifying Framework for Graph and Petri Net Transformations -- From OBJ to Maude and Beyond -- Constructive Action Semantics in OBJ -- Horizontal Composability Revisited -- Composition by Colimit and Formal Software Development -- Behaviour and Formal Languages -- Proving Behavioral Refinements of COL-specifications -- The Reactive Engine for Modular Transducers -- A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages -- Sheaves and Structures of Transition Systems -- Uniform Functors on Sets -- An Algebraic Approach to Regular Sets -- Models, Deduction, and Computation -- Elementary Algebraic Specifications of the Rational Complex Numbers -- From Chaos to Undefinedness -- Completion Is an Instance of Abstract Canonical System Inference -- Eliminating Dependent Pattern Matching -- Iterative Lexicographic Path Orders -- A Functorial Framework for Constraint Normal Logic Programming -- A Stochastic Theory of Black-Box Software Testing -- Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method -- Drug Interaction Ontology (DIO) and the Resource-Sensitive Logical Inferences. |
| Record Nr. | UNISA-996465756003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
All About Maude - A High-Performance Logical Framework [[electronic resource] ] : How to Specify, Program, and Verify Systems in Rewriting Logic / / by Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott
| All About Maude - A High-Performance Logical Framework [[electronic resource] ] : How to Specify, Program, and Verify Systems in Rewriting Logic / / by Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott |
| Autore | Clavel Manuel |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (XXII, 802 p.) |
| Disciplina | 004.015113 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Programming languages (Electronic computers)
Computer programming Software engineering Artificial intelligence Mathematical logic Programming Languages, Compilers, Interpreters Programming Techniques Software Engineering Artificial Intelligence Mathematical Logic and Formal Languages |
| ISBN | 3-540-71999-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | I: Core Maude -- Using Maude -- Syntax and Basic Parsing -- Functional Modules -- A Hierarchy of Data Types: From Trees to Sets -- System Modules -- Playing with Maude -- Module Operations -- Predefined Data Modules -- Specifying Parameterized Data Structures in Maude -- Object-Based Programming -- Model Checking Invariants Through Search -- LTL Model Checking -- Reflection, Metalevel Computation, and Strategies -- Metaprogramming Applications -- Mobile Maude -- User Interfaces and Metalanguage Applications -- II: Full Maude -- Full Maude: Extending Core Maude -- Object-Oriented Modules -- III: Applications and Tools -- A Sampler of Application Areas -- Some Tools -- IV: Reference -- Debugging and Troubleshooting -- Complete List of Maude Commands -- Core Maude Grammar. |
| Record Nr. | UNISA-996466336703316 |
Clavel Manuel
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
All About Maude - A High-Performance Logical Framework : How to Specify, Program, and Verify Systems in Rewriting Logic / / by Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott
| All About Maude - A High-Performance Logical Framework : How to Specify, Program, and Verify Systems in Rewriting Logic / / by Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott |
| Autore | Clavel Manuel |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Descrizione fisica | 1 online resource (XXII, 802 p.) |
| Disciplina | 004.015113 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Programming languages (Electronic computers)
Computer programming Software engineering Artificial intelligence Logic, Symbolic and mathematical Programming Languages, Compilers, Interpreters Programming Techniques Software Engineering Artificial Intelligence Mathematical Logic and Formal Languages |
| ISBN | 3-540-71999-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | I: Core Maude -- Using Maude -- Syntax and Basic Parsing -- Functional Modules -- A Hierarchy of Data Types: From Trees to Sets -- System Modules -- Playing with Maude -- Module Operations -- Predefined Data Modules -- Specifying Parameterized Data Structures in Maude -- Object-Based Programming -- Model Checking Invariants Through Search -- LTL Model Checking -- Reflection, Metalevel Computation, and Strategies -- Metaprogramming Applications -- Mobile Maude -- User Interfaces and Metalanguage Applications -- II: Full Maude -- Full Maude: Extending Core Maude -- Object-Oriented Modules -- III: Applications and Tools -- A Sampler of Application Areas -- Some Tools -- IV: Reference -- Debugging and Troubleshooting -- Complete List of Maude Commands -- Core Maude Grammar. |
| Record Nr. | UNINA-9910484639403321 |
|
Clavel Manuel
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Concurrency, Graphs and Models [[electronic resource] ] : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday / / edited by Pierpaolo Degano, Rocco de Nicola, José Meseguer
| Concurrency, Graphs and Models [[electronic resource] ] : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday / / edited by Pierpaolo Degano, Rocco de Nicola, José Meseguer |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
| Descrizione fisica | 1 online resource (XV, 810 p.) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Machine theory Algorithms Software engineering Artificial intelligence Theory of Computation Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Software Engineering Artificial Intelligence |
| ISBN | 3-540-68679-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Ugo Montanari in a Nutshell -- Ugo Montanari in a Nutshell -- Graph Transformation -- Ugo Montanari and Graph Transformation -- Unfolding Graph Transformation Systems: Theory and Applications to Verification -- Graph-Based Design and Analysis of Dynamic Software Architectures -- Graph Transformation Units – An Overview -- Synchronous Multiparty Synchronizations and Transactions -- Transformations in Reconfigurable Place/Transition Systems -- Explicit State Model Checking for Graph Grammars -- Linear-Ordered Graph Grammars: Applications to Distributed Systems Design -- Constraint and Logic Programming -- Constraint and Logic Programming: Ugo Montanari’s Main Contributions and Introduction to the Volume Section -- Semiring-Based Soft Constraints -- Declarative Debugging of Membership Equational Logic Specifications -- SPREADSPACES: Mathematically-Intelligent Graphical Spreadsheets -- An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy -- AND/OR Multi-valued Decision Diagrams for Constraint Networks -- Software Engineering -- Software Engineering: Ugo Montanari’s Main Contributions and Introduction to the Section -- Modeling Business within a UML-Based Rigorous Software Development Approach -- From Domain to Requirements -- Business Process Modeling for Organizational Knowledge Management -- Event-Based Service Coordination -- Dynamically Evolvable Dependable Software: From Oxymoron to Reality -- The Temporal Logic of Rewriting: A Gentle Introduction -- A Heterogeneous Approach to UML Semantics -- Concurrency Theory -- Ugo Montanari and Concurrency Theory -- On the Synthesis of Zero-Safe Nets -- A Note on Persistent Petri Nets -- Secure Data Flow in a Calculus for Context Awareness -- On Beta-Binders Communications -- On the Asynchronous Nature of the Asynchronous ?-Calculus -- StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes -- Models of Computation -- Models of Computation: A Tribute to Ugo Montanari’s Vision -- Automatic Mutual Exclusion and Atomicity Checks -- Petri Nets, Discrete Physics, and Distributed Quantum Computation -- A Category of Explicit Fusions -- What Do Semantics Matter When the Meat Is Overcooked? -- Calculating Colimits Compositionally -- Observability Concepts in Abstract Data Type Specification, 30 Years Later -- Software Verification -- Ugo Montanari and Software Verification -- History Dependent Automata for Service Compatibility -- A Type System for Client Progress in a Service-Oriented Calculus -- Session and Union Types for Object Oriented Programming -- The Pairing of Contracts and Session Types -- Specifying and Analysing SOC Applications with COWS -- Approximating Behaviors in Embedded System Design -- Friends -- Ugo Montanari and Friends -- Calculating with Automata -- Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra -- Some Theorems Concerning the Core Function -- The Seventies -- Categories, Software and Meaning -- A Roman Senator -- The Semantics of Ugo Montanari -- Abstraction for a Career in Industry: A Praise for Ugo’s 65 Years. |
| Record Nr. | UNISA-996465283403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal Modeling: Actors; Open Systems, Biological Systems [[electronic resource] ] : Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday / / edited by Gul Agha, Olivier Danvy, José Meseguer
| Formal Modeling: Actors; Open Systems, Biological Systems [[electronic resource] ] : Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday / / edited by Gul Agha, Olivier Danvy, José Meseguer |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (XX, 447 p.) |
| Disciplina | 004.01/51 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Computer communication systems Computer programming Mathematical logic Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Computer Communication Networks Programming Techniques Mathematical Logic and Formal Languages |
| ISBN | 3-642-24933-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Two PhD Students for the Price of One -- Honoring Carolyn Talcott’s Contributions to Science -- Ten Years of Analyzing Actors: Rebeca Experience -- Mathematical Models of Object-Based Distributed Systems -- From Explicit to Symbolic Types for Communication Protocols in CCS -- Abstract LR-Parsing -- Fractionated Software for Networked Cyber-Physical Systems: Research Directions and Long-Term Vision -- Model Feasible Interactions in Distributed Real-Time Systems -- Puff, The Magic Protocol -- A Formal Methodology for Compositional Cross-Layer Optimization -- From Service Identification to Service Selection: An Interleaved Perspective -- Towards a System Model for Ensembles -- Algorithmic Aspects of Risk Management -- Parameterized Metareasoning in Membership Equational Logic -- Fast Sort Computations for Order-Sorted Matching and Unification -- Solving the First Verified Software Competition Problems Using PVS -- Towards a Maude Formal Environment -- Multisimulations: Towards Next Generation Integrated Simulation Environments -- Semantics, Simulation, and Formal Analysis of Modeling Languages for Embedded Systems in Real-Time Maude -- Computational Biology: A Programming Perspective -- Applications of Pathway Logic Modeling to Target Identification. |
| Record Nr. | UNISA-996465956203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Foundations of Security, Protocols, and Equational Reasoning [[electronic resource] ] : Essays Dedicated to Catherine A. Meadows / / edited by Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic
| Foundations of Security, Protocols, and Equational Reasoning [[electronic resource] ] : Essays Dedicated to Catherine A. Meadows / / edited by Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XII, 239 p. 273 illus., 24 illus. in color.) |
| Disciplina | 005.8 |
| Collana | Security and Cryptology |
| Soggetto topico |
Data protection
Computer organization Computers and civilization Software engineering Programming languages (Electronic computers) Computer logic Security Computer Systems Organization and Communication Networks Computers and Society Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |
| ISBN | 3-030-19052-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Cathy Meadows: A Central Figure in Protocol Analysis -- A Long, Slow Conversation -- Key Reminiscences -- Canonical Narrowing with Irreducibility Constraints as a Symbolic Protocol Analysis Method -- Finding Intruder Knowledge with Cap Matching -- Robust Declassification by Incremental Typing -- JRIF: Reactive Information Flow Control for Java -- Symbolic Timed Trace Equivalence -- Symbolic Analysis of Identity-Based Protocols -- Enrich-by-Need Protocol Analysis for Diffie-Hellman -- Key Agreement via Protocols -- Privacy protocols -- A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols -- Belenios: A Simple Private and Verifiable Electronic Voting System. |
| Record Nr. | UNISA-996466180903316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Foundations of Security, Protocols, and Equational Reasoning : Essays Dedicated to Catherine A. Meadows / / edited by Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic
| Foundations of Security, Protocols, and Equational Reasoning : Essays Dedicated to Catherine A. Meadows / / edited by Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XII, 239 p. 273 illus., 24 illus. in color.) |
| Disciplina |
005.8
005.824 |
| Collana | Security and Cryptology |
| Soggetto topico |
Data protection
Computer organization Computers and civilization Software engineering Programming languages (Electronic computers) Computer logic Security Computer Systems Organization and Communication Networks Computers and Society Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |
| ISBN | 3-030-19052-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Cathy Meadows: A Central Figure in Protocol Analysis -- A Long, Slow Conversation -- Key Reminiscences -- Canonical Narrowing with Irreducibility Constraints as a Symbolic Protocol Analysis Method -- Finding Intruder Knowledge with Cap Matching -- Robust Declassification by Incremental Typing -- JRIF: Reactive Information Flow Control for Java -- Symbolic Timed Trace Equivalence -- Symbolic Analysis of Identity-Based Protocols -- Enrich-by-Need Protocol Analysis for Diffie-Hellman -- Key Agreement via Protocols -- Privacy protocols -- A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols -- Belenios: A Simple Private and Verifiable Electronic Voting System. |
| Record Nr. | UNINA-9910337842103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Specification, Algebra, and Software [[electronic resource] ] : Essays Dedicated to Kokichi Futatsugi / / edited by Shusaku Iida, José Meseguer, Kazuhiro Ogata
| Specification, Algebra, and Software [[electronic resource] ] : Essays Dedicated to Kokichi Futatsugi / / edited by Shusaku Iida, José Meseguer, Kazuhiro Ogata |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XXII, 657 p. 115 illus.) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Machine theory Software engineering Compilers (Computer programs) Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Software Engineering Compilers and Interpreters |
| ISBN | 3-642-54624-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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 on Proof Scores for Rewrite Theory Specifications of OTSs. |
| Record Nr. | UNISA-996205170703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Specification, Algebra, and Software : Essays Dedicated to Kokichi Futatsugi / / edited by Shusaku Iida, José Meseguer, Kazuhiro Ogata
| Specification, Algebra, and Software : Essays Dedicated to Kokichi Futatsugi / / edited by Shusaku Iida, José Meseguer, Kazuhiro Ogata |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XXII, 657 p. 115 illus.) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Machine theory Software engineering Compilers (Computer programs) Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Software Engineering Compilers and Interpreters |
| ISBN | 3-642-54624-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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 on Proof Scores for Rewrite Theory Specifications of OTSs. |
| Record Nr. | UNINA-9910483215203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||