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.
Coordination models and languages : 24th IFIP WG 6. 1 International Conference, COORDINATION 2022, held as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings / / Maurice H. ter Beek, Marjan Sirjani, editors
| Coordination models and languages : 24th IFIP WG 6. 1 International Conference, COORDINATION 2022, held as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings / / Maurice H. ter Beek, Marjan Sirjani, editors |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (246 pages) |
| Disciplina | 004.36 |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Electronic data processing - Distributed processing
Software architecture |
| ISBN | 3-031-08143-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996478866803316 |
| Cham, Switzerland : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Coordination models and languages : 24th IFIP WG 6. 1 International Conference, COORDINATION 2022, held as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings / / Maurice H. ter Beek, Marjan Sirjani, editors
| Coordination models and languages : 24th IFIP WG 6. 1 International Conference, COORDINATION 2022, held as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings / / Maurice H. ter Beek, Marjan Sirjani, editors |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (246 pages) |
| Disciplina | 004.36 |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Electronic data processing - Distributed processing
Software architecture |
| ISBN | 3-031-08143-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910578683503321 |
| Cham, Switzerland : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Coordination Models and Languages [[electronic resource] ] : 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012, Proceedings / / edited by Marjan Sirjani
| Coordination Models and Languages [[electronic resource] ] : 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012, Proceedings / / edited by Marjan Sirjani |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XIV, 277 p. 96 illus.) |
| Disciplina | 004/.36 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer programming Computer communication systems Computers Application software Software Engineering Programming Techniques Software Engineering/Programming and Operating Systems Computer Communication Networks Models and Principles Information Systems Applications (incl. Internet) |
| Soggetto genere / forma | Conference papers and proceedings. |
| ISBN | 3-642-30829-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465319203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Fundamentals of Software Engineering [[electronic resource] ] : 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers / / edited by Mehdi Dastani, Marjan Sirjani
| Fundamentals of Software Engineering [[electronic resource] ] : 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers / / edited by Mehdi Dastani, Marjan Sirjani |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (X, 261 p. 70 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Algorithms Programming languages (Electronic computers) Computer programming Computer organization Software Engineering Logics and Meanings of Programs Algorithm Analysis and Problem Complexity Programming Languages, Compilers, Interpreters Programming Techniques Computer Systems Organization and Communication Networks |
| ISBN | 3-319-68972-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Implementing Open Call-by-Value -- Debugging of Concurrent Programs Using Counterexample Analysis -- Bisimilarity of Open Terms in Stream GSOS -- Composing Families of Timed Automata -- A Core Calculus for Multi SPLs -- Translating Active Objects into Colored Petri Nets for Communication Analysias -- Synthesizing Parameterized Self-Stabilizing Rings with Constant-Space Processes -- Flexible Transactional Coordination in the Peer Model -- Using Swarm Intelligence to Generate Test Data for Covering Prime Paths -- LittleDarwin: a Feature-Rich and Extensible Mutation Testing Framework for Large and Complex Java Systems -- TCE+: An Extension of the TCE Approach for Detecting Equivalent Mutants in Java Programs -- Quality-Aware Reactive Programming for the IoT -- Purpose-based Policy Enforcement in Actor-based Systems -- Automatic Transition System Model Identification for Network Applications from Packet Traces -- Gray-Box Conformance Testing for Symbolic Reactive State Machines -- Model Checking of Concurrent Software Systems via Heuristic-Guided SAT Solving. . |
| Record Nr. | UNINA-9910485027303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Fundamentals of Software Engineering [[electronic resource] ] : 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers / / edited by Mehdi Dastani, Marjan Sirjani
| Fundamentals of Software Engineering [[electronic resource] ] : 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers / / edited by Mehdi Dastani, Marjan Sirjani |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (X, 261 p. 70 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Algorithms Programming languages (Electronic computers) Computer programming Computer organization Software Engineering Logics and Meanings of Programs Algorithm Analysis and Problem Complexity Programming Languages, Compilers, Interpreters Programming Techniques Computer Systems Organization and Communication Networks |
| ISBN | 3-319-68972-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Implementing Open Call-by-Value -- Debugging of Concurrent Programs Using Counterexample Analysis -- Bisimilarity of Open Terms in Stream GSOS -- Composing Families of Timed Automata -- A Core Calculus for Multi SPLs -- Translating Active Objects into Colored Petri Nets for Communication Analysias -- Synthesizing Parameterized Self-Stabilizing Rings with Constant-Space Processes -- Flexible Transactional Coordination in the Peer Model -- Using Swarm Intelligence to Generate Test Data for Covering Prime Paths -- LittleDarwin: a Feature-Rich and Extensible Mutation Testing Framework for Large and Complex Java Systems -- TCE+: An Extension of the TCE Approach for Detecting Equivalent Mutants in Java Programs -- Quality-Aware Reactive Programming for the IoT -- Purpose-based Policy Enforcement in Actor-based Systems -- Automatic Transition System Model Identification for Network Applications from Packet Traces -- Gray-Box Conformance Testing for Symbolic Reactive State Machines -- Model Checking of Concurrent Software Systems via Heuristic-Guided SAT Solving. . |
| Record Nr. | UNISA-996465324903316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Fundamentals of Software Engineering [[electronic resource] ] : 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers / / edited by Mehdi Dastani, Marjan Sirjani
| Fundamentals of Software Engineering [[electronic resource] ] : 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers / / edited by Mehdi Dastani, Marjan Sirjani |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (X, 317 p. 80 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Artificial intelligence Programming languages (Electronic computers) Computer programming Software Engineering Logics and Meanings of Programs Artificial Intelligence Programming Languages, Compilers, Interpreters Programming Techniques |
| ISBN | 3-319-24644-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Towards Smart Systems of Systems -- Automated Integration of Service-oriented Software Systems -- Software Architecture Modeling and Evaluation Based on Stochastic -- Applicative Bisimulation and Quantum Lambda-Calculi -- A Theory of Integrating Tamper Evidence with Stabilization -- A Safe Stopping Protocol to Enable Reliable Reconfiguration for Component-based Distributed Systems -- Efficient Architecture-Level Configuration of Large-Scale Embedded Software Systems -- Benchmarks for Parity Games -- A behavioral theory for a pi-calculus with preorders -- Incremental Realization of Safety Requirements: Non-Determinism vs. Modularity -- Analyzing Mutable Checkpointing -- High Performance Computing Applications using Parallel Data Processing Units -- Improved Iterative Methods for Verifying Markov Decision Processes -- A Pre-congruence Format for XY-simulation -- Tooled Process for Early Validation of SysML Models using Modelica Simulation -- Can High Throughput Atone for High Latency in Compiler-Generated Protocol Code? -- Painless support for static and runtime verification of component-based Applications -- Linear Evolution of Domain Architecture in Service-Oriented Software Product Lines -- An Interval-Based Approach to Modelling Time in Event-B -- From Event-B Models to Dafny Code Contracts. |
| Record Nr. | UNISA-996466300603316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Fundamentals of Software Engineering [[electronic resource] ] : 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers / / edited by Mehdi Dastani, Marjan Sirjani
| Fundamentals of Software Engineering [[electronic resource] ] : 6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015. Revised Selected Papers / / edited by Mehdi Dastani, Marjan Sirjani |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (X, 317 p. 80 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Artificial intelligence Programming languages (Electronic computers) Computer programming Software Engineering Logics and Meanings of Programs Artificial Intelligence Programming Languages, Compilers, Interpreters Programming Techniques |
| ISBN | 3-319-24644-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Towards Smart Systems of Systems -- Automated Integration of Service-oriented Software Systems -- Software Architecture Modeling and Evaluation Based on Stochastic -- Applicative Bisimulation and Quantum Lambda-Calculi -- A Theory of Integrating Tamper Evidence with Stabilization -- A Safe Stopping Protocol to Enable Reliable Reconfiguration for Component-based Distributed Systems -- Efficient Architecture-Level Configuration of Large-Scale Embedded Software Systems -- Benchmarks for Parity Games -- A behavioral theory for a pi-calculus with preorders -- Incremental Realization of Safety Requirements: Non-Determinism vs. Modularity -- Analyzing Mutable Checkpointing -- High Performance Computing Applications using Parallel Data Processing Units -- Improved Iterative Methods for Verifying Markov Decision Processes -- A Pre-congruence Format for XY-simulation -- Tooled Process for Early Validation of SysML Models using Modelica Simulation -- Can High Throughput Atone for High Latency in Compiler-Generated Protocol Code? -- Painless support for static and runtime verification of component-based Applications -- Linear Evolution of Domain Architecture in Service-Oriented Software Product Lines -- An Interval-Based Approach to Modelling Time in Event-B -- From Event-B Models to Dafny Code Contracts. |
| Record Nr. | UNINA-9910485013103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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
| 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 | ||
| Materiale a stampa | ||
| 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
| 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 | ||
| Materiale a stampa | ||
| 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
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
