Pages that link to "Item:Q854169"
From MaRDI portal
The following pages link to rCOS: a refinement calculus of object systems (Q854169):
Displayed 19 items.
- Rigorous development of component-based systems using component metadata and patterns (Q333322) (← links)
- Refactoring and representation independence for class hierarchies (Q428866) (← links)
- Connectors as designs: modeling, refinement and test case generation (Q433336) (← links)
- Denotational semantics and its algebraic derivation for an event-driven system-level language (Q903516) (← links)
- Robustness testing for software components (Q988173) (← links)
- Refinement and verification in component-based model-driven design (Q1004291) (← links)
- Graph transformations for object-oriented refinement (Q1019019) (← links)
- Unifying theories of reactive design contracts (Q2007732) (← links)
- Theoretical and practical approaches to the denotational semantics for MDESL based on UTP (Q2198135) (← links)
- A graph-based generic type system for object-oriented programs (Q2418638) (← links)
- Modeling and Specification of Real-Time Interfaces with UTP (Q2842633) (← links)
- Graph-Based Object-Oriented Hoare Logic (Q2842647) (← links)
- Domain-specific Semantics and Data Refinement of Object Models (Q2873615) (← links)
- Laws of Programming for References (Q2937790) (← links)
- rCOS: Defining Meanings of Component-Based Software Architectures (Q2948228) (← links)
- A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs (Q2999325) (← links)
- WP Semantics and Behavioral Subtyping (Q3105750) (← links)
- Higher-Order UTP for a Theory of Methods (Q3455652) (← links)
- Jifeng He at Oxford and beyond: an appreciation (Q6118751) (← links)