Formal methods for components and objects : 5th International Symposium, FMCO 2006, Amsterdam, the Netherlands, November 7-10, 2006 : revised lectures / / Frank S. de Boer [and three others], editors |
Edizione | [1st ed. 2007.] |
Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [2007] |
Descrizione fisica | 1 online resource (VIII, 300 p.) |
Disciplina | 004.0151 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Formal methods (Computer science)
Object-oriented programming (Computer science) |
ISBN | 3-540-74792-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Testing -- Model-Based Testing of Environmental Conformance of Components -- Exhaustive Testing of Exception Handlers with Enforcer -- Model-Based Test Selection for Infinite-State Reactive Systems -- Program Verification -- Verifying Object-Oriented Programs with KeY: A Tutorial -- Rebeca: Theory, Applications, and Tools -- Learning Meets Verification -- Trust and Security -- JACK — A Tool for Validation of Security and Behaviour of Java Applications -- Towards a Formal Framework for Computational Trust -- Models of Computation -- On Recursion, Replication and Scope Mechanisms in Process Calculi -- Bounded Session Types for Object Oriented Languages -- Distributed Programming -- Reflecting on Aspect-Oriented Programming, Metaprogramming, and Adaptive Distributed Monitoring -- Links: Web Programming Without Tiers. |
Record Nr. | UNINA-9910483617003321 |
Berlin ; ; Heidelberg : , : Springer, , [2007] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Formal methods for components and objects : 5th International Symposium, FMCO 2006, Amsterdam, the Netherlands, November 7-10, 2006 : revised lectures / / Frank S. de Boer [and three others], editors |
Edizione | [1st ed. 2007.] |
Pubbl/distr/stampa | Berlin ; ; Heidelberg : , : Springer, , [2007] |
Descrizione fisica | 1 online resource (VIII, 300 p.) |
Disciplina | 004.0151 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Formal methods (Computer science)
Object-oriented programming (Computer science) |
ISBN | 3-540-74792-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Testing -- Model-Based Testing of Environmental Conformance of Components -- Exhaustive Testing of Exception Handlers with Enforcer -- Model-Based Test Selection for Infinite-State Reactive Systems -- Program Verification -- Verifying Object-Oriented Programs with KeY: A Tutorial -- Rebeca: Theory, Applications, and Tools -- Learning Meets Verification -- Trust and Security -- JACK — A Tool for Validation of Security and Behaviour of Java Applications -- Towards a Formal Framework for Computational Trust -- Models of Computation -- On Recursion, Replication and Scope Mechanisms in Process Calculi -- Bounded Session Types for Object Oriented Languages -- Distributed Programming -- Reflecting on Aspect-Oriented Programming, Metaprogramming, and Adaptive Distributed Monitoring -- Links: Web Programming Without Tiers. |
Record Nr. | UNISA-996465920203316 |
Berlin ; ; Heidelberg : , : Springer, , [2007] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Formal Methods for Components and Objects : 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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|