Pages that link to "Item:Q2724177"
From MaRDI portal
The following pages link to Refinement in Z and object-Z. Foundations and advanced applications (Q2724177):
Displaying 44 items.
- Property transformation under specification change (Q352027) (← links)
- Model evolution and refinement (Q436356) (← links)
- Refining autonomous agents with declarative beliefs and desires (Q520236) (← links)
- Completeness of fair ASM refinement (Q541210) (← links)
- Changing system interfaces consistently: a new refinement strategy for CSP\(\|\)B (Q549684) (← links)
- ASM refinement and generalizations of forward simulation in data refinement: a comparison (Q555790) (← links)
- Incompleteness of relational simulations in the blocking paradigm (Q608349) (← links)
- Structural refinement of systems specified in Object-Z and CSP (Q706503) (← links)
- Analysing neurobiological models using communicating automata (Q736844) (← links)
- The behavioural semantics of Event-B refinement (Q736910) (← links)
- Introducing extra operations in refinement (Q736913) (← links)
- Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application (Q736916) (← links)
- Relational concurrent refinement. III: Traces, partial relations and automata (Q736917) (← links)
- Components as coalgebras: the refinement dimension (Q820141) (← links)
- Verifying data refinements using a model checker (Q851129) (← links)
- An analysis of refinement in an abortive paradigm (Q851133) (← links)
- Data refinement and singleton failures refinement are not equivalent (Q931436) (← links)
- Stronger compositions for retrenchments (Q974130) (← links)
- Model checking action system refinements (Q1019017) (← links)
- Relational concurrent refinement. II: Internal operations and outputs (Q1019018) (← links)
- Refinement for user interface designs (Q1047216) (← links)
- Specifying and refining internal operations in \(Z\) (Q1272761) (← links)
- Temporal-logic property preservation under Z refinement (Q1941860) (← links)
- Moded and continuous abstract state machines (Q2115900) (← links)
- Flashix: modular verification of a concurrent and crash-safe flash file system (Q2117600) (← links)
- Modeling and visualizing object-oriented programs with Codecharts (Q2248065) (← links)
- Model transformations across views (Q2266947) (← links)
- Diversity and adjudication (Q2374303) (← links)
- Composition mechanisms for retrenchment (Q2426521) (← links)
- Preservation of probabilistic information flow under refinement (Q2482443) (← links)
- Generic tools via general refinement (Q2873690) (← links)
- A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures (Q2946743) (← links)
- Relational Concurrent Refinement: Automata (Q2994488) (← links)
- Of wlp and CSP (Q2994489) (← links)
- Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B (Q3605463) (← links)
- Model Checking Simulation Rules for Linearizability (Q4571132) (← links)
- (Q4737562) (← links)
- Checking Z Data Refinements Using Traces Refinement (Q5179359) (← links)
- Completeness of ASM Refinement (Q5403462) (← links)
- More Relational Concurrent Refinement: Traces and Partial Relations (Q5403469) (← links)
- General Refinement, Part One: Interfaces, Determinism and Special Refinement (Q5403470) (← links)
- Alloy as a Refactoring Checker? (Q5403473) (← links)
- ZB 2005: Formal Specification and Development in Z and B (Q5703819) (← links)
- Sound and Relaxed Behavioural Inheritance (Q5861787) (← links)
