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.
Formal Aspects of Component Software [[electronic resource] ] : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings / / edited by José Proença, Markus Lumpe
| Formal Aspects of Component Software [[electronic resource] ] : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings / / edited by José Proença, Markus Lumpe |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (X, 251 p. 58 illus.) |
| Disciplina | 004.0151 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Mathematical logic Computer logic Algorithms Computers Software Engineering Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Logics and Meanings of Programs Algorithm Analysis and Problem Complexity The Computing Profession |
| ISBN | 3-319-68034-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Component-Based Modeling in Mediator -- A Component-oriented Framework for Autonomous Agents -- Coordination of Dynamic Software Components with JavaBIP -- A Formal Model of Parallel Execution on Multicore Architectures with Multilevel Cache -- Guarded Terms for Rewriting Modulo SMT -- On Weighted Configuration Logics -- Compositional Model Checking is Lively -- Safety Analysis of Software Components of a Dialysis Machine Using Model Checking -- TOM: a Model-Based GUI Testing Framework -- Correctness-by-learning of Infinite-state Component-based Sytems -- The Implementation of Object Propositions: the Oprop Verification Tool -- Certification of Workflows in a Component-Based Cloud of High Performance Computing Services -- Fault Localization in Service Compositions -- Correct Composition of Dephased Behavioural Models. |
| Record Nr. | UNISA-996465547803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal Aspects of Component Software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings / / edited by José Proença, Markus Lumpe
| Formal Aspects of Component Software : 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings / / edited by José Proença, Markus Lumpe |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (X, 251 p. 58 illus.) |
| Disciplina | 004.0151 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Mathematical logic Computer logic Algorithms Computers Software Engineering Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Logics and Meanings of Programs Algorithm Analysis and Problem Complexity The Computing Profession |
| ISBN | 3-319-68034-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Component-Based Modeling in Mediator -- A Component-oriented Framework for Autonomous Agents -- Coordination of Dynamic Software Components with JavaBIP -- A Formal Model of Parallel Execution on Multicore Architectures with Multilevel Cache -- Guarded Terms for Rewriting Modulo SMT -- On Weighted Configuration Logics -- Compositional Model Checking is Lively -- Safety Analysis of Software Components of a Dialysis Machine Using Model Checking -- TOM: a Model-Based GUI Testing Framework -- Correctness-by-learning of Infinite-state Component-based Sytems -- The Implementation of Object Propositions: the Oprop Verification Tool -- Certification of Workflows in a Component-Based Cloud of High Performance Computing Services -- Fault Localization in Service Compositions -- Correct Composition of Dephased Behavioural Models. |
| Record Nr. | UNINA-9910483677903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal Aspects of Component Software [[electronic resource] ] : 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers / / edited by Luis Soares Barbosa, Markus Lumpe
| Formal Aspects of Component Software [[electronic resource] ] : 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers / / edited by Luis Soares Barbosa, Markus Lumpe |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (X, 305 p.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Mathematical logic Computer programming Computer communication systems Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Programming Techniques Computer Communication Networks |
| ISBN | 3-642-27269-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465926703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Software composition : 6th international symposium, SC 2007, Braga, Portugal, March 24-25, 2007, revised selected papers / / edited by Markus Lumpe and Wim Vanderperren
| Software composition : 6th international symposium, SC 2007, Braga, Portugal, March 24-25, 2007, revised selected papers / / edited by Markus Lumpe and Wim Vanderperren |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [2007] |
| Descrizione fisica | 1 online resource (X, 281 p.) |
| Disciplina | 005.3 |
| Collana | Programming and Software Engineering |
| Soggetto topico | Software engineering |
| ISBN | 3-540-77351-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- Composition by Anonymous Third Parties -- Session: Composition Contracts -- Defining Component Protocols with Service Composition: Illustration with the Kmelia Model -- Composite Contract Enforcement in Hierarchical Component Systems -- Towards a Unifying Theory for Choreography Conformance and Contract Compliance -- Session: Composition Design and Analysis -- A Process-Algebraic Approach to Workflow Specification and Refinement -- Generic Feature-Based Software Composition -- Composition Management Interfaces for a Predictable Assembly -- Path-Based Error Propagation Analysis in Composition of Software Services -- Session: Dynamic Composition -- Dynamically Adaptable Applications with iPOJO Service Components -- Dynamic Contextual Service Ranking -- Session: Short Papers -- Measuring Reactability of Persistent Computing Systems -- Requirements for Applying Aspect-Oriented Techniques in Web Service Composition Languages -- Synthesizing Communication Middleware from Explicit Connectors in Component Based Distributed Architectures -- Streamlining Feature-Oriented Designs -- Requirements for Reusable Aspect Deployment -- Session: Aspect-Oriented Programming -- Aspect-Oriented Programming: Selecting and Exposing Object Paths -- Debugging Aspect-Enabled Programs -- Unification of Static and Dynamic AOP for Evolution in Embedded Software Systems -- Session: Structural Composition -- Patterns of Component Evolution -- An Approach for Structural Pattern Composition -- Composite Connectors for Composing Software Components. |
| Record Nr. | UNINA-9910484273903321 |
| Berlin, Germany ; ; New York, New York : , : Springer, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Software composition : 6th international symposium, SC 2007, Braga, Portugal, March 24-25, 2007, revised selected papers / / edited by Markus Lumpe and Wim Vanderperren
| Software composition : 6th international symposium, SC 2007, Braga, Portugal, March 24-25, 2007, revised selected papers / / edited by Markus Lumpe and Wim Vanderperren |
| Edizione | [1st ed. 2007.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer, , [2007] |
| Descrizione fisica | 1 online resource (X, 281 p.) |
| Disciplina | 005.3 |
| Collana | Programming and Software Engineering |
| Soggetto topico | Software engineering |
| ISBN | 3-540-77351-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- Composition by Anonymous Third Parties -- Session: Composition Contracts -- Defining Component Protocols with Service Composition: Illustration with the Kmelia Model -- Composite Contract Enforcement in Hierarchical Component Systems -- Towards a Unifying Theory for Choreography Conformance and Contract Compliance -- Session: Composition Design and Analysis -- A Process-Algebraic Approach to Workflow Specification and Refinement -- Generic Feature-Based Software Composition -- Composition Management Interfaces for a Predictable Assembly -- Path-Based Error Propagation Analysis in Composition of Software Services -- Session: Dynamic Composition -- Dynamically Adaptable Applications with iPOJO Service Components -- Dynamic Contextual Service Ranking -- Session: Short Papers -- Measuring Reactability of Persistent Computing Systems -- Requirements for Applying Aspect-Oriented Techniques in Web Service Composition Languages -- Synthesizing Communication Middleware from Explicit Connectors in Component Based Distributed Architectures -- Streamlining Feature-Oriented Designs -- Requirements for Reusable Aspect Deployment -- Session: Aspect-Oriented Programming -- Aspect-Oriented Programming: Selecting and Exposing Object Paths -- Debugging Aspect-Enabled Programs -- Unification of Static and Dynamic AOP for Evolution in Embedded Software Systems -- Session: Structural Composition -- Patterns of Component Evolution -- An Approach for Structural Pattern Composition -- Composite Connectors for Composing Software Components. |
| Record Nr. | UNISA-996465280303316 |
| Berlin, Germany ; ; New York, New York : , : Springer, , [2007] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||