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 |
|---|---|
| Otros Autores: | , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Hackensack, NJ :
World Scientific,
©2006.
|
| Colección: | Series on component-based software development ;
v. 2. |
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000Ma 4500 | ||
|---|---|---|---|
| 001 | EBSCO_ocn299585151 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 090123s2006 njua ob 001 0 eng d | ||
| 010 | |a 2007297985 | ||
| 040 | |a CaPaEBR |b eng |e pn |c CUY |d OCLCQ |d N$T |d YDXCP |d OCLCE |d OCL |d E7B |d IDEBK |d OCLCQ |d FVL |d OCLCQ |d OCLCO |d OCLCQ |d AZK |d MOR |d PIFAG |d OCLCQ |d OCLCF |d JBG |d STF |d WRM |d VTS |d NRAMU |d VT2 |d AU@ |d OCLCQ |d WYU |d UKCRE |d OCLCO |d OCL |d OCLCQ |d OCLCO | ||
| 019 | |a 182491208 |a 607909620 |a 608390883 |a 613392493 |a 722615228 |a 728032992 |a 961531091 |a 962585218 |a 988433023 |a 991990182 |a 1037704114 |a 1038698357 |a 1045439319 |a 1055385489 |a 1062980222 |a 1081204011 |a 1153466279 | ||
| 020 | |a 9789812772831 |q (electronic bk.) | ||
| 020 | |a 9812772839 |q (electronic bk.) | ||
| 020 | |z 9789812700179 | ||
| 020 | |z 981270017X | ||
| 029 | 1 | |a AU@ |b 000051393998 | |
| 029 | 1 | |a DEBBG |b BV043074748 | |
| 029 | 1 | |a DEBSZ |b 422165905 | |
| 029 | 1 | |a NZ1 |b 12551497 | |
| 035 | |a (OCoLC)299585151 |z (OCoLC)182491208 |z (OCoLC)607909620 |z (OCoLC)608390883 |z (OCoLC)613392493 |z (OCoLC)722615228 |z (OCoLC)728032992 |z (OCoLC)961531091 |z (OCoLC)962585218 |z (OCoLC)988433023 |z (OCoLC)991990182 |z (OCoLC)1037704114 |z (OCoLC)1038698357 |z (OCoLC)1045439319 |z (OCoLC)1055385489 |z (OCoLC)1062980222 |z (OCoLC)1081204011 |z (OCoLC)1153466279 | ||
| 042 | |a dlr | ||
| 050 | 4 | |a QA76.76.C66 |b M38 2006eb | |
| 072 | 7 | |a REF |x 000000 |2 bisacsh | |
| 082 | 0 | 4 | |a 005.3 |2 22 |
| 049 | |a UAMI | ||
| 245 | 0 | 0 | |a Mathematical frameworks for component software : |b models for analysis and synthesis / |c [edited by] Zhiming Liu, He Jifeng. |
| 260 | |a Hackensack, NJ : |b World Scientific, |c ©2006. | ||
| 300 | |a 1 online resource (xii, 354 pages) : |b illustrations. | ||
| 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 ; |v v. 2 | |
| 504 | |a Includes bibliographical references and index. | ||
| 505 | 0 | |a Temporal specification of component based systems with polymorphic dynamic reconfiguration / N. Aguirre and T. Maibaum -- Coordinated composition of software components / F. Arbab -- On the semantics of componentware : a coalgebraic persecutive / L.S. Barbosa [and others] -- A theory for requirements specification and architecture design / M. Broy -- Component : from mobile to channels / F.S. de Boer, M.M. Bonsangue, and J.V. Guillen-Scholten -- Formalizing the transition from requirements to design / R.G. Dromey -- rCOS : a relational calculus of components / Z. Liu, J. He, and X. Li -- Characterising object-based frameworks in first-order predicate logic / S.-M. Ho and K.-K. Lau -- Formalization in component based development / J.P. Holmegaard [and others] -- A model-driven approach for building business components / V. Kulkarni and S. Reddy -- A formal approach to constructing well-behaved systems using components / S. Moschoyiannis, J. Küster-Filipe, and M.W. Shields. | |
| 588 | 0 | |a Print version record. | |
| 506 | |3 Use copy |f Restrictions unspecified |2 star |5 MiAaHDL | ||
| 533 | |a Electronic reproduction. |b [S.l.] : |c HathiTrust Digital Library, |d 2010. |5 MiAaHDL | ||
| 538 | |a Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. |u http://purl.oclc.org/DLF/benchrepro0212 |5 MiAaHDL | ||
| 583 | 1 | |a digitized |c 2010 |h HathiTrust Digital Library |l committed to preserve |2 pda |5 MiAaHDL | |
| 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. | ||
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 650 | 0 | |a Component software |x Mathematical models. | |
| 650 | 0 | |a Computer software. | |
| 650 | 0 | |a Computer programs. | |
| 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 programs |2 fast | |
| 650 | 7 | |a Computer software |2 fast | |
| 700 | 1 | |a He, Jifeng, |d 1943- | |
| 700 | 1 | |a Liu, Zhiming, |d 1961- | |
| 776 | 0 | 8 | |i Print version: |t Mathematical frameworks for component software. |d Hackensack, NJ : World Scientific, ©2006 |w (DLC) 2007297985 |
| 830 | 0 | |a Series on component-based software development ; |v v. 2. | |
| 856 | 4 | 0 | |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=210850 |z Texto completo |
| 938 | |a ebrary |b EBRY |n ebr10201265 | ||
| 938 | |a EBSCOhost |b EBSC |n 210850 | ||
| 938 | |a YBP Library Services |b YANK |n 2740331 | ||
| 994 | |a 92 |b IZTAP | ||