Linked e-resources
Details
Table of 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.
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.