Implicit and explicit semantics integration in proof-based developments of discrete systems : communications of NII Shonan Meetings /: communications of NII Shonan Meetings. ([2021])

• Record Type: Book
• Further Information: Note: Yamine Ait-Ameur, Shin Nakajima, Dominique Méry, editors.
• Editors: Aït-Ameur, Yamine; Nakajima, Shin; Méry, Dominique
• Contents: 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.
• Publisher Details: Singapore : Springer
• Publication Date: 2021
• Extent: 1 online resource (xii, 346 pages), illustrations
• Subjects: 004.01/51; Formal methods (Computer science); Formal methods (Computer science); Electronic books
• Languages: English
• ISBNs: 9789811550546; 9811550549
• Related ISBNs: 9811550530; 9789811550539
• Notes: Note: Includes bibliographical references.; Note: Online resource; title from PDF title page (Ebook Central, viewed Nobember 2, 2020).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.