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.
Component-Based Software Engineering [[electronic resource] ] : 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings / / edited by Grace A. Lewis, Iman Poernomo, Christine Hofmeister
| Component-Based Software Engineering [[electronic resource] ] : 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings / / edited by Grace A. Lewis, Iman Poernomo, Christine Hofmeister |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (X, 275 p.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer programming Programming languages (Electronic computers) Computer software—Reusability Computer logic Software Engineering/Programming and Operating Systems Software Engineering Programming Techniques Programming Languages, Compilers, Interpreters Performance and Reliability Logics and Meanings of Programs |
| Soggetto genere / forma | Kongress. |
| ISBN | 3-642-02414-9 |
| Classificazione |
DAT 315f
SS 4800 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Component Models: Taxonomies and Applications -- On Component Identification Approaches – Classification, State of the Art, and Comparison -- Domain-Specific Software Component Models -- A Model-Driven Engineering Framework for Component Models Interoperability -- Component Integration: Patterns and Profiling -- Process Patterns for Component-Based Software Development -- Selecting Fault Tolerant Styles for Third-Party Components with Model Checking Support -- Extracting Behavior Specification of Components in Legacy Applications -- Towards Dynamic Component Isolation in a Service Oriented Platform -- Communication and Composition -- Control Encapsulation: A Calculus for Exogenous Composition of Software Components -- Component Specification Using Event Classes -- Integrating Functional and Architectural Views of Reactive Systems -- Extra-Functional Analysis -- Integration of Extra-Functional Properties in Component Models -- Modelling Layered Component Execution Environments for Performance Prediction -- Component-Based Real-Time Operating System for Embedded Applications -- Components within the Development Life Cycle -- Services + Components = Data Intensive Scientific Workflow Applications with MeDICi -- Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations -- Unit Testing of Software Components with Inter-component Dependencies. |
| Record Nr. | UNISA-996465527303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Component-based software engineering : 12th international symposium, CBSE 2009, East Stroudsburg, PA, USA, June 24-26, 2009, proceedings / / Grace A. Lewis, Iman Poernomo, Christine Hofmeister (eds.)
| Component-based software engineering : 12th international symposium, CBSE 2009, East Stroudsburg, PA, USA, June 24-26, 2009, proceedings / / Grace A. Lewis, Iman Poernomo, Christine Hofmeister (eds.) |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, : Springer, c2009 |
| Descrizione fisica | 1 online resource (X, 275 p.) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
LewisGrace A
PoernomoIman Hafiz <1976-> HofmeisterChristine |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Software engineering
Component software |
| ISBN | 3-642-02414-9 |
| Classificazione |
DAT 315f
SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Component Models: Taxonomies and Applications -- On Component Identification Approaches – Classification, State of the Art, and Comparison -- Domain-Specific Software Component Models -- A Model-Driven Engineering Framework for Component Models Interoperability -- Component Integration: Patterns and Profiling -- Process Patterns for Component-Based Software Development -- Selecting Fault Tolerant Styles for Third-Party Components with Model Checking Support -- Extracting Behavior Specification of Components in Legacy Applications -- Towards Dynamic Component Isolation in a Service Oriented Platform -- Communication and Composition -- Control Encapsulation: A Calculus for Exogenous Composition of Software Components -- Component Specification Using Event Classes -- Integrating Functional and Architectural Views of Reactive Systems -- Extra-Functional Analysis -- Integration of Extra-Functional Properties in Component Models -- Modelling Layered Component Execution Environments for Performance Prediction -- Component-Based Real-Time Operating System for Embedded Applications -- Components within the Development Life Cycle -- Services + Components = Data Intensive Scientific Workflow Applications with MeDICi -- Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations -- Unit Testing of Software Components with Inter-component Dependencies. |
| Record Nr. | UNINA-9910483486303321 |
| Berlin, : Springer, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 2nd International Workshop on Principles of Engineering Service-Oriented Systems
| Proceedings of the 2nd International Workshop on Principles of Engineering Service-Oriented Systems |
| Autore | Lewis Grace A |
| Pubbl/distr/stampa | [Place of publication not identified] : , : Association for Computing Machinery, , 2010 |
| Descrizione fisica | 1 online resource (91 pages) |
| Collana | ACM Conferences. |
| Soggetto topico | Information Technology - Computer Science (Hardware & Networks) |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | PESOS '10 |
| Record Nr. | UNINA-9910376069403321 |
Lewis Grace A
|
||
| [Place of publication not identified] : , : Association for Computing Machinery, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proceedings of the 2nd International Workshop on Systems Development in SOA Environments
| Proceedings of the 2nd International Workshop on Systems Development in SOA Environments |
| Autore | Kontogiannis Kostas |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2008 |
| Descrizione fisica | 1 online resource (82 pages) |
| Collana | ACM Conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti | SDSOA '08 |
| Record Nr. | UNINA-9910376168503321 |
|
Kontogiannis Kostas
|
||
| [Place of publication not identified], : ACM, 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Service-Oriented Computing [[electronic resource] ] : 12th International Conference, ICSOC 2014, Paris, France, November 3-6, 2014, Proceedings / / edited by Xavier Franch, Aditya K Ghose, Grace A. Lewis, Sami Bhiri
| Service-Oriented Computing [[electronic resource] ] : 12th International Conference, ICSOC 2014, Paris, France, November 3-6, 2014, Proceedings / / edited by Xavier Franch, Aditya K Ghose, Grace A. Lewis, Sami Bhiri |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XXII, 600 p. 224 illus.) |
| Disciplina | 004.36 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer communication systems Application software Information storage and retrieval Management information systems Computer science Information technology Business—Data processing Software Engineering Computer Communication Networks Information Systems Applications (incl. Internet) Information Storage and Retrieval Management of Computing and Information Systems IT in Business |
| ISBN | 3-662-45391-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Business process management -- Service composition and discovery -- Service design, description and evolution -- Cloud and business service management -- Ensuring composition properties -- Quality of service -- Semantic web services -- Service management -- Cloud service management -- Business service management -- Trust -- Service design and description. |
| Record Nr. | UNISA-996202053003316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Service-Oriented Computing : 12th International Conference, ICSOC 2014, Paris, France, November 3-6, 2014, Proceedings / / edited by Xavier Franch, Aditya K Ghose, Grace A. Lewis, Sami Bhiri
| Service-Oriented Computing : 12th International Conference, ICSOC 2014, Paris, France, November 3-6, 2014, Proceedings / / edited by Xavier Franch, Aditya K Ghose, Grace A. Lewis, Sami Bhiri |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XXII, 600 p. 224 illus.) |
| Disciplina | 004.36 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer communication systems Application software Information storage and retrieval Management information systems Computer science Information technology Business—Data processing Software Engineering Computer Communication Networks Information Systems Applications (incl. Internet) Information Storage and Retrieval Management of Computing and Information Systems IT in Business |
| ISBN | 3-662-45391-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Business process management -- Service composition and discovery -- Service design, description and evolution -- Cloud and business service management -- Ensuring composition properties -- Quality of service -- Semantic web services -- Service management -- Cloud service management -- Business service management -- Trust -- Service design and description. |
| Record Nr. | UNINA-9910484590603321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||