Mathematical frameworks for component software: models for analysis and synthesis
Gespeichert in:
| Format: | Elektronisch E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Hackensack, NJ
World Scientific
c2006
|
| Schriftenreihe: | Series on component-based software development
v. 2 |
| Schlagworte: | |
| Online-Zugang: | FAW01 FAW02 Volltext |
| Beschreibung: | 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 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 ... [et al.] -- 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 ... [et al.] -- 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 |
| Beschreibung: | 1 Online-Ressource (xii, 354 p.) |
| ISBN: | 9789812700179 9789812772831 981270017X 9812772839 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043074748 | ||
| 003 | DE-604 | ||
| 005 | 20180504 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 151126s2006 |||| o||u| ||||||eng d | ||
| 020 | |a 9789812700179 |9 978-981-270-017-9 | ||
| 020 | |a 9789812772831 |c electronic bk. |9 978-981-277-283-1 | ||
| 020 | |a 981270017X |9 981-270-017-X | ||
| 020 | |a 9812772839 |c electronic bk. |9 981-277-283-9 | ||
| 035 | |a (OCoLC)299585151 | ||
| 035 | |a (DE-599)BVBBV043074748 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 |a DE-1047 | ||
| 082 | 0 | |a 005.3 |2 22 | |
| 245 | 1 | 0 | |a Mathematical frameworks for component software |b models for analysis and synthesis |c [edited by] Zhiming Liu, He Jifeng |
| 264 | 1 | |a Hackensack, NJ |b World Scientific |c c2006 | |
| 300 | |a 1 Online-Ressource (xii, 354 p.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Series on component-based software development |v v. 2 | |
| 500 | |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 | ||
| 500 | |a Includes bibliographical references and index | ||
| 500 | |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 ... [et al.] -- 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 ... [et al.] -- 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 | ||
| 650 | 7 | |a REFERENCE / General |2 bisacsh | |
| 650 | 4 | |a Mathematisches Modell | |
| 650 | 4 | |a Component software |x Mathematical models | |
| 650 | 4 | |a Computer software | |
| 700 | 1 | |a He, Jifeng |d 1943- |e Sonstige |0 (DE-588)12246365X |4 oth | |
| 700 | 1 | |a Liu, Zhiming |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=210850 |x Aggregator |3 Volltext |
| 912 | |a ZDB-4-EBA | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028498940 | ||
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=210850 |l FAW01 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
| 966 | e | |u http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=210850 |l FAW02 |p ZDB-4-EBA |q FAW_PDA_EBA |x Aggregator |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804175461365841920 |
|---|---|
| any_adam_object | |
| author_GND | (DE-588)12246365X |
| building | Verbundindex |
| bvnumber | BV043074748 |
| collection | ZDB-4-EBA |
| ctrlnum | (OCoLC)299585151 (DE-599)BVBBV043074748 |
| 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>03049nmm a2200457zcb4500</leader><controlfield tag="001">BV043074748</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20180504 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">151126s2006 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789812700179</subfield><subfield code="9">978-981-270-017-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789812772831</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-981-277-283-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">981270017X</subfield><subfield code="9">981-270-017-X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9812772839</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">981-277-283-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)299585151</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043074748</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-1046</subfield><subfield code="a">DE-1047</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.3</subfield><subfield code="2">22</subfield></datafield><datafield tag="245" ind1="1" 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="264" ind1=" " ind2="1"><subfield code="a">Hackensack, NJ</subfield><subfield code="b">World Scientific</subfield><subfield code="c">c2006</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xii, 354 p.)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Series on component-based software development</subfield><subfield code="v">v. 2</subfield></datafield><datafield tag="500" 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></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="500" ind1=" " 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 ... [et al.] -- 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 ... [et al.] -- 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="650" ind1=" " ind2="7"><subfield code="a">REFERENCE / General</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematisches Modell</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Component software</subfield><subfield code="x">Mathematical models</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">He, Jifeng</subfield><subfield code="d">1943-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)12246365X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Liu, Zhiming</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=210850</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028498940</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=210850</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=210850</subfield><subfield code="l">FAW02</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FAW_PDA_EBA</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV043074748 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:16:39Z |
| institution | BVB |
| isbn | 9789812700179 9789812772831 981270017X 9812772839 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028498940 |
| oclc_num | 299585151 |
| open_access_boolean | |
| owner | DE-1046 DE-1047 |
| owner_facet | DE-1046 DE-1047 |
| physical | 1 Online-Ressource (xii, 354 p.) |
| psigel | ZDB-4-EBA ZDB-4-EBA FAW_PDA_EBA |
| publishDate | 2006 |
| publishDateSearch | 2006 |
| publishDateSort | 2006 |
| publisher | World Scientific |
| record_format | marc |
| 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 c2006 1 Online-Ressource (xii, 354 p.) txt rdacontent c rdamedia cr rdacarrier Series on component-based software development v. 2 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 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 ... [et al.] -- 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 ... [et al.] -- 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 REFERENCE / General bisacsh Mathematisches Modell Component software Mathematical models Computer software He, Jifeng 1943- Sonstige (DE-588)12246365X oth Liu, Zhiming Sonstige oth http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=210850 Aggregator Volltext |
| spellingShingle | Mathematical frameworks for component software models for analysis and synthesis REFERENCE / General bisacsh Mathematisches Modell Component software Mathematical models Computer software |
| 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 | REFERENCE / General bisacsh Mathematisches Modell Component software Mathematical models Computer software |
| topic_facet | REFERENCE / General Mathematisches Modell Component software Mathematical models Computer software |
| url | http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=210850 |
| work_keys_str_mv | AT hejifeng mathematicalframeworksforcomponentsoftwaremodelsforanalysisandsynthesis AT liuzhiming mathematicalframeworksforcomponentsoftwaremodelsforanalysisandsynthesis |