On regularity in software design

DOI10.1016/0167-6423(95)00004-CzbMATH Open0832.68032MaRDI QIDQ1899136FDOQ1899136

Authors: Richard Banach 

Publication date: 4 October 1995

Published in: Science of Computer Programming (Search for Journal in Brave)

Recommendations

• Regularity of relations: A measure of uniformity
• Regular relations and bicartesian squares
• scientific article; zbMATH DE number 475192
• scientific article

zbMATH Keywords

regular relationsoftware design

Mathematics Subject Classification ID

Theory of software (68N99)

Cited In (6)

• Retrenchment for Event-B: UseCase-wise development and Rodin integration
• Regularity of relations: A measure of uniformity
• Enforcing structural regularities in software using intensive
• Simple feature engineering via neat default retrenchments
• Stronger compositions for retrenchments
• Regular relations and bicartesian squares

This page was built for publication: On regularity in software design

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1899136)