國立虎尾科技大學 |

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems = Communications of NII Shonan Meetings /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems/ edited by Yamine Ait-Ameur, Shin Nakajima, Dominique Méry.
其他題名:	Communications of NII Shonan Meetings /
其他作者:	Méry, Dominique.
面頁冊數:	XII, 346 p. 138 illus., 29 illus. in color.online resource. :
Contained By:	Springer Nature eBook
標題:	Mathematical Logic and Foundations. -
電子資源:	https://doi.org/10.1007/978-981-15-5054-6
ISBN:	9789811550546

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems = Communications of NII Shonan Meetings /
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete SystemsCommunications of NII Shonan Meetings /[electronic resource] :edited by Yamine Ait-Ameur, Shin Nakajima, Dominique Méry. - 1st ed. 2021. - XII, 346 p. 138 illus., 29 illus. in color.online resource.

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.

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.

ISBN: 9789811550546

Standard No.: 10.1007/978-981-15-5054-6doiSubjects--Topical Terms:

669393
Mathematical Logic and Foundations.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems = Communications of NII Shonan Meetings /
LDR:03632nam a22003975i 4500 001 1049280
003 DE-He213
005 20210618215619.0
007 cr nn 008mamaa
008 220103s2021 si | s |||| 0|eng d
020 $a 9789811550546 $9 978-981-15-5054-6
024 7 $a 10.1007/978-981-15-5054-6 $2 doi
035 $a 978-981-15-5054-6
050 4 $a QA76.758
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
072 7 $a UMZ $2 thema
082 0 4 $a 005.1 $2 23
245 1 0 $a Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems $h [electronic resource] : $b Communications of NII Shonan Meetings / $c edited by Yamine Ait-Ameur, Shin Nakajima, Dominique Méry.
250 $a 1st ed. 2021.
264 1 $a Singapore : $b Springer Singapore : $b Imprint: Springer, $c 2021.
300 $a XII, 346 p. 138 illus., 29 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
505 0 $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 2 4 $a Mathematical Logic and Foundations. $3 669393
650 1 4 $a Software Engineering. $3 669632
650 0 $a Mathematical logic. $2 bicssc $3 810627
650 0 $a Software engineering. $3 562952
700 1 $a Méry, Dominique. $e editor. $1 https://orcid.org/0000-0001-5231-6611 $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1283019
700 1 $a Nakajima, Shin. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1143162
700 1 $a Ait-Ameur, Yamine. $e editor. $1 https://orcid.org/0000-0003-4582-9712 $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1304157
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9789811550539
776 0 8 $i Printed edition: $z 9789811550553
776 0 8 $i Printed edition: $z 9789811550560
856 4 0 $u https://doi.org/10.1007/978-981-15-5054-6
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)