On regularity in software design

DOI10.1016/0167-6423(95)00004-CzbMath0832.68032MaRDI QIDQ1899136

Richard Banach

Publication date: 4 October 1995

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

zbMATH Keywords

software designregular relation

Mathematics Subject Classification ID

Theory of software (68N99)

Related Items (3)

Simple feature engineering via neat default retrenchments ⋮ Retrenchment for Event-B: UseCase-wise development and Rodin integration ⋮ Stronger compositions for retrenchments

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