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 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Formal Methods for Components and Objects : 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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
It's All About Coordination [[electronic resource] ] : Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab / / edited by Frank de Boer, Marcello Bonsangue, Jan Rutten |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XII, 245 p. 52 illus.) |
Disciplina | 004.35 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer programming Computer simulation Artificial intelligence Mathematical logic Software Engineering Programming Languages, Compilers, Interpreters Programming Techniques Simulation and Modeling Artificial Intelligence Mathematical Logic and Formal Languages |
ISBN | 3-319-90089-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Discovering the “Glue” Connecting Activities: Exploiting Monotonicity to Learn Places Faster -- Self-Stabilization Through the Lens of Game Theory -- Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination -- A note on reactive transitions and Reo connectors -- Personal Note: Working with Farhad Arbab 1990-2005 -- Soft Constraint Automata with Memory -- On the Relation between Control-based and Data-based Coordination Languages -- Release the Beasts: When Formal Methods Meet Real World Data -- Formalizing Propagation of Priorities in Reo, using Eight Colors -- Learning to Coordinate -- Reo Connectors and Components as Tagged Signal Models -- Generating Arduino C Codes from Mediator -- From Soft Agents to Soft Component Automata and Back -- Argumentation as Exogenous Coordination -- Extending Paradigm with Data. |
Record Nr. | UNISA-996465795103316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
It's All About Coordination : Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab / / edited by Frank de Boer, Marcello Bonsangue, Jan Rutten |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XII, 245 p. 52 illus.) |
Disciplina | 004.35 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer programming Computer simulation Artificial intelligence Mathematical logic Software Engineering Programming Languages, Compilers, Interpreters Programming Techniques Simulation and Modeling Artificial Intelligence Mathematical Logic and Formal Languages |
ISBN | 3-319-90089-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Discovering the “Glue” Connecting Activities: Exploiting Monotonicity to Learn Places Faster -- Self-Stabilization Through the Lens of Game Theory -- Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination -- A note on reactive transitions and Reo connectors -- Personal Note: Working with Farhad Arbab 1990-2005 -- Soft Constraint Automata with Memory -- On the Relation between Control-based and Data-based Coordination Languages -- Release the Beasts: When Formal Methods Meet Real World Data -- Formalizing Propagation of Priorities in Reo, using Eight Colors -- Learning to Coordinate -- Reo Connectors and Components as Tagged Signal Models -- Generating Arduino C Codes from Mediator -- From Soft Agents to Soft Component Automata and Back -- Argumentation as Exogenous Coordination -- Extending Paradigm with Data. |
Record Nr. | UNINA-9910349430403321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Theory and Practice of Formal Methods [[electronic resource] ] : Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday / / edited by Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XII, 427 p. 112 illus. in color.) |
Disciplina | 004.0151 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Algorithms Machine theory Compilers (Computer programs) Artificial intelligence Computer Science Logic and Foundations of Programming Software Engineering Formal Languages and Automata Theory Compilers and Interpreters Artificial Intelligence |
ISBN | 3-319-30734-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Program Verification: to Err is Human -- Fond (and Frank) Memories of Frank -- Warmest Congratulations, Frank -- Conformance Checking of Real-Time Models: Symbolic Execution vs. Bounded Model Checking -- Resource Analysis of Distributed Systems -- Comparing Trace Expressions and Linear Temporal Logic for Runtime Verification -- Proper Protocol -- A Compositional Approach to the Verification of Hybrid Systems -- Array Abstraction with Symbolic Pivots -- Modeling Role-Based Systems with Exogenous Coordination -- Vats: A Safe, Reactive Storage Abstraction -- Denotational and Operational Preciseness of Subtyping: A Roadmap -- A Sound and Complete Hoare Logic for Dynamically-Typed, Object-Oriented Programs -- Self-Reconfiguring Microservices -- Statically and Dynamically Verifiable SLA metrics -- Effectively Eliminating Auxiliaries -- Towards a Proof Method for Paradigm -- Toward a Formal Foundation for Time Travel in Stories and Games -- Industrial Application of Formal Models Generated from Domain Specific Languages -- Formal Verification of Open Normative Multi-Agent System -- Moessner’s Theorem: An Exercise in Coinductive Reasoning in Coq -- Towards a Kool Future -- On the Expressiveness of Synchronization in Component Deployment -- Characterisation of Simulation by Probabilistic Testing -- On Time Actors -- A Small-Step Semantics of a Concurrent Calculus with Goroutines and Deferred Functions -- Quicksort Revisited - Verifying Alternative Versions of Quicksort. |
Record Nr. | UNISA-996466000703316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Theory and Practice of Formal Methods : Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday / / edited by Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XII, 427 p. 112 illus. in color.) |
Disciplina | 004.0151 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Software engineering Algorithms Machine theory Compilers (Computer programs) Artificial intelligence Computer Science Logic and Foundations of Programming Software Engineering Formal Languages and Automata Theory Compilers and Interpreters Artificial Intelligence |
ISBN | 3-319-30734-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Program Verification: to Err is Human -- Fond (and Frank) Memories of Frank -- Warmest Congratulations, Frank -- Conformance Checking of Real-Time Models: Symbolic Execution vs. Bounded Model Checking -- Resource Analysis of Distributed Systems -- Comparing Trace Expressions and Linear Temporal Logic for Runtime Verification -- Proper Protocol -- A Compositional Approach to the Verification of Hybrid Systems -- Array Abstraction with Symbolic Pivots -- Modeling Role-Based Systems with Exogenous Coordination -- Vats: A Safe, Reactive Storage Abstraction -- Denotational and Operational Preciseness of Subtyping: A Roadmap -- A Sound and Complete Hoare Logic for Dynamically-Typed, Object-Oriented Programs -- Self-Reconfiguring Microservices -- Statically and Dynamically Verifiable SLA metrics -- Effectively Eliminating Auxiliaries -- Towards a Proof Method for Paradigm -- Toward a Formal Foundation for Time Travel in Stories and Games -- Industrial Application of Formal Models Generated from Domain Specific Languages -- Formal Verification of Open Normative Multi-Agent System -- Moessner’s Theorem: An Exercise in Coinductive Reasoning in Coq -- Towards a Kool Future -- On the Expressiveness of Synchronization in Component Deployment -- Characterisation of Simulation by Probabilistic Testing -- On Time Actors -- A Small-Step Semantics of a Concurrent Calculus with Goroutines and Deferred Functions -- Quicksort Revisited - Verifying Alternative Versions of Quicksort. |
Record Nr. | UNINA-9910482976703321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|