Pages that link to "Item:Q854169"
From MaRDI portal
The following pages link to rCOS: a refinement calculus of object systems (Q854169):
Displaying 24 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)
- ERC -- an object-oriented refinement calculus for Eiffel (Q1882788) (← links)
- Unifying theories of reactive design contracts (Q2007732) (← links)
- Theoretical and practical approaches to the denotational semantics for MDESL based on UTP (Q2198135) (← links)
- Semantics, calculi, and analysis for object-oriented specifications (Q2390933) (← 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)
- Programming Languages and Systems (Q5464055) (← links)
- Types for Proofs and Programs (Q5712323) (← links)
- <tt>3coSoKu</tt> and its declarative modeling (Q5862472) (← links)
- Linking formal methods in software development. A reflection on the development of rCOS (Q6535826) (← links)
