Cargando…
Mathematical Frameworks for Component Software : Models for Analysis and Synthesis.
The range of components technology is both wide and diverse, but some common understanding is emerging through the ideas of model-based development. These include the notions of interfaces, contracts, services, connectors and architectures. Key issues in the application of the technology are becomin...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Singapore :
World Scientific Publishing Company,
2006.
|
| Colección: | Series on component-based software development.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000Mi 4500 | ||
|---|---|---|---|
| 001 | EBOOKCENTRAL_ocn879023693 | ||
| 003 | OCoLC | ||
| 005 | 20240329122006.0 | ||
| 006 | m o d | ||
| 007 | cr |n|---||||| | ||
| 008 | 140501s2006 si o 000 0 eng d | ||
| 010 | |z 2007297985 | ||
| 040 | |a MHW |b eng |e pn |c MHW |d EBLCP |d OCLCO |d OCLCQ |d DEBSZ |d OCLCQ |d COCUF |d OCLCO |d AGLDB |d ZCU |d MERUC |d OCLCQ |d OCLCO |d U3W |d OCLCF |d ICG |d INT |d AU@ |d OCLCQ |d DKC |d OCLCQ |d M8D |d UKAHL |d OCLCQ |d LEAUB |d OCLCO |d QGK |d OCLCQ |d OCLCO | ||
| 019 | |a 1086489438 |a 1259102925 | ||
| 020 | |a 9789812772831 | ||
| 020 | |a 9812772839 | ||
| 020 | |a 1281373222 | ||
| 020 | |a 9781281373229 | ||
| 020 | |a 9786611373221 | ||
| 020 | |a 6611373225 | ||
| 029 | 1 | |a AU@ |b 000058360981 | |
| 029 | 1 | |a DEBBG |b BV044178921 | |
| 029 | 1 | |a DEBSZ |b 431677220 | |
| 035 | |a (OCoLC)879023693 |z (OCoLC)1086489438 |z (OCoLC)1259102925 | ||
| 050 | 4 | |a QA76.76.C66 M38 2006 | |
| 082 | 0 | 4 | |a 005.3 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Liu, Zhiming. | |
| 245 | 1 | 0 | |a Mathematical Frameworks for Component Software : |b Models for Analysis and Synthesis. |
| 260 | |a Singapore : |b World Scientific Publishing Company, |c 2006. | ||
| 300 | |a 1 online resource (368 pages) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Series on Component-Based Software Development | |
| 588 | 0 | |a Print version record. | |
| 520 | |a The range of components technology is both wide and diverse, but some common understanding is emerging through the ideas of model-based development. These include the notions of interfaces, contracts, services, connectors and architectures. Key issues in the application of the technology are becoming clearer, including the consistent integration of different views of a component, component composition, component coordination and transformation for platforms. However, we still know little about theories that support analysis and synthesis of component-based systems. The distinct feature of this. | ||
| 505 | 0 | |a 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. | |
| 505 | 8 | |a 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. | |
| 505 | 8 | |a 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. | |
| 505 | 8 | |a 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. | |
| 505 | 8 | |a 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. | |
| 504 | |a Includes bibliographical references and index. | ||
| 546 | |a English. | ||
| 590 | |a ProQuest Ebook Central |b Ebook Central Academic Complete | ||
| 650 | 0 | |a Component software |x Mathematical models. | |
| 650 | 0 | |a Computer software. | |
| 650 | 2 | |a Software | |
| 650 | 6 | |a Composants logiciels |x Modèles mathématiques. | |
| 650 | 6 | |a Logiciels. | |
| 650 | 7 | |a software. |2 aat | |
| 650 | 7 | |a REFERENCE |x General. |2 bisacsh | |
| 650 | 7 | |a Computer software |2 fast | |
| 700 | 1 | |a Jifeng, He. | |
| 776 | 0 | 8 | |i Print version: |z 9789812700179 |
| 830 | 0 | |a Series on component-based software development. | |
| 856 | 4 | 0 | |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=1679529 |z Texto completo |
| 938 | |a Askews and Holts Library Services |b ASKH |n AH24684390 | ||
| 938 | |a EBL - Ebook Library |b EBLB |n EBL1679529 | ||
| 994 | |a 92 |b IZTAP | ||