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.
Mathematical frameworks for component software [[electronic resource] ] : models for analysis and synthesis / / [edited by] Zhiming Liu, He Jifeng
| Mathematical frameworks for component software [[electronic resource] ] : models for analysis and synthesis / / [edited by] Zhiming Liu, He Jifeng |
| Pubbl/distr/stampa | Hackensack, NJ, : World Scientific, c2006 |
| Descrizione fisica | 1 online resource (368 p.) |
| Disciplina | 005.3 |
| Altri autori (Persone) |
HeJifeng <1943->
LiuZhiming <1961-> |
| Collana | Series on component-based software development |
| Soggetto topico |
Component software - Mathematical models
Computer software |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-281-37322-2
9786611373221 981-277-283-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Contents ; Preface ; 1. Temporal Specification of Component Based Systems with Polymorphic Dynamic Reconfiguration ; 1.1. Introduction ; 1.2. A Model of Reconfigurable Component Based Systems ; 1.3. A Temporal Specification Language ; 1.4. Conclusions ; Bibliography
2. Coordinated Composition of Software Components 2.1. Introduction ; 2.2. Components and Their Composition ; 2.3. System Composition Example ; 2.4. Constraint Automata ; 2.5. ABT as Relations on Timed Data Streams ; 2.6. Reo ; 2.7. Time/Temperature Display Coordinator 2.8. Conclusions Bibliography ; 3. On the Semantics of Componentware: A Coalgebraic Persecutive ; 3.1. Introduction ; 3.2. Why Coalgebra Matters ; 3.3. Components as Coalgebras and their Calculi ; 3.4. Application to the Semantics of UML 3.5. Application to the Design of Component Repositories 3.6. Conclusions and Further Work ; Bibliography ; 4. A Theory for Requirements Specification and Architecture Design of Multi-Functional Software Systems ; 4.1. Motivation ; 4.2. Components Interfaces and Services 4.3. Specifying Structuring Relating and Combining Services 4.4. Architectures: Composing Components and Services ; 4.5. Summary and Outlook ; Bibliography ; 5. Component: From Mobile to Channels ; 5.1. Introduction ; 5.2. UML ; 5.3. The component model 5.4. Inter-component coordination via mobile channels |
| Record Nr. | UNINA-9910451534103321 |
| Hackensack, NJ, : World Scientific, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mathematical frameworks for component software [[electronic resource] ] : models for analysis and synthesis / / [edited by] Zhiming Liu, He Jifeng
| Mathematical frameworks for component software [[electronic resource] ] : models for analysis and synthesis / / [edited by] Zhiming Liu, He Jifeng |
| Pubbl/distr/stampa | Hackensack, NJ, : World Scientific, c2006 |
| Descrizione fisica | 1 online resource (368 p.) |
| Disciplina | 005.3 |
| Altri autori (Persone) |
HeJifeng <1943->
LiuZhiming <1961-> |
| Collana | Series on component-based software development |
| Soggetto topico |
Component software - Mathematical models
Computer software |
| ISBN |
1-281-37322-2
9786611373221 981-277-283-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Contents ; Preface ; 1. Temporal Specification of Component Based Systems with Polymorphic Dynamic Reconfiguration ; 1.1. Introduction ; 1.2. A Model of Reconfigurable Component Based Systems ; 1.3. A Temporal Specification Language ; 1.4. Conclusions ; Bibliography
2. Coordinated Composition of Software Components 2.1. Introduction ; 2.2. Components and Their Composition ; 2.3. System Composition Example ; 2.4. Constraint Automata ; 2.5. ABT as Relations on Timed Data Streams ; 2.6. Reo ; 2.7. Time/Temperature Display Coordinator 2.8. Conclusions Bibliography ; 3. On the Semantics of Componentware: A Coalgebraic Persecutive ; 3.1. Introduction ; 3.2. Why Coalgebra Matters ; 3.3. Components as Coalgebras and their Calculi ; 3.4. Application to the Semantics of UML 3.5. Application to the Design of Component Repositories 3.6. Conclusions and Further Work ; Bibliography ; 4. A Theory for Requirements Specification and Architecture Design of Multi-Functional Software Systems ; 4.1. Motivation ; 4.2. Components Interfaces and Services 4.3. Specifying Structuring Relating and Combining Services 4.4. Architectures: Composing Components and Services ; 4.5. Summary and Outlook ; Bibliography ; 5. Component: From Mobile to Channels ; 5.1. Introduction ; 5.2. UML ; 5.3. The component model 5.4. Inter-component coordination via mobile channels |
| Record Nr. | UNINA-9910777496303321 |
| Hackensack, NJ, : World Scientific, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mathematical frameworks for component software : models for analysis and synthesis / / [edited by] Zhiming Liu, He Jifeng
| Mathematical frameworks for component software : models for analysis and synthesis / / [edited by] Zhiming Liu, He Jifeng |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Hackensack, NJ, : World Scientific, c2006 |
| Descrizione fisica | 1 online resource (368 p.) |
| Disciplina | 005.3 |
| Altri autori (Persone) |
HeJifeng <1943->
LiuZhiming <1961-> |
| Collana | Series on component-based software development |
| Soggetto topico |
Component software - Mathematical models
Computer software |
| ISBN |
1-281-37322-2
9786611373221 981-277-283-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Contents ; Preface ; 1. Temporal Specification of Component Based Systems with Polymorphic Dynamic Reconfiguration ; 1.1. Introduction ; 1.2. A Model of Reconfigurable Component Based Systems ; 1.3. A Temporal Specification Language ; 1.4. Conclusions ; Bibliography
2. Coordinated Composition of Software Components 2.1. Introduction ; 2.2. Components and Their Composition ; 2.3. System Composition Example ; 2.4. Constraint Automata ; 2.5. ABT as Relations on Timed Data Streams ; 2.6. Reo ; 2.7. Time/Temperature Display Coordinator 2.8. Conclusions Bibliography ; 3. On the Semantics of Componentware: A Coalgebraic Persecutive ; 3.1. Introduction ; 3.2. Why Coalgebra Matters ; 3.3. Components as Coalgebras and their Calculi ; 3.4. Application to the Semantics of UML 3.5. Application to the Design of Component Repositories 3.6. Conclusions and Further Work ; Bibliography ; 4. A Theory for Requirements Specification and Architecture Design of Multi-Functional Software Systems ; 4.1. Motivation ; 4.2. Components Interfaces and Services 4.3. Specifying Structuring Relating and Combining Services 4.4. Architectures: Composing Components and Services ; 4.5. Summary and Outlook ; Bibliography ; 5. Component: From Mobile to Channels ; 5.1. Introduction ; 5.2. UML ; 5.3. The component model 5.4. Inter-component coordination via mobile channels |
| Record Nr. | UNINA-9910820226703321 |
| Hackensack, NJ, : World Scientific, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
