Implicit and explicit semantics integration in proof-based developments of discrete systems : communications of NII Shonan Meetings / Yamine Ait-Ameur, Shin Nakajima, Dominique Méry, editors.
Aït-Ameur, Yamine, editor.; Nakajima, Shin, editor.; Méry, Dominique, editor.
2021
QA76.9.F67
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Implicit and explicit semantics integration in proof-based developments of discrete systems : communications of NII Shonan Meetings / Yamine Ait-Ameur, Shin Nakajima, Dominique Méry, editors.
ISBN 9789811550546 (electronic bk.)
9811550549 (electronic bk.)
9789811550553 (print)
9811550557
9789811550560 (print)
9811550565
9811550530
9789811550539
DOI https://doi.org/10.1007/978-981-15-5054-6
Published Singapore : Springer, [2021]
Language English
Description 1 online resource (xii, 346 pages) : illustrations
Item Number 10.1007/978-981-15-5054-6 doi
Call Number QA76.9.F67
Dewey Decimal Classification 004.01/51
Summary 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.
Bibliography, etc. Note Includes bibliographical references.
Access Note Access limited to authorized users.
Digital File Characteristics text file
PDF
Source of Description Online resource; title from PDF title page (Ebook Central, viewed Nobember 2, 2020).
Added Author Aït-Ameur, Yamine, editor.
Nakajima, Shin, editor.
Méry, Dominique, editor.
Available in Other Form Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems : Communications of NII Shonan Meetings.
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
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.

Browse Subjects

Show more subjects...

Statistics

from
to
Export