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...
Saved in:
| Other Authors: | , |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Hackensack, NJ :
World Scientific,
©2006.
|
| Series: | Series on component-based software development ;
v. 2. |
| Subjects: | |
| Online Access: | DE-862 DE-863 |
| Summary: | 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. |
| Physical Description: | 1 online resource (xii, 354 pages) : illustrations. |
| Format: | 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. |
| Bibliography: | Includes bibliographical references and index. |
| ISBN: | 9789812772831 9812772839 |
Staff View
MARC
| LEADER | 00000cam a2200000Ma 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn299585151 | ||
| 003 | OCoLC | ||
| 005 | 20250103110447.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 |d OCLCL | ||
| 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 | ||
| 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 | 7 | |a 005.3 |2 22 | |
| 049 | |a MAIN | ||
| 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. | ||
| 650 | 0 | |a Component software |x Mathematical models. | |
| 650 | 0 | |a Computer software. |0 http://id.loc.gov/authorities/subjects/sh85029534 | |
| 650 | 0 | |a Computer programs. |0 http://id.loc.gov/authorities/subjects/sh85029524 | |
| 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- |1 https://id.oclc.org/worldcat/entity/E39PBJm9bMGDfMQ7VXtrxWxqwC |0 http://id.loc.gov/authorities/names/n94055137 | |
| 700 | 1 | |a Liu, Zhiming, |d 1961- |1 https://id.oclc.org/worldcat/entity/E39PBJtmq4TH9DjvDGCygTtYfq |0 http://id.loc.gov/authorities/names/no2005032359 | |
| 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. |0 http://id.loc.gov/authorities/names/no2004069040 | |
| 966 | 4 | 0 | |l DE-862 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=210850 |3 Volltext |
| 966 | 4 | 0 | |l DE-863 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=210850 |3 Volltext |
| 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 GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-862 | ||
| 049 | |a DE-863 | ||
Record in the Search Index
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn299585151 |
|---|---|
| _version_ | 1829094637146472449 |
| adam_text | |
| any_adam_object | |
| author2 | He, Jifeng, 1943- Liu, Zhiming, 1961- |
| author2_role | |
| author2_variant | j h jh z l zl |
| author_GND | http://id.loc.gov/authorities/names/n94055137 http://id.loc.gov/authorities/names/no2005032359 |
| author_facet | He, Jifeng, 1943- Liu, Zhiming, 1961- |
| author_sort | He, Jifeng, 1943- |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.76.C66 M38 2006eb |
| callnumber-search | QA76.76.C66 M38 2006eb |
| callnumber-sort | QA 276.76 C66 M38 42006EB |
| callnumber-subject | QA - Mathematics |
| collection | ZDB-4-EBA |
| contents | 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. |
| ctrlnum | (OCoLC)299585151 |
| dewey-full | 005.3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.3 |
| dewey-search | 005.3 |
| dewey-sort | 15.3 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>05313cam a2200649Ma 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn299585151</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20250103110447.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cn|||||||||</controlfield><controlfield tag="008">090123s2006 njua ob 001 0 eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a"> 2007297985</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">CaPaEBR</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">CUY</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">N$T</subfield><subfield code="d">YDXCP</subfield><subfield code="d">OCLCE</subfield><subfield code="d">OCL</subfield><subfield code="d">E7B</subfield><subfield code="d">IDEBK</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">FVL</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">AZK</subfield><subfield code="d">MOR</subfield><subfield code="d">PIFAG</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCF</subfield><subfield code="d">JBG</subfield><subfield code="d">STF</subfield><subfield code="d">WRM</subfield><subfield code="d">VTS</subfield><subfield code="d">NRAMU</subfield><subfield code="d">VT2</subfield><subfield code="d">AU@</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">WYU</subfield><subfield code="d">UKCRE</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCL</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">182491208</subfield><subfield code="a">607909620</subfield><subfield code="a">608390883</subfield><subfield code="a">613392493</subfield><subfield code="a">722615228</subfield><subfield code="a">728032992</subfield><subfield code="a">961531091</subfield><subfield code="a">962585218</subfield><subfield code="a">988433023</subfield><subfield code="a">991990182</subfield><subfield code="a">1037704114</subfield><subfield code="a">1038698357</subfield><subfield code="a">1045439319</subfield><subfield code="a">1055385489</subfield><subfield code="a">1062980222</subfield><subfield code="a">1081204011</subfield><subfield code="a">1153466279</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789812772831</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9812772839</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9789812700179</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">981270017X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)299585151</subfield><subfield code="z">(OCoLC)182491208</subfield><subfield code="z">(OCoLC)607909620</subfield><subfield code="z">(OCoLC)608390883</subfield><subfield code="z">(OCoLC)613392493</subfield><subfield code="z">(OCoLC)722615228</subfield><subfield code="z">(OCoLC)728032992</subfield><subfield code="z">(OCoLC)961531091</subfield><subfield code="z">(OCoLC)962585218</subfield><subfield code="z">(OCoLC)988433023</subfield><subfield code="z">(OCoLC)991990182</subfield><subfield code="z">(OCoLC)1037704114</subfield><subfield code="z">(OCoLC)1038698357</subfield><subfield code="z">(OCoLC)1045439319</subfield><subfield code="z">(OCoLC)1055385489</subfield><subfield code="z">(OCoLC)1062980222</subfield><subfield code="z">(OCoLC)1081204011</subfield><subfield code="z">(OCoLC)1153466279</subfield></datafield><datafield tag="042" ind1=" " ind2=" "><subfield code="a">dlr</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA76.76.C66</subfield><subfield code="b">M38 2006eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">REF</subfield><subfield code="x">000000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">005.3</subfield><subfield code="2">22</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="245" ind1="0" ind2="0"><subfield code="a">Mathematical frameworks for component software :</subfield><subfield code="b">models for analysis and synthesis /</subfield><subfield code="c">[edited by] Zhiming Liu, He Jifeng.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Hackensack, NJ :</subfield><subfield code="b">World Scientific,</subfield><subfield code="c">©2006.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xii, 354 pages) :</subfield><subfield code="b">illustrations.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Series on component-based software development ;</subfield><subfield code="v">v. 2</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="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.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="506" ind1=" " ind2=" "><subfield code="3">Use copy</subfield><subfield code="f">Restrictions unspecified</subfield><subfield code="2">star</subfield><subfield code="5">MiAaHDL</subfield></datafield><datafield tag="533" ind1=" " ind2=" "><subfield code="a">Electronic reproduction.</subfield><subfield code="b">[S.l.] :</subfield><subfield code="c">HathiTrust Digital Library,</subfield><subfield code="d">2010.</subfield><subfield code="5">MiAaHDL</subfield></datafield><datafield tag="538" ind1=" " ind2=" "><subfield code="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.</subfield><subfield code="u">http://purl.oclc.org/DLF/benchrepro0212</subfield><subfield code="5">MiAaHDL</subfield></datafield><datafield tag="583" ind1="1" ind2=" "><subfield code="a">digitized</subfield><subfield code="c">2010</subfield><subfield code="h">HathiTrust Digital Library</subfield><subfield code="l">committed to preserve</subfield><subfield code="2">pda</subfield><subfield code="5">MiAaHDL</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="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.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Component software</subfield><subfield code="x">Mathematical models.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer software.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85029534</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer programs.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85029524</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Composants logiciels</subfield><subfield code="x">Modèles mathématiques.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Logiciels.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">software.</subfield><subfield code="2">aat</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">REFERENCE</subfield><subfield code="x">General.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer programs</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer software</subfield><subfield code="2">fast</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">He, Jifeng,</subfield><subfield code="d">1943-</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PBJm9bMGDfMQ7VXtrxWxqwC</subfield><subfield code="0">http://id.loc.gov/authorities/names/n94055137</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Liu, Zhiming,</subfield><subfield code="d">1961-</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PBJtmq4TH9DjvDGCygTtYfq</subfield><subfield code="0">http://id.loc.gov/authorities/names/no2005032359</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="t">Mathematical frameworks for component software.</subfield><subfield code="d">Hackensack, NJ : World Scientific, ©2006</subfield><subfield code="w">(DLC) 2007297985</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Series on component-based software development ;</subfield><subfield code="v">v. 2.</subfield><subfield code="0">http://id.loc.gov/authorities/names/no2004069040</subfield></datafield><datafield tag="966" ind1="4" ind2="0"><subfield code="l">DE-862</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=210850</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="4" ind2="0"><subfield code="l">DE-863</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=210850</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ebrary</subfield><subfield code="b">EBRY</subfield><subfield code="n">ebr10201265</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">210850</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">2740331</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-862</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
| id | ZDB-4-EBA-ocn299585151 |
| illustrated | Illustrated |
| indexdate | 2025-04-11T08:36:17Z |
| institution | BVB |
| isbn | 9789812772831 9812772839 |
| language | English |
| lccn | 2007297985 |
| oclc_num | 299585151 |
| open_access_boolean | |
| owner | MAIN DE-862 DE-BY-FWS DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-862 DE-BY-FWS DE-863 DE-BY-FWS |
| physical | 1 online resource (xii, 354 pages) : illustrations. |
| psigel | ZDB-4-EBA FWS_PDA_EBA ZDB-4-EBA |
| publishDate | 2006 |
| publishDateSearch | 2006 |
| publishDateSort | 2006 |
| publisher | World Scientific, |
| record_format | marc |
| series | Series on component-based software development ; |
| series2 | Series on component-based software development ; |
| spelling | Mathematical frameworks for component software : models for analysis and synthesis / [edited by] Zhiming Liu, He Jifeng. Hackensack, NJ : World Scientific, ©2006. 1 online resource (xii, 354 pages) : illustrations. text txt rdacontent computer c rdamedia online resource cr rdacarrier Series on component-based software development ; v. 2 Includes bibliographical references and index. 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. Print version record. Use copy Restrictions unspecified star MiAaHDL Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2010. MiAaHDL 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. http://purl.oclc.org/DLF/benchrepro0212 MiAaHDL digitized 2010 HathiTrust Digital Library committed to preserve pda MiAaHDL 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. Component software Mathematical models. Computer software. http://id.loc.gov/authorities/subjects/sh85029534 Computer programs. http://id.loc.gov/authorities/subjects/sh85029524 Composants logiciels Modèles mathématiques. Logiciels. software. aat REFERENCE General. bisacsh Computer programs fast Computer software fast He, Jifeng, 1943- https://id.oclc.org/worldcat/entity/E39PBJm9bMGDfMQ7VXtrxWxqwC http://id.loc.gov/authorities/names/n94055137 Liu, Zhiming, 1961- https://id.oclc.org/worldcat/entity/E39PBJtmq4TH9DjvDGCygTtYfq http://id.loc.gov/authorities/names/no2005032359 Print version: Mathematical frameworks for component software. Hackensack, NJ : World Scientific, ©2006 (DLC) 2007297985 Series on component-based software development ; v. 2. http://id.loc.gov/authorities/names/no2004069040 |
| spellingShingle | Mathematical frameworks for component software : models for analysis and synthesis / Series on component-based software development ; 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. Component software Mathematical models. Computer software. http://id.loc.gov/authorities/subjects/sh85029534 Computer programs. http://id.loc.gov/authorities/subjects/sh85029524 Composants logiciels Modèles mathématiques. Logiciels. software. aat REFERENCE General. bisacsh Computer programs fast Computer software fast |
| subject_GND | http://id.loc.gov/authorities/subjects/sh85029534 http://id.loc.gov/authorities/subjects/sh85029524 |
| title | Mathematical frameworks for component software : models for analysis and synthesis / |
| title_auth | Mathematical frameworks for component software : models for analysis and synthesis / |
| title_exact_search | Mathematical frameworks for component software : models for analysis and synthesis / |
| title_full | Mathematical frameworks for component software : models for analysis and synthesis / [edited by] Zhiming Liu, He Jifeng. |
| title_fullStr | Mathematical frameworks for component software : models for analysis and synthesis / [edited by] Zhiming Liu, He Jifeng. |
| title_full_unstemmed | Mathematical frameworks for component software : models for analysis and synthesis / [edited by] Zhiming Liu, He Jifeng. |
| title_short | Mathematical frameworks for component software : |
| title_sort | mathematical frameworks for component software models for analysis and synthesis |
| title_sub | models for analysis and synthesis / |
| topic | Component software Mathematical models. Computer software. http://id.loc.gov/authorities/subjects/sh85029534 Computer programs. http://id.loc.gov/authorities/subjects/sh85029524 Composants logiciels Modèles mathématiques. Logiciels. software. aat REFERENCE General. bisacsh Computer programs fast Computer software fast |
| topic_facet | Component software Mathematical models. Computer software. Computer programs. Composants logiciels Modèles mathématiques. Logiciels. software. REFERENCE General. Computer programs Computer software |
| work_keys_str_mv | AT hejifeng mathematicalframeworksforcomponentsoftwaremodelsforanalysisandsynthesis AT liuzhiming mathematicalframeworksforcomponentsoftwaremodelsforanalysisandsynthesis |