Logic, computation and rigorous methods: essays dedicated to Egon Börger on the occasion of his 75th birthday
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer
[2021]
|
| Schriftenreihe: | Lecture notes in computer science
12750 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis Ausführliche Beschreibung Inhaltsverzeichnis |
| Beschreibung: | xvi, 352 Seiten Illustrationen |
| ISBN: | 9783030760199 |
Internformat
MARC
| LEADER | 00000nam a22000001cb4500 | ||
|---|---|---|---|
| 001 | BV047362860 | ||
| 003 | DE-604 | ||
| 005 | 20210903 | ||
| 007 | t| | ||
| 008 | 210708s2021 xx a||| |||| 01||| eng d | ||
| 020 | |a 9783030760199 |9 978-3-030-76019-9 | ||
| 028 | 5 | 2 | |a SpringerNature-11645 |
| 028 | 5 | 2 | |a SpringerNature-43710 |
| 035 | |a (OCoLC)1261736244 | ||
| 035 | |a (DE-599)BVBBV047362860 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-355 |a DE-83 | ||
| 084 | |a QB 920 |0 (DE-625)141232: |2 rvk | ||
| 245 | 1 | 0 | |a Logic, computation and rigorous methods |b essays dedicated to Egon Börger on the occasion of his 75th birthday |c Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe (eds.) |
| 264 | 1 | |a Cham |b Springer |c [2021] | |
| 300 | |a xvi, 352 Seiten |b Illustrationen | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 12750 | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Software Engineering |0 (DE-588)4116521-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4016928-5 |a Festschrift |2 gnd-content | |
| 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 Börger, Egon |d 1946- |0 (DE-588)174088558 |4 hnr | |
| 700 | 1 | |a Raschke, Alexander |0 (DE-588)140308342 |4 edt | |
| 830 | 0 | |a Lecture notes in computer science |v 12750 |w (DE-604)BV000000607 |9 12750 | |
| 856 | 4 | 2 | |m X:DE-He213 |q text/html |u http://scans.hebis.de/HEBCGI/show.pl?48099892_toc.html |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m X:DE-He213 |q text/html |u http://scans.hebis.de/HEBCGI/show.pl?48099892_aub.html |3 Ausführliche Beschreibung |
| 856 | 4 | 2 | |m Digitalisierung UB Regensburg - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=032764799&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-032764799 | |
Datensatz im Suchindex
| _version_ | 1820875794518376448 |
|---|---|
| adam_text |
Contents Towards Leveraging Domain Knowledge in State-Based Formal Methods . Yamine Aït-Ameur, Régine Lalemi, Dominique Méty, and Neeraj Kumar Singh 1 Some Observations on Mitotic Sets. Klaus Ambos-Spies 14 Moded and Continuous Abstract State Machines. Richard Banach and Huibiao Zhu 29 Product Optimization in Stepwise Design. . Don Batory, Jeho Oh, Ruben Heradio, and David Benavides 63 Semantic Splitting of Conditional Belief Bases. Christoph Beierle, Jonas Haldimann, and Gabriele Kem-Isbemer 82 Communities and Ancestors Associated with Egon Börger and ASM. Jonathan P. Bowen 96 Language and Communication Problems in Formalization: A Natural Language Approach. Alessandro Fantechi, Stefania Gnesi, and Јмига Semini 121 ASM Specification and Refinement of a Quantum Algorithm. Flavio Ferrarotti and Sénen González 135 Spot the Difference: A Detailed Comparison Between В and Event-B. Michael Leuschel 147 Some Thoughts on Computational Models: From Massive Human Computing to Abstract State Machines, and Beyond. J. A. Makowsky 173 Analysis of Mobile Networks’ Protocols Based on Abstract State Machine. . . Emanuele Covino and Giovanni Pani 187 What is the Natural Abstraction Level
of an Algorithm?. Andreas Prinz 199 The ASMETA Approach to Safety Assurance of Software Systems. Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, and Patrizia Scandurra 215
xvi Contents Flashix: Modular Verification of a Concurrent and Crash-Safe Flash File System. Stefan Bodenmüller, Gerhard Schellhom, Martin Bitterlich, and Wolfgang Reif Computation on Structures: Behavioural Theory, Logic, Complexity. Klaus-Dieter Schewe The Combined Use of the Web Ontology Language (OWL) and Abstract State Machines (ASM) for the Definition of a Specification Language for Business Processes. Matthes Elstermann, André Wolski, Albert Fleischmann, Christian Stary, and Stephan Borgert Models and Modelling in Computer Science. Bernhard Thalheim 239 266 283 301 A Framework for Modeling the Semantics of Synchronous and Asynchronous Procedures with Abstract State Machines. Wolf Zimmermann and Mandy Weißbach 326 Author Index. 353 |
| adam_txt |
Contents Towards Leveraging Domain Knowledge in State-Based Formal Methods . Yamine Aït-Ameur, Régine Lalemi, Dominique Méty, and Neeraj Kumar Singh 1 Some Observations on Mitotic Sets. Klaus Ambos-Spies 14 Moded and Continuous Abstract State Machines. Richard Banach and Huibiao Zhu 29 Product Optimization in Stepwise Design. . Don Batory, Jeho Oh, Ruben Heradio, and David Benavides 63 Semantic Splitting of Conditional Belief Bases. Christoph Beierle, Jonas Haldimann, and Gabriele Kem-Isbemer 82 Communities and Ancestors Associated with Egon Börger and ASM. Jonathan P. Bowen 96 Language and Communication Problems in Formalization: A Natural Language Approach. Alessandro Fantechi, Stefania Gnesi, and Јмига Semini 121 ASM Specification and Refinement of a Quantum Algorithm. Flavio Ferrarotti and Sénen González 135 Spot the Difference: A Detailed Comparison Between В and Event-B. Michael Leuschel 147 Some Thoughts on Computational Models: From Massive Human Computing to Abstract State Machines, and Beyond. J. A. Makowsky 173 Analysis of Mobile Networks’ Protocols Based on Abstract State Machine. . . Emanuele Covino and Giovanni Pani 187 What is the Natural Abstraction Level
of an Algorithm?. Andreas Prinz 199 The ASMETA Approach to Safety Assurance of Software Systems. Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, and Patrizia Scandurra 215
xvi Contents Flashix: Modular Verification of a Concurrent and Crash-Safe Flash File System. Stefan Bodenmüller, Gerhard Schellhom, Martin Bitterlich, and Wolfgang Reif Computation on Structures: Behavioural Theory, Logic, Complexity. Klaus-Dieter Schewe The Combined Use of the Web Ontology Language (OWL) and Abstract State Machines (ASM) for the Definition of a Specification Language for Business Processes. Matthes Elstermann, André Wolski, Albert Fleischmann, Christian Stary, and Stephan Borgert Models and Modelling in Computer Science. Bernhard Thalheim 239 266 283 301 A Framework for Modeling the Semantics of Synchronous and Asynchronous Procedures with Abstract State Machines. Wolf Zimmermann and Mandy Weißbach 326 Author Index. 353 |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author2 | Raschke, Alexander |
| author2_role | edt |
| author2_variant | a r ar |
| author_GND | (DE-588)174088558 (DE-588)140308342 |
| author_facet | Raschke, Alexander |
| building | Verbundindex |
| bvnumber | BV047362860 |
| classification_rvk | QB 920 |
| ctrlnum | (OCoLC)1261736244 (DE-599)BVBBV047362860 |
| discipline | Wirtschaftswissenschaften |
| discipline_str_mv | Informatik Wirtschaftswissenschaften |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a22000001cb4500</leader><controlfield tag="001">BV047362860</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20210903</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">210708s2021 xx a||| |||| 01||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030760199</subfield><subfield code="9">978-3-030-76019-9</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">SpringerNature-11645</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">SpringerNature-43710</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1261736244</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV047362860</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-355</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">QB 920</subfield><subfield code="0">(DE-625)141232:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic, computation and rigorous methods</subfield><subfield code="b">essays dedicated to Egon Börger on the occasion of his 75th birthday</subfield><subfield code="c">Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2021]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xvi, 352 Seiten</subfield><subfield code="b">Illustrationen</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">12750</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="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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4016928-5</subfield><subfield code="a">Festschrift</subfield><subfield code="2">gnd-content</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">Börger, Egon</subfield><subfield code="d">1946-</subfield><subfield code="0">(DE-588)174088558</subfield><subfield code="4">hnr</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Raschke, Alexander</subfield><subfield code="0">(DE-588)140308342</subfield><subfield code="4">edt</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">12750</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">12750</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:DE-He213</subfield><subfield code="q">text/html</subfield><subfield code="u">http://scans.hebis.de/HEBCGI/show.pl?48099892_toc.html</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:DE-He213</subfield><subfield code="q">text/html</subfield><subfield code="u">http://scans.hebis.de/HEBCGI/show.pl?48099892_aub.html</subfield><subfield code="3">Ausführliche Beschreibung</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Regensburg - ADAM Catalogue Enrichment</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=032764799&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-032764799</subfield></datafield></record></collection> |
| genre | (DE-588)4016928-5 Festschrift gnd-content |
| genre_facet | Festschrift |
| id | DE-604.BV047362860 |
| illustrated | Illustrated |
| index_date | 2024-07-03T17:41:49Z |
| indexdate | 2025-01-10T15:21:18Z |
| institution | BVB |
| isbn | 9783030760199 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-032764799 |
| oclc_num | 1261736244 |
| open_access_boolean | |
| owner | DE-355 DE-BY-UBR DE-83 |
| owner_facet | DE-355 DE-BY-UBR DE-83 |
| physical | xvi, 352 Seiten Illustrationen |
| publishDate | 2021 |
| publishDateSearch | 2021 |
| publishDateSort | 2021 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Logic, computation and rigorous methods essays dedicated to Egon Börger on the occasion of his 75th birthday Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe (eds.) Cham Springer [2021] xvi, 352 Seiten Illustrationen txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 12750 Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Software Engineering (DE-588)4116521-4 gnd rswk-swf (DE-588)4016928-5 Festschrift gnd-content Software Engineering (DE-588)4116521-4 s Mathematische Logik (DE-588)4037951-6 s DE-604 Börger, Egon 1946- (DE-588)174088558 hnr Raschke, Alexander (DE-588)140308342 edt Lecture notes in computer science 12750 (DE-604)BV000000607 12750 X:DE-He213 text/html http://scans.hebis.de/HEBCGI/show.pl?48099892_toc.html Inhaltsverzeichnis X:DE-He213 text/html http://scans.hebis.de/HEBCGI/show.pl?48099892_aub.html Ausführliche Beschreibung Digitalisierung UB Regensburg - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=032764799&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Logic, computation and rigorous methods essays dedicated to Egon Börger on the occasion of his 75th birthday Lecture notes in computer science Mathematische Logik (DE-588)4037951-6 gnd Software Engineering (DE-588)4116521-4 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4116521-4 (DE-588)4016928-5 |
| title | Logic, computation and rigorous methods essays dedicated to Egon Börger on the occasion of his 75th birthday |
| title_auth | Logic, computation and rigorous methods essays dedicated to Egon Börger on the occasion of his 75th birthday |
| title_exact_search | Logic, computation and rigorous methods essays dedicated to Egon Börger on the occasion of his 75th birthday |
| title_exact_search_txtP | Logic, computation and rigorous methods essays dedicated to Egon Börger on the occasion of his 75th birthday |
| title_full | Logic, computation and rigorous methods essays dedicated to Egon Börger on the occasion of his 75th birthday Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe (eds.) |
| title_fullStr | Logic, computation and rigorous methods essays dedicated to Egon Börger on the occasion of his 75th birthday Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe (eds.) |
| title_full_unstemmed | Logic, computation and rigorous methods essays dedicated to Egon Börger on the occasion of his 75th birthday Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe (eds.) |
| title_short | Logic, computation and rigorous methods |
| title_sort | logic computation and rigorous methods essays dedicated to egon borger on the occasion of his 75th birthday |
| title_sub | essays dedicated to Egon Börger on the occasion of his 75th birthday |
| topic | Mathematische Logik (DE-588)4037951-6 gnd Software Engineering (DE-588)4116521-4 gnd |
| topic_facet | Mathematische Logik Software Engineering Festschrift |
| url | http://scans.hebis.de/HEBCGI/show.pl?48099892_toc.html http://scans.hebis.de/HEBCGI/show.pl?48099892_aub.html http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=032764799&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT borgeregon logiccomputationandrigorousmethodsessaysdedicatedtoegonborgerontheoccasionofhis75thbirthday AT raschkealexander logiccomputationandrigorousmethodsessaysdedicatedtoegonborgerontheoccasionofhis75thbirthday |
Es ist kein Print-Exemplar vorhanden.
Inhaltsverzeichnis