Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings
This book addresses mechanisms for reducing model heterogeneity induced by the absence of explicit semantics expression in the formal techniques used to specify design models. More precisely, it highlights the advances in handling both implicit and explicit semantics in formal system developments, a...
Gespeichert in:
| Weitere Verfasser: | , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Singapore
Springer Singapore
2021
|
| Ausgabe: | 1st edition 2021 |
| Schlagworte: | |
| Online-Zugang: | BTU01 FCO01 FHA01 FHD01 FHI01 FHM01 FHN01 FHR01 FLA01 FRO01 FWS01 FWS02 HTW01 UBA01 UBG01 UBM01 UBR01 UBT01 UBW01 UBY01 UER01 UPA01 Volltext |
| Zusammenfassung: | This book addresses mechanisms for reducing model heterogeneity induced by the absence of explicit semantics expression in the formal techniques used to specify design models. More precisely, it highlights the advances in handling both implicit and explicit semantics in formal system developments, and discusses different contributions expressing different views and perceptions on the implicit and explicit semantics. The book is based on the discussions at the Shonan meeting on this topic held in 2016, and includes contributions from the participants summarising their perspectives on the problem and offering solutions. Divided into 5 parts: domain modelling, knowledge-based modelling, proof-based modelling, assurance cases, and refinement-based modelling, and offers inspiration for researchers and practitioners in the fields of formal methods, system and software engineering, domain knowledge modelling, requirement analysis, and explicit and implicit semantics of modelling languages |
| Beschreibung: | Chapter 1: Modelling an e-voting domain for the formal development of a Software Product Line -- Chapter 2: Domain-specific Developments using Rodin Theories -- Chapter 3: Integrating Domain Knowledge in Formal Requirements Engineering -- Chapter 4: Operations over Lightweight Ontologies and their Implementation -- Chapter 5: Formal Ontological Analysis for Medical Protocol -- Chapter 6: Deriving Implicit Security Requirements in Safety-Explicit Formal Development of Control Systems -- Chapter 7: Towards an Integration of Probabilistic and Knowledge-Based Data Analysis Using Probabilistic Knowledge Patterns -- Chapter 8: An Explicit Semantics for Event-B Refinements -- Chapter 9: Contextual Dependency in State-based Modelling -- Chapter 10: Configuration of complex systems -- Chapter 11: Towards Making Safety Case Arguments Explicit, Precise, and Well Founded -- Chapter 12: The Indefeasibility Criterion for Assurance Cases -- Chapter 13: An Event-B development process for the distributed BIP framework -- Chapter 14: Explicit Exploration of Refinement Design in Proof-based Approach -- Chapter 15: Constructing Rigorous Sketches for Refinement-based Formal Development |
| Beschreibung: | 1 Online-Ressource (XII, 346 Seiten, 138 Illustrationen, 29 Illustrationen in Farbe.) |
| ISBN: | 9789811550546 |
| DOI: | 10.1007/978-981-15-5054-6 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV046958254 | ||
| 003 | DE-604 | ||
| 005 | 20221017 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 201026s2021 |||| o||u| ||||||eng d | ||
| 020 | |a 9789811550546 |9 978-981-155-054-6 | ||
| 024 | 7 | |a 10.1007/978-981-15-5054-6 |2 doi | |
| 035 | |a (ZDB-2-SCS)978-981-15-5054-6 | ||
| 035 | |a (OCoLC)1220914460 | ||
| 035 | |a (DE-599)BVBBV046958254 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-863 |a DE-862 |a DE-739 |a DE-703 |a DE-573 |a DE-M347 |a DE-1050 |a DE-29 |a DE-473 |a DE-19 |a DE-706 |a DE-384 |a DE-858 |a DE-188 |a DE-898 |a DE-92 |a DE-861 |a DE-523 |a DE-20 |a DE-Aug4 |a DE-634 |a DE-355 |a DE-860 | ||
| 082 | 0 | |a 005.1 | |
| 245 | 1 | 0 | |a Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems |b Communications of NII Shonan Meetings |c edited by Yamine Ait-Ameur, Shin Nakajima, Dominique Méry |
| 250 | |a 1st edition 2021 | ||
| 264 | 1 | |a Singapore |b Springer Singapore |c 2021 | |
| 300 | |a 1 Online-Ressource (XII, 346 Seiten, 138 Illustrationen, 29 Illustrationen in Farbe.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a Chapter 1: Modelling an e-voting domain for the formal development of a Software Product Line -- Chapter 2: Domain-specific Developments using Rodin Theories -- Chapter 3: Integrating Domain Knowledge in Formal Requirements Engineering -- Chapter 4: Operations over Lightweight Ontologies and their Implementation -- Chapter 5: Formal Ontological Analysis for Medical Protocol -- Chapter 6: Deriving Implicit Security Requirements in Safety-Explicit Formal Development of Control Systems -- Chapter 7: Towards an Integration of Probabilistic and Knowledge-Based Data Analysis Using Probabilistic Knowledge Patterns -- Chapter 8: An Explicit Semantics for Event-B Refinements -- Chapter 9: Contextual Dependency in State-based Modelling -- Chapter 10: Configuration of complex systems -- Chapter 11: Towards Making Safety Case Arguments Explicit, Precise, and Well Founded -- Chapter 12: The Indefeasibility Criterion for Assurance Cases -- Chapter 13: An Event-B development process for the distributed BIP framework -- Chapter 14: Explicit Exploration of Refinement Design in Proof-based Approach -- Chapter 15: Constructing Rigorous Sketches for Refinement-based Formal Development | ||
| 520 | |a This book addresses mechanisms for reducing model heterogeneity induced by the absence of explicit semantics expression in the formal techniques used to specify design models. More precisely, it highlights the advances in handling both implicit and explicit semantics in formal system developments, and discusses different contributions expressing different views and perceptions on the implicit and explicit semantics. The book is based on the discussions at the Shonan meeting on this topic held in 2016, and includes contributions from the participants summarising their perspectives on the problem and offering solutions. Divided into 5 parts: domain modelling, knowledge-based modelling, proof-based modelling, assurance cases, and refinement-based modelling, and offers inspiration for researchers and practitioners in the fields of formal methods, system and software engineering, domain knowledge modelling, requirement analysis, and explicit and implicit semantics of modelling languages | ||
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Mathematical logic | |
| 650 | 0 | 7 | |a Software Engineering |0 (DE-588)4116521-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
| 689 | 0 | 1 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Ait-Ameur, Yamine |4 edt | |
| 700 | 1 | |a Nakajima, Shin |e Sonstige |4 oth | |
| 700 | 1 | |a Méry, Dominique |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9789811550539 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9789811550553 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9789811550560 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-981-15-5054-6 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-2-SCS |a ZDB-2-SXCS | ||
| 940 | 1 | |q ZDB-2-SCS_2021_Fremddaten | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-032366651 | ||
| 966 | e | |u https://doi.org/10.1007/978-981-15-5054-6 |l BTU01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-15-5054-6 |l FCO01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-15-5054-6 |l FHA01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-15-5054-6 |l FHD01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-15-5054-6 |l FHI01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-15-5054-6 |l FHM01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-15-5054-6 |l FHN01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-15-5054-6 |l FHR01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-15-5054-6 |l FLA01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-15-5054-6 |l FRO01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-15-5054-6 |l FWS01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-15-5054-6 |l FWS02 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-15-5054-6 |l HTW01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-15-5054-6 |l UBA01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-15-5054-6 |l UBG01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-15-5054-6 |l UBM01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-15-5054-6 |l UBR01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-15-5054-6 |l UBT01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-15-5054-6 |l UBW01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-15-5054-6 |l UBY01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-15-5054-6 |l UER01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-981-15-5054-6 |l UPA01 |p ZDB-2-SCS |x Verlag |3 Volltext | |
Datensatz im Suchindex
| DE-BY-FWS_katkey | 855459 |
|---|---|
| _version_ | 1824555015132413952 |
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author2 | Ait-Ameur, Yamine Méry, Dominique |
| author2_role | edt edt |
| author2_variant | y a a yaa d m dm |
| author_facet | Ait-Ameur, Yamine Méry, Dominique |
| building | Verbundindex |
| bvnumber | BV046958254 |
| collection | ZDB-2-SCS ZDB-2-SXCS |
| ctrlnum | (ZDB-2-SCS)978-981-15-5054-6 (OCoLC)1220914460 (DE-599)BVBBV046958254 |
| dewey-full | 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 |
| dewey-search | 005.1 |
| dewey-sort | 15.1 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| doi_str_mv | 10.1007/978-981-15-5054-6 |
| edition | 1st edition 2021 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>06342nmm a2200769zc 4500</leader><controlfield tag="001">BV046958254</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20221017 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">201026s2021 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789811550546</subfield><subfield code="9">978-981-155-054-6</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-981-15-5054-6</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)978-981-15-5054-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1220914460</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV046958254</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-863</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-858</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-860</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems</subfield><subfield code="b">Communications of NII Shonan Meetings</subfield><subfield code="c">edited by Yamine Ait-Ameur, Shin Nakajima, Dominique Méry</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st edition 2021</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Singapore</subfield><subfield code="b">Springer Singapore</subfield><subfield code="c">2021</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XII, 346 Seiten, 138 Illustrationen, 29 Illustrationen in Farbe.)</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="500" ind1=" " ind2=" "><subfield code="a">Chapter 1: Modelling an e-voting domain for the formal development of a Software Product Line -- Chapter 2: Domain-specific Developments using Rodin Theories -- Chapter 3: Integrating Domain Knowledge in Formal Requirements Engineering -- Chapter 4: Operations over Lightweight Ontologies and their Implementation -- Chapter 5: Formal Ontological Analysis for Medical Protocol -- Chapter 6: Deriving Implicit Security Requirements in Safety-Explicit Formal Development of Control Systems -- Chapter 7: Towards an Integration of Probabilistic and Knowledge-Based Data Analysis Using Probabilistic Knowledge Patterns -- Chapter 8: An Explicit Semantics for Event-B Refinements -- Chapter 9: Contextual Dependency in State-based Modelling -- Chapter 10: Configuration of complex systems -- Chapter 11: Towards Making Safety Case Arguments Explicit, Precise, and Well Founded -- Chapter 12: The Indefeasibility Criterion for Assurance Cases -- Chapter 13: An Event-B development process for the distributed BIP framework -- Chapter 14: Explicit Exploration of Refinement Design in Proof-based Approach -- Chapter 15: Constructing Rigorous Sketches for Refinement-based Formal Development</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">This book addresses mechanisms for reducing model heterogeneity induced by the absence of explicit semantics expression in the formal techniques used to specify design models. More precisely, it highlights the advances in handling both implicit and explicit semantics in formal system developments, and discusses different contributions expressing different views and perceptions on the implicit and explicit semantics. The book is based on the discussions at the Shonan meeting on this topic held in 2016, and includes contributions from the participants summarising their perspectives on the problem and offering solutions. Divided into 5 parts: domain modelling, knowledge-based modelling, proof-based modelling, assurance cases, and refinement-based modelling, and offers inspiration for researchers and practitioners in the fields of formal methods, system and software engineering, domain knowledge modelling, requirement analysis, and explicit and implicit semantics of modelling languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ait-Ameur, Yamine</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Nakajima, Shin</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Méry, Dominique</subfield><subfield code="4">edt</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">9789811550539</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">9789811550553</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">9789811550560</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-981-15-5054-6</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield><subfield code="a">ZDB-2-SXCS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2021_Fremddaten</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-032366651</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-981-15-5054-6</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-981-15-5054-6</subfield><subfield code="l">FCO01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-981-15-5054-6</subfield><subfield code="l">FHA01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-981-15-5054-6</subfield><subfield code="l">FHD01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-981-15-5054-6</subfield><subfield code="l">FHI01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-981-15-5054-6</subfield><subfield code="l">FHM01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-981-15-5054-6</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-981-15-5054-6</subfield><subfield code="l">FHR01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-981-15-5054-6</subfield><subfield code="l">FLA01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-981-15-5054-6</subfield><subfield code="l">FRO01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-981-15-5054-6</subfield><subfield code="l">FWS01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-981-15-5054-6</subfield><subfield code="l">FWS02</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-981-15-5054-6</subfield><subfield code="l">HTW01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-981-15-5054-6</subfield><subfield code="l">UBA01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-981-15-5054-6</subfield><subfield code="l">UBG01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-981-15-5054-6</subfield><subfield code="l">UBM01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-981-15-5054-6</subfield><subfield code="l">UBR01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-981-15-5054-6</subfield><subfield code="l">UBT01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-981-15-5054-6</subfield><subfield code="l">UBW01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-981-15-5054-6</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-981-15-5054-6</subfield><subfield code="l">UER01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-981-15-5054-6</subfield><subfield code="l">UPA01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV046958254 |
| illustrated | Not Illustrated |
| index_date | 2024-07-03T15:43:16Z |
| indexdate | 2025-02-20T07:00:56Z |
| institution | BVB |
| isbn | 9789811550546 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-032366651 |
| oclc_num | 1220914460 |
| open_access_boolean | |
| owner | DE-863 DE-BY-FWS DE-862 DE-BY-FWS DE-739 DE-703 DE-573 DE-M347 DE-1050 DE-29 DE-473 DE-BY-UBG DE-19 DE-BY-UBM DE-706 DE-384 DE-858 DE-188 DE-898 DE-BY-UBR DE-92 DE-861 DE-523 DE-20 DE-Aug4 DE-634 DE-355 DE-BY-UBR DE-860 |
| owner_facet | DE-863 DE-BY-FWS DE-862 DE-BY-FWS DE-739 DE-703 DE-573 DE-M347 DE-1050 DE-29 DE-473 DE-BY-UBG DE-19 DE-BY-UBM DE-706 DE-384 DE-858 DE-188 DE-898 DE-BY-UBR DE-92 DE-861 DE-523 DE-20 DE-Aug4 DE-634 DE-355 DE-BY-UBR DE-860 |
| physical | 1 Online-Ressource (XII, 346 Seiten, 138 Illustrationen, 29 Illustrationen in Farbe.) |
| psigel | ZDB-2-SCS ZDB-2-SXCS ZDB-2-SCS_2021_Fremddaten |
| publishDate | 2021 |
| publishDateSearch | 2021 |
| publishDateSort | 2021 |
| publisher | Springer Singapore |
| record_format | marc |
| spellingShingle | Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems Communications of NII Shonan Meetings Software engineering Mathematical logic Software Engineering (DE-588)4116521-4 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4116521-4 (DE-588)4037951-6 |
| title | Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems Communications of NII Shonan Meetings |
| title_auth | Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems Communications of NII Shonan Meetings |
| title_exact_search | Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems Communications of NII Shonan Meetings |
| title_exact_search_txtP | Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems Communications of NII Shonan Meetings |
| title_full | Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems Communications of NII Shonan Meetings edited by Yamine Ait-Ameur, Shin Nakajima, Dominique Méry |
| title_fullStr | Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems Communications of NII Shonan Meetings edited by Yamine Ait-Ameur, Shin Nakajima, Dominique Méry |
| title_full_unstemmed | Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems Communications of NII Shonan Meetings edited by Yamine Ait-Ameur, Shin Nakajima, Dominique Méry |
| title_short | Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems |
| title_sort | implicit and explicit semantics integration in proof based developments of discrete systems communications of nii shonan meetings |
| title_sub | Communications of NII Shonan Meetings |
| topic | Software engineering Mathematical logic Software Engineering (DE-588)4116521-4 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Software engineering Mathematical logic Software Engineering Mathematische Logik |
| url | https://doi.org/10.1007/978-981-15-5054-6 |
| work_keys_str_mv | AT aitameuryamine implicitandexplicitsemanticsintegrationinproofbaseddevelopmentsofdiscretesystemscommunicationsofniishonanmeetings AT nakajimashin implicitandexplicitsemanticsintegrationinproofbaseddevelopmentsofdiscretesystemscommunicationsofniishonanmeetings AT merydominique implicitandexplicitsemanticsintegrationinproofbaseddevelopmentsofdiscretesystemscommunicationsofniishonanmeetings |