Formal Methods for Components and Objects [[electronic resource] ] : 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures / / edited by Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
Descrizione fisica | 1 online resource (X, 313 p.) |
Disciplina | 005.117 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Programming languages (Electronic computers) Operating systems (Computers) Computer logic Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Operating Systems Software Engineering Logics and Meanings of Programs |
ISBN | 3-540-92188-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The MOBIUS Project -- The MOBIUS Proof Carrying Code Infrastructure -- Certification Using the Mobius Base Logic -- Safety Guarantees from Explicit Resource Management -- Universe Types for Topology and Encapsulation -- COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode -- The GridCOMP Project -- Active Objects and Distributed Components: Theory and Implementation -- The SELFMAN Project -- Self Management for Large-Scale Distributed Systems: An Overview of the SELFMAN Project -- The ARTIST Project -- Causal Semantics for the Algebra of Connectors -- Multiple Viewpoint Contract-Based Specification and Design -- The CREDO Project -- Coordination: Reo, Nets, and Logic -- An Object-Oriented Component Model for Heterogeneous Nets -- Coordinating Object Oriented Components Using Data-Flow Networks. |
Record Nr. | UNISA-996466073603316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Formal Methods for Components and Objects [[electronic resource] ] : 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures / / edited by Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
Descrizione fisica | 1 online resource (X, 313 p.) |
Disciplina | 005.117 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Programming languages (Electronic computers) Operating systems (Computers) Computer logic Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Operating Systems Software Engineering Logics and Meanings of Programs |
ISBN | 3-540-92188-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The MOBIUS Project -- The MOBIUS Proof Carrying Code Infrastructure -- Certification Using the Mobius Base Logic -- Safety Guarantees from Explicit Resource Management -- Universe Types for Topology and Encapsulation -- COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode -- The GridCOMP Project -- Active Objects and Distributed Components: Theory and Implementation -- The SELFMAN Project -- Self Management for Large-Scale Distributed Systems: An Overview of the SELFMAN Project -- The ARTIST Project -- Causal Semantics for the Algebra of Connectors -- Multiple Viewpoint Contract-Based Specification and Design -- The CREDO Project -- Coordination: Reo, Nets, and Logic -- An Object-Oriented Component Model for Heterogeneous Nets -- Coordinating Object Oriented Components Using Data-Flow Networks. |
Record Nr. | UNINA-9910483817303321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Formal Methods for Components and Objects [[electronic resource] ] : 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures / / edited by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever |
Edizione | [1st ed. 2006.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
Descrizione fisica | 1 online resource (VIII, 429 p.) |
Disciplina | 005.13/1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Computer logic Computers Programming languages (Electronic computers) Operating systems (Computers) Software Engineering Logics and Meanings of Programs Theory of Computation Programming Languages, Compilers, Interpreters Operating Systems |
ISBN | 3-540-36750-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Component and Service Oriented Computing -- A Software Component Model and Its Preliminary Formalisation -- Synchronised Hyperedge Replacement as a Model for Service Oriented Computing -- System Design -- Control of Modular and Distributed Discrete-Event Systems -- Model-Based Security Engineering with UML: Introducing Security Aspects -- The Pragmatics of STAIRS -- Tools -- Smallfoot: Modular Automatic Assertion Checking with Separation Logic -- Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs -- Algebraic Methods -- Beyond Bisimulation: The “up-to” Techniques -- Separation Results Via Leader Election Problems -- Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation -- Model Checking -- Abstraction and Refinement in Model Checking -- Program Compatibility Approaches -- Cluster-Based LTL Model Checking of Large Systems -- Safety and Liveness in Concurrent Pointer Programs -- Assertional Methods -- Modular Specification of Encapsulated Object-Oriented Components -- Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2 -- Boogie: A Modular Reusable Verifier for Object-Oriented Programs -- Quantitative Analysis -- On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages -- Partial Order Reduction for Markov Decision Processes: A Survey. |
Record Nr. | UNISA-996466091203316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Formal Methods for Components and Objects [[electronic resource] ] : 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures / / edited by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever |
Edizione | [1st ed. 2006.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
Descrizione fisica | 1 online resource (VIII, 429 p.) |
Disciplina | 005.13/1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Computer logic Computers Programming languages (Electronic computers) Operating systems (Computers) Software Engineering Logics and Meanings of Programs Theory of Computation Programming Languages, Compilers, Interpreters Operating Systems |
ISBN | 3-540-36750-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Component and Service Oriented Computing -- A Software Component Model and Its Preliminary Formalisation -- Synchronised Hyperedge Replacement as a Model for Service Oriented Computing -- System Design -- Control of Modular and Distributed Discrete-Event Systems -- Model-Based Security Engineering with UML: Introducing Security Aspects -- The Pragmatics of STAIRS -- Tools -- Smallfoot: Modular Automatic Assertion Checking with Separation Logic -- Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs -- Algebraic Methods -- Beyond Bisimulation: The “up-to” Techniques -- Separation Results Via Leader Election Problems -- Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation -- Model Checking -- Abstraction and Refinement in Model Checking -- Program Compatibility Approaches -- Cluster-Based LTL Model Checking of Large Systems -- Safety and Liveness in Concurrent Pointer Programs -- Assertional Methods -- Modular Specification of Encapsulated Object-Oriented Components -- Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2 -- Boogie: A Modular Reusable Verifier for Object-Oriented Programs -- Quantitative Analysis -- On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages -- Partial Order Reduction for Markov Decision Processes: A Survey. |
Record Nr. | UNINA-9910483463503321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Formal Methods for Components and Objects [[electronic resource] ] : Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures / / edited by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever |
Edizione | [1st ed. 2005.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
Descrizione fisica | 1 online resource (VIII, 328 p.) |
Disciplina | 005.13/1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic Operating systems (Computers) Software Engineering/Programming and Operating Systems Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Operating Systems |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | A Theory of Predicate-Complete Test Coverage and Generation -- A Perspective on Component Refinement -- A Fully Abstract Semantics for UML Components -- From (Meta) Objects to Aspects: A Java and AspectJ Point of View -- MoMo: A Modal Logic for Reasoning About Mobility -- Probabilistic Linda-Based Coordination Languages -- Games with Secure Equilibria, -- Priced Timed Automata: Algorithms and Applications -- rCOS: Refinement of Component and Object Systems -- Program Generation and Components -- Assertion-Based Encapsulation, Object Invariants and Simulations -- A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects -- Observability, Connectivity, and Replay in a Sequential Calculus of Classes -- Timing Analysis and Timing Predictability. |
Record Nr. | UNISA-996465867103316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Formal Methods for Components and Objects [[electronic resource] ] : Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures / / edited by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever |
Edizione | [1st ed. 2005.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
Descrizione fisica | 1 online resource (VIII, 328 p.) |
Disciplina | 005.13/1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic Operating systems (Computers) Software Engineering/Programming and Operating Systems Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Operating Systems |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | A Theory of Predicate-Complete Test Coverage and Generation -- A Perspective on Component Refinement -- A Fully Abstract Semantics for UML Components -- From (Meta) Objects to Aspects: A Java and AspectJ Point of View -- MoMo: A Modal Logic for Reasoning About Mobility -- Probabilistic Linda-Based Coordination Languages -- Games with Secure Equilibria, -- Priced Timed Automata: Algorithms and Applications -- rCOS: Refinement of Component and Object Systems -- Program Generation and Components -- Assertion-Based Encapsulation, Object Invariants and Simulations -- A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects -- Observability, Connectivity, and Replay in a Sequential Calculus of Classes -- Timing Analysis and Timing Predictability. |
Record Nr. | UNINA-9910483676903321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Formal Methods for Components and Objects [[electronic resource] ] : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures / / edited by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever |
Edizione | [1st ed. 2004.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
Descrizione fisica | 1 online resource (VIII, 371 p.) |
Disciplina | 004.0151 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic Mathematical logic Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Mathematical Logic and Formal Languages |
ISBN | 3-540-30101-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling -- Machine Function Based Control Code Algebras -- Exploiting Abstraction for Specification Reuse. The Java/C# Case Study -- On the Verification of Cooperating Traffic Agents -- How to Cook a Complete Hoare Logic for Your Pet OO Language -- Behavioural Specification for Hierarchical Object Composition -- Consistency Management within Model-Based Object-Oriented Development of Components -- CommUnity on the Move: Architectures for Distribution and Mobility -- TulaFale: A Security Tool for Web Services -- A Checker for Modal Formulae for Processes with Data -- Semantic Essence of AsmL: Extended Abstract -- An MDA Approach to Tame Component Based Software Development -- An Application of Stream Calculus to Signal Flow Graphs -- Synchronous Closing and Flow Analysis for Model Checking Timed Systems -- Priority Systems -- Preserving Properties under Change -- Tools for Generating and Analyzing Attack Graphs. |
Record Nr. | UNINA-9910144154103321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Formal Methods for Components and Objects [[electronic resource] ] : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures / / edited by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever |
Edizione | [1st ed. 2004.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
Descrizione fisica | 1 online resource (VIII, 371 p.) |
Disciplina | 004.0151 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic Mathematical logic Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Mathematical Logic and Formal Languages |
ISBN | 3-540-30101-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling -- Machine Function Based Control Code Algebras -- Exploiting Abstraction for Specification Reuse. The Java/C# Case Study -- On the Verification of Cooperating Traffic Agents -- How to Cook a Complete Hoare Logic for Your Pet OO Language -- Behavioural Specification for Hierarchical Object Composition -- Consistency Management within Model-Based Object-Oriented Development of Components -- CommUnity on the Move: Architectures for Distribution and Mobility -- TulaFale: A Security Tool for Web Services -- A Checker for Modal Formulae for Processes with Data -- Semantic Essence of AsmL: Extended Abstract -- An MDA Approach to Tame Component Based Software Development -- An Application of Stream Calculus to Signal Flow Graphs -- Synchronous Closing and Flow Analysis for Model Checking Timed Systems -- Priority Systems -- Preserving Properties under Change -- Tools for Generating and Analyzing Attack Graphs. |
Record Nr. | UNISA-996465398103316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Formal Methods for Components and Objects [[electronic resource] ] : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures / / edited by Frank S.de Boer, Marcello Bonsangue, Susanne Graf, Willem-Paul de Roever |
Edizione | [1st ed. 2003.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
Descrizione fisica | 1 online resource (VIII, 512 p.) |
Disciplina | 005.3 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Programming languages (Electronic computers) Operating systems (Computers) Computer logic Software Engineering/Programming and Operating Systems Software Engineering Programming Languages, Compilers, Interpreters Operating Systems Logics and Meanings of Programs |
ISBN | 3-540-39656-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | A Tool-Supported Proof System for Multithreaded Java -- Abstract Behavior Types: A Foundation Model for Components and Their Composition -- Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML -- Live and Let Die: LSC-Based Verification of UML-Models -- Reactive Animation -- Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software -- Equivalent Semantic Models for a Distributed Dataspace Architecture -- Java Program Verification Challenges -- ToolBus: The Next Generation -- High-Level Specifications: Lessons from Industry -- How the Design of JML Accommodates Both Runtime Assertion Checking and Formal Verification -- Finding Implicit Contracts in .NET Components -- From Co-algebraic Specifications to Implementation: The Mihda Toolkit -- A Calculus for Modeling Software Components -- Specification and Inheritance in CSP-OZ -- Model-Based Testing of Object-Oriented Systems -- Concurrent Object-Oriented Programs: From Specification to Code -- Design with Asynchronously Communicating Components -- Composition for Component-Based Modeling -- Games for UML Software Design -- Making Components Move: A Separation of Concerns Approach. |
Record Nr. | UNINA-9910144032203321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Formal Methods for Components and Objects [[electronic resource] ] : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures / / edited by Frank S.de Boer, Marcello Bonsangue, Susanne Graf, Willem-Paul de Roever |
Edizione | [1st ed. 2003.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
Descrizione fisica | 1 online resource (VIII, 512 p.) |
Disciplina | 005.3 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Programming languages (Electronic computers) Operating systems (Computers) Computer logic Software Engineering/Programming and Operating Systems Software Engineering Programming Languages, Compilers, Interpreters Operating Systems Logics and Meanings of Programs |
ISBN | 3-540-39656-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | A Tool-Supported Proof System for Multithreaded Java -- Abstract Behavior Types: A Foundation Model for Components and Their Composition -- Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML -- Live and Let Die: LSC-Based Verification of UML-Models -- Reactive Animation -- Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software -- Equivalent Semantic Models for a Distributed Dataspace Architecture -- Java Program Verification Challenges -- ToolBus: The Next Generation -- High-Level Specifications: Lessons from Industry -- How the Design of JML Accommodates Both Runtime Assertion Checking and Formal Verification -- Finding Implicit Contracts in .NET Components -- From Co-algebraic Specifications to Implementation: The Mihda Toolkit -- A Calculus for Modeling Software Components -- Specification and Inheritance in CSP-OZ -- Model-Based Testing of Object-Oriented Systems -- Concurrent Object-Oriented Programs: From Specification to Code -- Design with Asynchronously Communicating Components -- Composition for Component-Based Modeling -- Games for UML Software Design -- Making Components Move: A Separation of Concerns Approach. |
Record Nr. | UNISA-996465776303316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|