The following pages link to (Q3075210):
Displaying 4 items.
- Enforcing structural regularities in software using intensive (Q967536) (← links)
- Generalised multi-pattern-based verification of programs with linear linked structures (Q2642987) (← links)
- A framework for establishing formal conformance between object models and object-oriented programs (Q2873618) (← links)
- A Rule-based Method to Match Software Patterns Against UML Models (Q5415655) (← links)