Pages that link to "Item:Q2778415"
From MaRDI portal
The following pages link to Consistency of the static and dynamic components of object-oriented specifications (Q2778415):
Displaying 5 items.
- Static consistency checking of web applications with WebDSL (Q617983) (← links)
- Virginity: A contribution to the specification of object-oriented software (Q1608296) (← links)
- A framework for establishing formal conformance between object models and object-oriented programs (Q2873618) (← links)
- Formal Methods for Components and Objects (Q5311303) (← links)
- Logic Based Program Synthesis and Transformation (Q5713945) (← links)