On regularity in software design

DOI10.1016/0167-6423(95)00004-CMaRDI QIDQ1899136zbMATH OpenFDO

Authors Richard Banach

Publication date 4 October 1995

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

Full work available at URL https://doi.org/10.1016/0167-6423(95)00004-C

zbMATH Keywords

regular relationsoftware design

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

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

Cited in

(7)

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

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)