The following pages link to (Q4940107):
Displaying 30 items.
- Property transformation under specification change (Q352027) (← links)
- Experiments in program verification using Event-B (Q432154) (← links)
- Model evolution and refinement (Q436356) (← links)
- Refining autonomous agents with declarative beliefs and desires (Q520236) (← links)
- Encapsulating deontic and branching time specifications (Q714879) (← links)
- An operational semantics for object-oriented concepts based on the class hierarchy (Q736789) (← links)
- Testing for refinement in \textsf{Circus} (Q766162) (← links)
- Verifying data refinements using a model checker (Q851129) (← links)
- rCOS: a refinement calculus of object systems (Q854169) (← links)
- Model checking duration calculus: a practical approach (Q939170) (← links)
- Refinement and verification in component-based model-driven design (Q1004291) (← links)
- Model checking action system refinements (Q1019017) (← links)
- Graph transformations for object-oriented refinement (Q1019019) (← links)
- Temporal-logic property preservation under Z refinement (Q1941860) (← links)
- IPL: an integration property language for multi-model cyber-physical systems (Q2024345) (← links)
- Model transformations across views (Q2266947) (← links)
- Integrating a formal method into a software engineering process with UML and Java (Q2481209) (← links)
- Slicing techniques for verification re-use (Q2571210) (← links)
- From predicates to programs: the semantics of a method language (Q2870332) (← links)
- Type checking \textsf{Circus} specifications (Q2873610) (← links)
- Domain-specific semantics and data refinement of object models (Q2873615) (← links)
- Automatic verification of combined specifications: an overview (Q2873685) (← links)
- ETOILE-specifications: An Object-oriented Algebraic Formalism with Refinement (Q4820463) (← links)
- An Institution for Object-Z with Inheritance and Polymorphism (Q5256346) (← links)
- Linking Event-B and Concurrent Object-Oriented Programs (Q5403467) (← links)
- Alloy as a Refactoring Checker? (Q5403473) (← links)
- Fundamental Approaches to Software Engineering (Q5428879) (← links)
- Refactoring Object-Oriented Specifications with Data and Processes (Q5428914) (← links)
- ZB 2005: Formal Specification and Development in Z and B (Q5703805) (← links)
- Sound and Relaxed Behavioural Inheritance (Q5861787) (← links)
