The following pages link to On regularity in software design (Q1899136):
Displaying 7 items.
- Retrenchment for Event-B: UseCase-wise development and Rodin integration (Q539231) (← links)
- Simple feature engineering via neat default retrenchments (Q649587) (← links)
- Enforcing structural regularities in software using intensive (Q967536) (← links)
- Stronger compositions for retrenchments (Q974130) (← links)
- Regularity of abstract-register transformations (Q1288674) (← links)
- Regular relations and bicartesian squares (Q1329746) (← links)
- Regularity of relations: A measure of uniformity (Q2638796) (← links)