Pages that link to "Item:Q5395093"
From MaRDI portal
The following pages link to Theoretical Aspects of Computing – ICTAC 2005 (Q5395093):
Displaying 12 items.
- rCOS: a refinement calculus of object systems (Q854169) (← links)
- Refinement and verification in component-based model-driven design (Q1004291) (← links)
- Component-based software quality. Methods and techniques (Q1422115) (← links)
- Unifying theories of reactive design contracts (Q2007732) (← links)
- Software architectures and component technology (Q2769924) (← links)
- Component-based software development for integrated construction mangement software applications (Q2771031) (← links)
- rCOS: Defining Meanings of Component-Based Software Architectures (Q2948228) (← links)
- (Q3443119) (← links)
- (Q4443708) (← links)
- (Q4738445) (← links)
- Objects, Agents, and Features (Q5713994) (← links)
- Linking formal methods in software development. A reflection on the development of rCOS (Q6535826) (← links)