Contracts for system design:
Contracts for System Design provides unified treatment of the topic that can help put contract-based design in perspective. Contracts are precisely defined and characterized so that they can be used in design methodologies with no ambiguity
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Norwell, MA
Now Publishers
2018
|
| Schriftenreihe: | Foundations and trends in electronic design automation
Vol. 12, no. 2-3 (2018) |
| Schlagworte: | |
| Online-Zugang: | TUM01 |
| Zusammenfassung: | Contracts for System Design provides unified treatment of the topic that can help put contract-based design in perspective. Contracts are precisely defined and characterized so that they can be used in design methodologies with no ambiguity Intro -- Introduction -- Industrial context -- Positive impact of contract-based design -- A bird's eye view of research in contracts -- Contribution of this monograph -- Contracts: What? Where? And How? -- Contract based design -- A primer on contracts -- Positioning of this Monograph and Bibliographical Note -- Contracts in software engineering -- Contracts for (possibly cyber-physical) systems -- A Mathematical Meta-Theory of Contracts -- Components -- Contracts -- Refinement and conjunction -- Parallel composition -- Quotient -- Making contract composition associative -- Abstractions -- Bibliographical note on abstract contract theories -- Assume/Guarantee Contracts -- Synchronous A/G contracts with fixed alphabet -- Dealing with variable alphabets -- Abstractions -- Observers -- Asynchronous dataflow A/G contracts -- A/G contracts for Cyber-Physical systems -- Discussion -- Bibliographical note -- Synchronous Moore Interfaces and A/G Contracts -- Introduction -- An illustration example for Moore Interfaces -- A/G contract saturation via Moore Interfaces -- Moore Interfaces, seen as A/G contracts -- Discussion -- Rely/Guarantee Reasoning and A/G Contracts -- A brief on rely/guarantee reasoning -- Components for shared variable concurrency -- Contracts for shared variable concurrency -- Discussion -- Interface Theories -- Components as i/o-automata -- Interface Automata with fixed alphabet -- Modal Interfaces with fixed alphabet -- The approach by Gerald Lüttgen, Walter Vogler et al. -- Modal Interfaces with variable alphabet -- Decomposing a contract as a composition of subcontracts -- Modal interfaces as Assume/Guarantee contracts -- Bibliographical note -- Scheduling Contracts -- Introduction -- Scheduling components -- Scheduling contracts -- Sub-contracting in the development process -- Modeling methodology -- Bibliographical note |
| Beschreibung: | Description based on publisher supplied metadata and other sources |
| Beschreibung: | 1 online resource (281 pages) |
| ISBN: | 9781680834031 |
Internformat
MARC
| LEADER | 00000nmm a22000001cb4500 | ||
|---|---|---|---|
| 001 | BV047878384 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 220310s2018 |||| o||u| ||||||eng d | ||
| 020 | |a 9781680834031 |9 978-1-68083-403-1 | ||
| 024 | 7 | |a 10.1561/1000000053 |2 doi | |
| 035 | |a (OCoLC)1304481518 | ||
| 035 | |a (DE-599)KEP055595294 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 | ||
| 082 | 0 | |a 004.21 | |
| 100 | 1 | |a Benveniste, Albert |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Contracts for system design |c Albert Benveniste [und neun weitere] |
| 264 | 1 | |a Norwell, MA |b Now Publishers |c 2018 | |
| 300 | |a 1 online resource (281 pages) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Foundations and trends in electronic design automation |v Vol. 12, no. 2-3 (2018) | |
| 500 | |a Description based on publisher supplied metadata and other sources | ||
| 520 | 3 | |a Contracts for System Design provides unified treatment of the topic that can help put contract-based design in perspective. Contracts are precisely defined and characterized so that they can be used in design methodologies with no ambiguity | |
| 520 | 3 | |a Intro -- Introduction -- Industrial context -- Positive impact of contract-based design -- A bird's eye view of research in contracts -- Contribution of this monograph -- Contracts: What? Where? And How? -- Contract based design -- A primer on contracts -- Positioning of this Monograph and Bibliographical Note -- Contracts in software engineering -- Contracts for (possibly cyber-physical) systems -- A Mathematical Meta-Theory of Contracts -- Components -- Contracts -- Refinement and conjunction -- Parallel composition -- Quotient -- Making contract composition associative -- Abstractions -- Bibliographical note on abstract contract theories -- Assume/Guarantee Contracts -- Synchronous A/G contracts with fixed alphabet -- Dealing with variable alphabets -- Abstractions -- Observers -- Asynchronous dataflow A/G contracts -- A/G contracts for Cyber-Physical systems -- Discussion -- Bibliographical note -- Synchronous Moore Interfaces and A/G Contracts -- Introduction -- An illustration example for Moore Interfaces -- A/G contract saturation via Moore Interfaces -- Moore Interfaces, seen as A/G contracts -- Discussion -- Rely/Guarantee Reasoning and A/G Contracts -- A brief on rely/guarantee reasoning -- Components for shared variable concurrency -- Contracts for shared variable concurrency -- Discussion -- Interface Theories -- Components as i/o-automata -- Interface Automata with fixed alphabet -- Modal Interfaces with fixed alphabet -- The approach by Gerald Lüttgen, Walter Vogler et al. -- Modal Interfaces with variable alphabet -- Decomposing a contract as a composition of subcontracts -- Modal interfaces as Assume/Guarantee contracts -- Bibliographical note -- Scheduling Contracts -- Introduction -- Scheduling components -- Scheduling contracts -- Sub-contracting in the development process -- Modeling methodology -- Bibliographical note | |
| 653 | 0 | |a Electronic books | |
| 653 | 0 | |a System design | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-1-68083-402-4 |
| 830 | 0 | |a Foundations and trends in electronic design automation |v Vol. 12, no. 2-3 (2018) |w (DE-604)BV023013044 |9 12,2/3 | |
| 912 | |a ebook | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-033260767 | ||
| 966 | e | |u https://www.nowpublishers.com/article/Download/EDA-053 |l TUM01 |p ebook |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804183474083463168 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Benveniste, Albert |
| author_facet | Benveniste, Albert |
| author_role | aut |
| author_sort | Benveniste, Albert |
| author_variant | a b ab |
| building | Verbundindex |
| bvnumber | BV047878384 |
| collection | ebook |
| ctrlnum | (OCoLC)1304481518 (DE-599)KEP055595294 |
| dewey-full | 004.21 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.21 |
| dewey-search | 004.21 |
| dewey-sort | 14.21 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03515nmm a22003971cb4500</leader><controlfield tag="001">BV047878384</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">220310s2018 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781680834031</subfield><subfield code="9">978-1-68083-403-1</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1561/1000000053</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1304481518</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)KEP055595294</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.21</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Benveniste, Albert</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Contracts for system design</subfield><subfield code="c">Albert Benveniste [und neun weitere]</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Norwell, MA</subfield><subfield code="b">Now Publishers</subfield><subfield code="c">2018</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (281 pages)</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="1" ind2=" "><subfield code="a">Foundations and trends in electronic design automation</subfield><subfield code="v">Vol. 12, no. 2-3 (2018)</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Description based on publisher supplied metadata and other sources</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Contracts for System Design provides unified treatment of the topic that can help put contract-based design in perspective. Contracts are precisely defined and characterized so that they can be used in design methodologies with no ambiguity</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Intro -- Introduction -- Industrial context -- Positive impact of contract-based design -- A bird's eye view of research in contracts -- Contribution of this monograph -- Contracts: What? Where? And How? -- Contract based design -- A primer on contracts -- Positioning of this Monograph and Bibliographical Note -- Contracts in software engineering -- Contracts for (possibly cyber-physical) systems -- A Mathematical Meta-Theory of Contracts -- Components -- Contracts -- Refinement and conjunction -- Parallel composition -- Quotient -- Making contract composition associative -- Abstractions -- Bibliographical note on abstract contract theories -- Assume/Guarantee Contracts -- Synchronous A/G contracts with fixed alphabet -- Dealing with variable alphabets -- Abstractions -- Observers -- Asynchronous dataflow A/G contracts -- A/G contracts for Cyber-Physical systems -- Discussion -- Bibliographical note -- Synchronous Moore Interfaces and A/G Contracts -- Introduction -- An illustration example for Moore Interfaces -- A/G contract saturation via Moore Interfaces -- Moore Interfaces, seen as A/G contracts -- Discussion -- Rely/Guarantee Reasoning and A/G Contracts -- A brief on rely/guarantee reasoning -- Components for shared variable concurrency -- Contracts for shared variable concurrency -- Discussion -- Interface Theories -- Components as i/o-automata -- Interface Automata with fixed alphabet -- Modal Interfaces with fixed alphabet -- The approach by Gerald Lüttgen, Walter Vogler et al. -- Modal Interfaces with variable alphabet -- Decomposing a contract as a composition of subcontracts -- Modal interfaces as Assume/Guarantee contracts -- Bibliographical note -- Scheduling Contracts -- Introduction -- Scheduling components -- Scheduling contracts -- Sub-contracting in the development process -- Modeling methodology -- Bibliographical note</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Electronic books</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">System design</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-1-68083-402-4</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Foundations and trends in electronic design automation</subfield><subfield code="v">Vol. 12, no. 2-3 (2018)</subfield><subfield code="w">(DE-604)BV023013044</subfield><subfield code="9">12,2/3</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ebook</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-033260767</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://www.nowpublishers.com/article/Download/EDA-053</subfield><subfield code="l">TUM01</subfield><subfield code="p">ebook</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV047878384 |
| illustrated | Not Illustrated |
| index_date | 2024-07-03T19:21:48Z |
| indexdate | 2024-07-10T09:24:01Z |
| institution | BVB |
| isbn | 9781680834031 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-033260767 |
| oclc_num | 1304481518 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM |
| owner_facet | DE-91 DE-BY-TUM |
| physical | 1 online resource (281 pages) |
| psigel | ebook |
| publishDate | 2018 |
| publishDateSearch | 2018 |
| publishDateSort | 2018 |
| publisher | Now Publishers |
| record_format | marc |
| series | Foundations and trends in electronic design automation |
| series2 | Foundations and trends in electronic design automation |
| spelling | Benveniste, Albert Verfasser aut Contracts for system design Albert Benveniste [und neun weitere] Norwell, MA Now Publishers 2018 1 online resource (281 pages) txt rdacontent c rdamedia cr rdacarrier Foundations and trends in electronic design automation Vol. 12, no. 2-3 (2018) Description based on publisher supplied metadata and other sources Contracts for System Design provides unified treatment of the topic that can help put contract-based design in perspective. Contracts are precisely defined and characterized so that they can be used in design methodologies with no ambiguity Intro -- Introduction -- Industrial context -- Positive impact of contract-based design -- A bird's eye view of research in contracts -- Contribution of this monograph -- Contracts: What? Where? And How? -- Contract based design -- A primer on contracts -- Positioning of this Monograph and Bibliographical Note -- Contracts in software engineering -- Contracts for (possibly cyber-physical) systems -- A Mathematical Meta-Theory of Contracts -- Components -- Contracts -- Refinement and conjunction -- Parallel composition -- Quotient -- Making contract composition associative -- Abstractions -- Bibliographical note on abstract contract theories -- Assume/Guarantee Contracts -- Synchronous A/G contracts with fixed alphabet -- Dealing with variable alphabets -- Abstractions -- Observers -- Asynchronous dataflow A/G contracts -- A/G contracts for Cyber-Physical systems -- Discussion -- Bibliographical note -- Synchronous Moore Interfaces and A/G Contracts -- Introduction -- An illustration example for Moore Interfaces -- A/G contract saturation via Moore Interfaces -- Moore Interfaces, seen as A/G contracts -- Discussion -- Rely/Guarantee Reasoning and A/G Contracts -- A brief on rely/guarantee reasoning -- Components for shared variable concurrency -- Contracts for shared variable concurrency -- Discussion -- Interface Theories -- Components as i/o-automata -- Interface Automata with fixed alphabet -- Modal Interfaces with fixed alphabet -- The approach by Gerald Lüttgen, Walter Vogler et al. -- Modal Interfaces with variable alphabet -- Decomposing a contract as a composition of subcontracts -- Modal interfaces as Assume/Guarantee contracts -- Bibliographical note -- Scheduling Contracts -- Introduction -- Scheduling components -- Scheduling contracts -- Sub-contracting in the development process -- Modeling methodology -- Bibliographical note Electronic books System design Erscheint auch als Druck-Ausgabe 978-1-68083-402-4 Foundations and trends in electronic design automation Vol. 12, no. 2-3 (2018) (DE-604)BV023013044 12,2/3 |
| spellingShingle | Benveniste, Albert Contracts for system design Foundations and trends in electronic design automation |
| title | Contracts for system design |
| title_auth | Contracts for system design |
| title_exact_search | Contracts for system design |
| title_exact_search_txtP | Contracts for system design |
| title_full | Contracts for system design Albert Benveniste [und neun weitere] |
| title_fullStr | Contracts for system design Albert Benveniste [und neun weitere] |
| title_full_unstemmed | Contracts for system design Albert Benveniste [und neun weitere] |
| title_short | Contracts for system design |
| title_sort | contracts for system design |
| volume_link | (DE-604)BV023013044 |
| work_keys_str_mv | AT benvenistealbert contractsforsystemdesign |