Coordination Models and Languages [[electronic resource] ] : 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002 Proceedings / / edited by Farhad Arbab, Carolyn Talcott |
Edizione | [1st ed. 2002.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
Descrizione fisica | 1 online resource (XII, 412 p.) |
Disciplina | 004/.35 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Architecture, Computer
Programming languages (Electronic computers) Computer programming Computer communication systems Computers Software engineering Computer System Implementation Programming Languages, Compilers, Interpreters Programming Techniques Computer Communication Networks Computation by Abstract Devices Software Engineering |
ISBN | 3-540-46000-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Presentations -- Playing Games with Software Design -- Coordination and System Design in a Network-Centric Age -- Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications -- Accepted Papers -- Coordination for Orchestration -- Concurrent Semantics for the Web Services Specification Language DAML-S -- Coordination through Channel Composition -- Exogenous and Endogenous Extensions of Architectural Types -- Coordinating Mobile Object-Oriented Code -- Formalizing Properties of Mobile Agent Systems -- Dynamically Adapting the Behaviour of Software Components -- An Associative Broadcast Based Coordination Model for Distributed Processes -- State—and Event-Based Reactive Programming in Shared Dataspaces -- Integrating Two Organizational Systems through Communication Genres -- OpenCoLaS a Coordination Framework for CoLaS Dialects -- Coordination in a Reflective Architecture Description Language -- Coordinating Software Evolution via Two-Tier Programming -- Criteria for the Analysis of Coordination in Multi-agent Applications -- Towards a Colimit-Based Semantics for Visual Programming -- The Cost of Communication Protocols and Coordination Languages in Embedded Systems -- Operational Semantics for Coordination in Paradigm -- Service Provision in Ad Hoc Networks -- PN2: An Elementary Model for Design and Analysis of Multi-agent Systems -- A Recovery Technique Using Multi-agent in Distributed Computing Systems -- An Order-Based, Distributed Algorithm for Implementing Multiparty Interactions -- Exploiting Transiently Shared Tuple Spaces for Location Transparent Code Mobility -- Formal Specification of JavaSpaces™ Architecture Using ?CRL -- Objective vs. Subjective Coordination in Agent-Based Systems: A Case Study -- Scheduling under Uncertainty: Planning for the Ubiquitous Grid -- Using Logical Operators as an Extended Coordination Mechanism in Linda -- A Framework for Coordinating Parallel Branch and Bound Algorithms -- Policies for Cooperative Virtual Teams -- The Spacetub Models and Framework -- Tuple-Based Models in the Observation Framework -- Extending the Matching Facilities of Linda -- Semantics of Protocol Modules Composition and Interaction. |
Record Nr. | UNISA-996465410403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Coordination Models and Languages : 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002 Proceedings / / edited by Farhad Arbab, Carolyn Talcott |
Edizione | [1st ed. 2002.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
Descrizione fisica | 1 online resource (XII, 412 p.) |
Disciplina | 004/.35 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Architecture, Computer
Programming languages (Electronic computers) Computer programming Computer communication systems Computers Software engineering Computer System Implementation Programming Languages, Compilers, Interpreters Programming Techniques Computer Communication Networks Computation by Abstract Devices Software Engineering |
ISBN | 3-540-46000-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Presentations -- Playing Games with Software Design -- Coordination and System Design in a Network-Centric Age -- Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications -- Accepted Papers -- Coordination for Orchestration -- Concurrent Semantics for the Web Services Specification Language DAML-S -- Coordination through Channel Composition -- Exogenous and Endogenous Extensions of Architectural Types -- Coordinating Mobile Object-Oriented Code -- Formalizing Properties of Mobile Agent Systems -- Dynamically Adapting the Behaviour of Software Components -- An Associative Broadcast Based Coordination Model for Distributed Processes -- State—and Event-Based Reactive Programming in Shared Dataspaces -- Integrating Two Organizational Systems through Communication Genres -- OpenCoLaS a Coordination Framework for CoLaS Dialects -- Coordination in a Reflective Architecture Description Language -- Coordinating Software Evolution via Two-Tier Programming -- Criteria for the Analysis of Coordination in Multi-agent Applications -- Towards a Colimit-Based Semantics for Visual Programming -- The Cost of Communication Protocols and Coordination Languages in Embedded Systems -- Operational Semantics for Coordination in Paradigm -- Service Provision in Ad Hoc Networks -- PN2: An Elementary Model for Design and Analysis of Multi-agent Systems -- A Recovery Technique Using Multi-agent in Distributed Computing Systems -- An Order-Based, Distributed Algorithm for Implementing Multiparty Interactions -- Exploiting Transiently Shared Tuple Spaces for Location Transparent Code Mobility -- Formal Specification of JavaSpaces™ Architecture Using ?CRL -- Objective vs. Subjective Coordination in Agent-Based Systems: A Case Study -- Scheduling under Uncertainty: Planning for the Ubiquitous Grid -- Using Logical Operators as an Extended Coordination Mechanism in Linda -- A Framework for Coordinating Parallel Branch and Bound Algorithms -- Policies for Cooperative Virtual Teams -- The Spacetub Models and Framework -- Tuple-Based Models in the Observation Framework -- Extending the Matching Facilities of Linda -- Semantics of Protocol Modules Composition and Interaction. |
Record Nr. | UNINA-9910143910003321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Formal Aspects of Component Software [[electronic resource] ] : 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23–25, 2019, Proceedings / / edited by Farhad Arbab, Sung-Shik Jongmans |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (X, 261 p. 886 illus., 23 illus. in color.) |
Disciplina | 004.0151 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computers Mathematical logic Software Engineering Theory of Computation Mathematical Logic and Foundations Information Systems and Communication Service |
ISBN | 3-030-40914-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Formal Logic -- Formal Methods -- Programming Languages -- Semantics -- Software Engineering -- Specifications -- Theorem Proving. |
Record Nr. | UNISA-996418207903316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Formal Aspects of Component Software : 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23–25, 2019, Proceedings / / edited by Farhad Arbab, Sung-Shik Jongmans |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (X, 261 p. 886 illus., 23 illus. in color.) |
Disciplina | 004.0151 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer science Mathematical logic Computer networks Software Engineering Theory of Computation Mathematical Logic and Foundations Computer Communication Networks |
ISBN | 3-030-40914-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Formal Logic -- Formal Methods -- Programming Languages -- Semantics -- Software Engineering -- Specifications -- Theorem Proving. |
Record Nr. | UNINA-9910380748703321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Formal Aspects of Component Software [[electronic resource] ] : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers / / edited by Farhad Arbab, Peter Csaba Ölveczky |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (X, 369 p. 131 illus.) |
Disciplina | 004.01/51 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Mathematical logic Computer logic Programming languages (Electronic computers) Computer programming Management information systems Computer science Software Engineering Mathematical Logic and Formal Languages Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Programming Techniques Management of Computing and Information Systems |
Soggetto genere / forma | Conference proceedings. |
ISBN | 3-642-35743-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Taming Distributed System Complexity through Formal Patterns -- Composing Safe Systems -- A Denotational Model for Component-Based Risk Analysis -- Synthesis of Hierarchical Systems -- A Modal Specification Theory for Components with Data -- Evaluating the Performance of Model Transformation Styles in Maude -- Interactive Transformations from Object-Oriented Models to Component-Based Models -- Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components -- Timed Conformance Testing for Orchestrated Service Discovery -- Realizability of Choreographies for Services Interacting Asynchronously -- Networks of Real-Time Actors: Schedulability Analysis and Coordination -- A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios -- The Logic of XACML -- A Proof Assistant Based Formalization of MDE Components -- Controlling an Iteration-Wise Coherence in Dataflow -- Learning from Failures: A Lightweight Approach to Run-Time Behavioural Adaptation -- Verifying Safety of Fault-Tolerant Distributed Components -- Reducing the Model Checking Cost of Product Lines Using Static Analysis Techniques -- Biographical Modelling of Architectural Patterns -- Coordinated Execution of Heterogeneous Service-Oriented Components by Abstract State Machines -- Verifying Temporal Properties of Use-Cases in Natural Language. |
Record Nr. | UNISA-996466035803316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Fundamentals of Software Engineering [[electronic resource] ] : 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers / / edited by Farhad Arbab, Marjan Sirjani |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XIX, 283 p. 85 illus.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer logic
Software engineering Logics and Meanings of Programs Software Engineering |
ISBN | 3-642-40213-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Unbounded Allocation in Bounded Heaps -- On the Complexity of Adding Convergence -- Deadlock Checking by Data Race Detection -- Delta Modeling and Model Checking of Product Families -- Lending Petri Nets and Contracts -- On Efficiency Preorders -- Compiling Cooperative Task Management to Continuations -- Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems -- Efficient Operational Semantics for EB3 for Verification of Temporal Properties -- Interval Soundness of Resource-Constrained Workflow Nets: Decidability and Repair -- Statistical Model Checking of a Clock Synchronization Protocol for Sensor Networks -- A New Representation of Two-Dimensional Patterns and Applications to Interactive Programming -- Push-Down Automata with Gap-Order Constraints -- Model Checking MANETs with Arbitrary Mobility -- Validating SCTP Simultaneous Open Procedure -- Improving Time Bounded Reachability Computations in Interactive Markov Chains -- Checking Compatibility of Web Services Behaviorally. |
Record Nr. | UNISA-996465692603316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Fundamentals of Software Engineering [[electronic resource] ] : 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers / / edited by Farhad Arbab, Marjan Sirjani |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XIX, 283 p. 85 illus.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer logic
Software engineering Logics and Meanings of Programs Software Engineering |
ISBN | 3-642-40213-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Unbounded Allocation in Bounded Heaps -- On the Complexity of Adding Convergence -- Deadlock Checking by Data Race Detection -- Delta Modeling and Model Checking of Product Families -- Lending Petri Nets and Contracts -- On Efficiency Preorders -- Compiling Cooperative Task Management to Continuations -- Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems -- Efficient Operational Semantics for EB3 for Verification of Temporal Properties -- Interval Soundness of Resource-Constrained Workflow Nets: Decidability and Repair -- Statistical Model Checking of a Clock Synchronization Protocol for Sensor Networks -- A New Representation of Two-Dimensional Patterns and Applications to Interactive Programming -- Push-Down Automata with Gap-Order Constraints -- Model Checking MANETs with Arbitrary Mobility -- Validating SCTP Simultaneous Open Procedure -- Improving Time Bounded Reachability Computations in Interactive Markov Chains -- Checking Compatibility of Web Services Behaviorally. |
Record Nr. | UNINA-9910483633703321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Fundamentals of Software Engineering [[electronic resource] ] : Fourth International IPM Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers / / edited by Farhad Arbab, Marjan Sirjani |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (XII, 377 p. 90 illus.) |
Disciplina | 005.1 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer logic Computer programming Computers Mathematical logic Programming languages (Electronic computers) Software Engineering/Programming and Operating Systems Logics and Meanings of Programs Programming Techniques Models and Principles Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters |
ISBN | 3-642-29320-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996466248103316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Fundamentals of Software Engineering [[electronic resource] ] : Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers / / edited by Farhad Arbab, Marjan Sirjani |
Edizione | [1st ed. 2010.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
Descrizione fisica | 1 online resource (XIII, 471 p.) |
Disciplina | 004 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer logic Computer programming Computers Software Engineering/Programming and Operating Systems Logics and Meanings of Programs Programming Techniques Models and Principles |
Soggetto genere / forma |
Kongress.
Kīs̆ (Insel, 2009) |
ISBN |
1-280-38560-X
9786613563521 3-642-11623-X |
Classificazione | SS 4800 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Session 1. Invited Papers -- A Process-Theoretic Look at Automata -- Verification, Performance Analysis and Controller Synthesis for Real-Time Systems -- rCOS: Theory and Tool for Component-Based Model Driven Development -- Session 2. Regular Papers -- Termination in Higher-Order Concurrent Calculi -- Typing Asymmetric Client-Server Interaction -- Equational Reasoning on Ad Hoc Networks -- Towards a Notion of Unsatisfiable Cores for LTL -- Rule Formats for Determinism and Idempotence -- The Complexity of Reachability in Randomized Sabotage Games -- Applying Step Coverability Trees to Communicating Component-Based Systems -- Program Logics for Sequential Higher-Order Control -- Modular Schedulability Analysis of Concurrent Objects in Creol -- A Timed Calculus for Wireless Systems -- Model Checking Linear Duration Invariants of Networks of Automata -- Automata Based Model Checking for Reo Connectors -- On the Expressiveness of Refinement Settings -- Bounded Rational Search for On-the-Fly Model Checking of LTL Properties -- Automated Translation and Analysis of a ToolBus Script for Auctions -- Executable Interface Specifications for Testing Asynchronous Creol Components -- Compositional Strategy Mapping -- A Sound Analysis for Secure Information Flow Using Abstract Memory Graphs -- Refinement Patterns for Hierarchical UML State Machines -- Specification and Validation of Behavioural Protocols in the rCOS Modeler -- The Interplay between Relationships, Roles and Objects -- A Coordination Model for Interactive Components -- Session 3. Short Papers -- Evolution Control in MDE Projects: Controlling Model and Code Co-evolution -- An xADL Extension for Managing Dynamic Deployment in Distributed Service Oriented Architectures -- A First Step towards Security Policy Compliance of Connectors -- A Safe Implementation of Dynamic Overloading in Java-Like Languages -- Fundamental Concepts for the Structuring of Functionality into Modular Parts. |
Record Nr. | UNISA-996465523703316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Fundamentals of Software Engineering : Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers / / edited by Farhad Arbab, Marjan Sirjani |
Edizione | [1st ed. 2010.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
Descrizione fisica | 1 online resource (XIII, 471 p.) |
Disciplina | 004 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Computer logic Computer programming Computers Software Engineering/Programming and Operating Systems Logics and Meanings of Programs Programming Techniques Models and Principles |
Soggetto genere / forma |
Kongress.
Kīs̆ (Insel, 2009) |
ISBN |
1-280-38560-X
9786613563521 3-642-11623-X |
Classificazione | SS 4800 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Session 1. Invited Papers -- A Process-Theoretic Look at Automata -- Verification, Performance Analysis and Controller Synthesis for Real-Time Systems -- rCOS: Theory and Tool for Component-Based Model Driven Development -- Session 2. Regular Papers -- Termination in Higher-Order Concurrent Calculi -- Typing Asymmetric Client-Server Interaction -- Equational Reasoning on Ad Hoc Networks -- Towards a Notion of Unsatisfiable Cores for LTL -- Rule Formats for Determinism and Idempotence -- The Complexity of Reachability in Randomized Sabotage Games -- Applying Step Coverability Trees to Communicating Component-Based Systems -- Program Logics for Sequential Higher-Order Control -- Modular Schedulability Analysis of Concurrent Objects in Creol -- A Timed Calculus for Wireless Systems -- Model Checking Linear Duration Invariants of Networks of Automata -- Automata Based Model Checking for Reo Connectors -- On the Expressiveness of Refinement Settings -- Bounded Rational Search for On-the-Fly Model Checking of LTL Properties -- Automated Translation and Analysis of a ToolBus Script for Auctions -- Executable Interface Specifications for Testing Asynchronous Creol Components -- Compositional Strategy Mapping -- A Sound Analysis for Secure Information Flow Using Abstract Memory Graphs -- Refinement Patterns for Hierarchical UML State Machines -- Specification and Validation of Behavioural Protocols in the rCOS Modeler -- The Interplay between Relationships, Roles and Objects -- A Coordination Model for Interactive Components -- Session 3. Short Papers -- Evolution Control in MDE Projects: Controlling Model and Code Co-evolution -- An xADL Extension for Managing Dynamic Deployment in Distributed Service Oriented Architectures -- A First Step towards Security Policy Compliance of Connectors -- A Safe Implementation of Dynamic Overloading in Java-Like Languages -- Fundamental Concepts for the Structuring of Functionality into Modular Parts. |
Record Nr. | UNINA-9910484150203321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|